yusuke1997/dblp-id-title huggingface dataset:
Predicting Objectives on a Reduced Search Space of Multiobjective Function Inlining
Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2016, Sankt Goar, Germany, May 23-25, 2016
Fast Crown Scheduling Heuristics for Energy-Efficient Mapping and Scaling of Moldable Streaming Tasks on Many-Core Systems
stdcbench: A Benchmark for Small Systems
Optimal chain rule placement for instruction selection based on SSA graphs
Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018, Sankt Goar, Germany, May 28-30, 2018
Exploiting Specification Modularity to Prune the Optimization-Space of Manufacturing Systems
Embedded on-chip reliability: it's a thermal challenge
Machine Learning Approach to Generate Pareto Front for List-scheduling Algorithms
Numerical Accuracy Improvement by Interprocedural Program Transformation
An Extensible Platform Description Language Supporting Retargetable Toolchains and Adaptive Execution
Compiling synchronous languages to optimal move code for exposed datapath architectures
Towards Efficient Code Generation for Exposed Datapath Architectures
Is dynamic compilation possible for embedded systems?
On the implementation and execution of adaptive streaming applications modeled as MADF
MASES: Mobility And Slack Enhanced Scheduling For Latency-Optimized Pipelined Dataflow Graphs
Retargetable Graph-Coloring Register Allocation for Irregular Architectures
Runtime resource allocation for software pipelines
14th International Workshop on Software and Compilers for Embedded Systems, SCOPES '11, St. Goar, Germany, June 27-28, 2011
An Energy Efficient Message Passing Synchronization Algorithm for Concurrent Data Structures in Embedded Systems
Proceedings of the 9th International Workshop on Software and Compilers for Embedded Systems, Dallas, Texas, USA, September 29 - October 1, 2005
A framework for optimizing OpenVX applications performance on embedded manycore accelerators
Optimal placement of bank selection instructions in polynomial time
Mitigating Data Cache Aging through Compiler-Driven Memory Allocation
Exploration of heuristic scheduling algorithms for 3D multicore processors
Reconstructing Control Flow from Predicated Assembly Code
A higher-order extension for imperative synchronous languages
Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems, SCOPES '19, Sankt Goar, Germany, May 27-28, 2019
17th International Workshop on Software and Compilers for Embedded Systems, SCOPES '14, Sankt Goar, Germany, June 10-11, 2014
Global optimization of operand transfer fusion in heterogeneous computing
Modeling Exclusive Memory Access for a Time-Decoupled Parallel SystemC Simulator
Reducing fine-grain communication overhead in multithread code generation for heterogeneous MPSoC
Case Studies on Automatic Extraction of Target-Specific Architectural Parameters in Complex Code Generation
Fast source-level data assignment to dual memory banks
Portable exploitation of parallel and heterogeneous HPC architectures in neural simulation using SkePU
Proceedings of the 10th International Workshop on Software and Compilers for Embedded Systems, Nice, France, April 20, 2007
Fast and efficient dataflow graph generation
Reducing startup time of a deterministic virtualizing runtime environment
LoopOpt: Declarative Transformations Made Easy
MTP: A Petri Net-Based Framework for the Analysis and Transformation of SystemC Designs
A new heuristic for SOA problem based on effective tie break function
Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools
Optimizing Worst-Case Execution Times Using Mainstream Compilers
Designer-in-the-loop recoding of ESL models using static parallel access conflict analysis
Restricted Scheduling Windows for Dynamic Fault-Tolerant Primary/Backup Approach-Based Scheduling on Embedded Systems
TETRiS: a Multi-Application Run-Time System for Predictable Execution of Static Mappings
Constructing HPSSA over SSA
Improving ESL power models using switching activity information from timed functional models
The Transmeta Crusoe: VLIW Embedded in CISC
Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis
Multi-Objective Optimization for the Compiler of Real-Time Systems based on Flower Pollination Algorithm
Cache Behavior Modeling of Codes with Data-Dependent Conditionals
Reachability Analysis of Hybrid Automata with Clocked Linear Dynamics
Synchronous Reactive Nano-Kernels: Exploring the Limits of Power and Energy Efficiency in Embedded Systems
Language Support for Interoperable Messaging in Sensor Networks
12th International Workshop on Software and Compilers for Embedded Systems, SCOPES '09, Nice, France, April 23 - 24, 2009
The LPGPU2 Project: Low-Power Parallel Computing on GPUs: Extended Abstract
Computation in Memory for Data-Intensive Applications: Beyond CMOS and beyond Von- Neumann
Efficient parallel reduction on GPUs with Hipacc
Fast architecture evaluation of heterogeneous MPSoCs by host-compiled simulation
RDBG: a Reactive Programs Extensible Debugger
The Bit-reversal SDRAM Address Mapping
Parallel copy motion
A Flexible Tradeoff Between Code Size and WCET Using a Dual Instruction Set Processor
Precise simulation of interrupts using a rollback mechanism
Decoupled graph-coloring register allocation with hierarchical aliasing
Exploiting Predictability in Dynamic Network Communication for Power-Efficient Data Transmission in LTE Radio Systems
Application-Specific Architecture Exploration Based on Processor-Agnostic Performance Estimation
Memristors for Programmable Circuits Controlled by Embedded Systems
Cross-layer approaches for improving the dependability of deep learning systems
Minimizing the cost of synchronisations in the WCET of real-time parallel programs
Temporal analysis flow based on an enabling rate characterization for multi-rate applications executed on mpsocs with non-starvation-free schedulers
Proceedings of the 11th International Workshop on Software and Compilers for Embedded Systems, Munich, Germany, March 13-14, 2008
Dataflow analysis for multiprocessor systems with non-starvation-free schedulers
Automatic partitioning and mapping of stream-based applications onto the Intel IXP Network processor
Fast and Portable Vector DSP Simulation Through Automatic Vectorization
Energy-aware parallelization flow and toolset for C code
CLASSY: a clock analysis system for rapid prototyping of embedded applications on MPSoCs
Operating system integrated energy aware scratchpad allocation strategies for multiprocess applications
Determining Performance Boundaries on High-Level System Specifications
Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017, Sankt Goar, Germany, June 12-13, 2017
Runtime Adaptation of Application Execution under Thermal and Power Constraints in Massively Parallel Processor Arrays
Automatic Conversion of Simulink Models to SysteMoC Actor Networks
lospre in linear time
Enabling zero-copy OpenMP offloading on the PULP many-core accelerator
A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs
On the Cost of Freedom From Interference in Heterogeneous SoCs
Transformation of Meta-Information by Abstract Co-interpretation
Fine-Grain Register Allocation Based on a Global Spill Costs Analysis
System level MPSoC design: a bright future for compiler technology?
Efficient buffer capacity and scheduler setting computation for soft real-time stream processing applications
Self-Adaptive FPGA-Based Image Processing Filters Using Approximate Arithmetics
Interference graphs for procedures in static single information form are interval graphs
Efficient event-driven simulation of parallel processor architectures
SYCL Code Generation for Multigrid Methods
Adaptive Isolation for Predictable MPSoC Stream Processing
Schedulability Aware WCET-Optimization of Periodic Preemptive Hard Real-Time Multitasking Systems
Toward Efficient Many-core Scheduling of Partial Expansion Graphs
SMT-based optimization for synchronous programs
Hardware virtualization-driven software task switching in reconfigurable multi-processor system-on-chip architectures
Analog implementation of arithmetic operations on real memristors
Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015, Sankt Goar, Germany, June 1-3, 2015
Implementing AUTOSAR scheduling and resource management on an embedded SMT processor
Cross-Layer Reliability Modeling and Optimization: Compiler and Run-Time System Interactions
Software and Compilers for Embedded Systems, 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings
A Case Study on a Component-Based System and Its Configuration
Compiler-based WCET prediction performing function specialization
On the dictionary compression for Java card environment
Robust Mapping of Process Networks to Many-Core Systems using Bio-Inspired Design Centering
Performance Analysis for Identification of (Sub-)Task-Level Parallelism in Java
Software Synthesis from the Dataflow Interchange Format
Decoupled inter- and intra-application scheduling for composable and robust embedded MPSoC platforms
The case for application specific compilers
DSP Address Optimization Using Evolutionary Algorithms
Improving Offset Assignment through Simultaneous Variable Coalescing
Optimal vs. heuristic integrated code generation for clustered VLIW architectures
On the Analytic Evaluation of Schedules via Max-Plus Algebra for DSE of Multi-Core Architectures
Communication between nested loop programs via circular buffers in an embedded multiprocessor system
Resource-aware programming and simulation of MPSoC architectures through extension of X10
Cache-Aware Instruction SPM Allocation for Hard Real-Time Systems
OpenStream: a data-flow approach to solving the von Neumann bottlenecks
Scheduling of moldable fork-join tasks with inter- and intra-task communications
Integrated code generation by using fuzzy control system
The New Economics of Embedded Systems
CIM-SIM: Computation In Memory SIMuIator
Vectorization in PyPy's Tracing Just-In-Time Compiler
Sporadic Task Handling in Time-Triggered Systems
Workshop on Software and Compilers for Embedded Systems, Map2MPSoC/SCOPES 2012, Sankt Goar, Germany, May 15-16, 2012
Solving the simple offset assignment problem as a traveling salesman
A model-based, single-source approach to design-space exploration and synthesis of mixed-criticality systems
A Software-only Compression System for Trading-off Performance and Code Size
Register allocation deconstructed
Interrelations between Software Quality Metrics, Performance and Energy Consumption in Embedded Applications
A Real-Time Garbage Collection Framework for Embedded Systems
Using Concept Lattices for Requirements Reconciliation
Formal Concept Analysis and Semantic File Systems
Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts
Formal Concept Analysis, 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings
Publication Analysis of the Formal Concept Analysis Community
Computing Witnesses for Centralising Monoids on a Three-Element Set
Alpha Galois Lattices: An Overview
Extracting ALEQR Self-Knowledge Bases from Graphs
Concept Neighbourhoods in Lexical Databases
Tool Support for FCA
Concept Lattices, Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings
Extracting Relations in Texts with Concepts of Neighbours
QuDA: Applying Formal Concept Analysis in a Data Mining Environment
Coherence Networks of Concept Lattices: The Basic Theorem
Machine Learning and Formal Concept Analysis
Unlocking the Semantics of Roget?s Thesaurus Using Formal Concept Analysis
Cloud Implementation of Classier Nominal Concepts using DistributedWekaSpark
Inductive Databases and Constraint-Based Data Mining
User-Friendly Fuzzy FCA
Filters, Ideals and Congruences on Double Boolean Algebras
Finding Top-N Colossal Patterns Based on Clique Search with Dynamic Update of Graph
A Proposition for Sequence Mining Using Pattern Structures
Formal Concept Analysis: Its Role in Teaching Lattice Theory
Totally Balanced Formal Context Representation
Communicative Rationality, Logic, and Mathematics
Formal Concept Analysis for Knowledge Discovery and Data Mining: The New Challenges
A New Kind of Implication to Reason with Unknown Information
Modeling Preferences over Attribute Sets in Formal Concept Analysis
Conceptual Navigation in RDF Graphs with SPARQL-Like Queries
Actionability and Formal Concepts: A Data Mining Perspective
Distributed and Parallel Computation of the Canonical Direct Basis
Proceedings of the Workshop on Social Network Analysis using Formal Concept Analysis in conjunction with the 13th International Conference on Formal Concept Analysis (ICFCA 2015), Nerja (Malaga), Spain, June 25, 2015
A First Step towards Protoconcept Exploration
On Links between Concept Lattices and Related Complexity Problems
Description Quivers for Compact Representation of Concept Lattices and Ensembles of Decision Trees
Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice
A New and Useful Syntactic Restriction on Rule Semantics for Tabular Datasets
Context-Dependent Deductive and Inductive Reasoning Based on Good Diagnostic Tests
About the Family of Closure Systems Preserving Non-unit Implications in the Guigues-Duquenne Base
Good Classification Tests as Formal Concepts
Dismantlable Lattices in the Mirror
Acquiring Generalized Domain-Range Restrictions
Algebraicity and the Tensor Product of Concept Lattices
Automatic Validation of Terminology by Means of Formal Concept Analysis
Numerical Analysis in Conceptual Systems with ToscanaJ
The Basic Theorem on Labelled Line Diagrams of Finite Concept Lattices
Formal Concept Analysis as a Framework for Business Intelligence Technologies
The Number of Plane Diagrams of a Lattice
Counting Pseudo-intents and #P-completeness
Revisiting Pattern Structure Projections
Formal Concept Analysis - 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021, Proceedings
On the Complexity of Computing Generators of Closed Sets
Joining Implications in Formal Contexts and Inductive Learning in a Horn Description Logic
Learning Implications from Data and from Queries
Toscana goes 3D: Using VR to Explore Life Tracks
Scalable Estimates of Concept Stability
Patterns Based Query Expansion for Enhanced Search on Twitter Data
Sandwich: An Algorithm for Discovering Relevant Link Keys in an LKPS Concept Lattice
Dualization in Lattices Given by Implicational Bases
Border Algorithms for Computing Hasse Diagrams of Arbitrary Lattices
Geometry of Data Tables
Exploring Pattern Structures of Syntactic Trees for Relation Extraction
Pruning Techniques in LinCbO for Computation of the Duquenne-Guigues Basis
Formal Concept Analysis of Two-Dimensional Convex Continuum Structures
Dark Web: Exploring and Mining the Dark Side of the Web
AddIntent: A New Incremental Algorithm for Constructing Concept Lattices
Distributed Formal Concept Analysis Algorithms Based on an Iterative MapReduce Framework
A Proposition for Combining Pattern Structures and Relational Concept Analysis
Lessons Learned in Applying Formal Concept Analysis to Reverse Engineering
Mining Formal Concepts Using Implications Between Items
Bipartite Ferrers-Graphs and Planar Concept Lattices
Factor Analysis of Incidence Data via Novel Decomposition of Matrices
On the Merge of Factor Canonical Bases
Two Basic Algorithms in Concept Analysis
Force-Directed Layout of Order Diagrams Using Dimensional Reduction
Mining the Groceries Database using Triadic Concept Analysis
Concept Lattices of RDF Graphs
Elements About Exploratory, Knowledge-Based, Hybrid, and Explainable Knowledge Discovery
Scaling Dimension
Lexico-Logical Acquisition of OWL DL Axioms
Two FCA-Based Methods for Mining Gene Expression Data
Automatic Selection of Noun Phrases as Document Descriptors in an FCA-Based Information Retrieval System
A Survey of Hybrid Representations of Concept Lattices in Conceptual Knowledge Processing
Congruences of Finite Distributive Concept Algebras
Handling Spatial Relations in Logical Concept Analysis to Explore Geographical Data
A Context-Based Description of the Doubly Founded Concept Lattices in the Variety Generated by M 3
A Study of Boolean Matrix Factorization Under Supervised Settings
Backing Composite Web Services Using Formal Concept Analysis
FCA in Knowledge Technologies: Experiences and Opportunities
Conceptual Exploration of Semantic Mirrors
A Note on Pattern Structures and Their Projections
Merging Ordered Sets
Triclustring Toolbox
Using Intermediate Representation Systems to Interact with Concept Lattices
Conceptual Knowledge Processing with Formal Concept Analysis and Ontologies
Spring-Based Lattice Drawing Highlighting Conceptual Similarity
An Algebraization of Linear Continuum Structures
Learning Spaces, and How to Build Them
A Connection between Clone Theory and FCA Provided by Duality Theory
A Generic Algorithm for Generating Closed Sets of a Binary Relation
Contextual Implications between Attributes and Some Representation Properties for Finite Lattices
Approximating Concept Stability
Tri-ordinal Factor Analysis
A Finite State Model for On-Line Analytical Processing in Triadic Contexts
Usability Issues in Description Logic Knowledge Base Completion
A Triadic Generalisation of the Boolean Concept Lattice
An Enumeration Problem in Ordered Sets Leads to Possible Benchmarks for Run-Time Prediction Algorithms
Formal Concept Analysis Enhances Fault Localization in Software
Explaining the Structure of FrameNet with Concept Lattices
Negation, Opposition, and Possibility in Logical Concept Analysis
Three Views on Dependency Covers from an FCA Perspective
On Factorization of Concept Lattices by Incompatible Tolerances
Formal Concept Analysis, 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
Factors and Skills
Relational Galois Connections
Constrained Closed Datacubes
Conexp-Clj - A Research Tool for FCA
A Novel Approach to Cell Formation
Examples of Clique Closure Systems
Restructuring Help Systems Using Formal Concept Analysis
Comparison of Dual Orderings in Time II
Exploring Faulty Data
Concept Lattice Orbifolds - First Steps
Identifying Ecological Traits: A Concrete FCA-Based Approach
Contextual Uniformities
Leveraging Formal Concept Analysis to improve n-fold validation in Multilabel Classification
Analyzing the composition of remedies in ancient pharmacopeiae with FCA
Ontology-Based Formal Concept Differences Analysis in Radiology Report Impact by the Adoption of PACS
Concept Lattices of Incomplete Data
Signs and Formal Concepts
Approximations in Concept Lattices
Formal Concept Analysis Constrained by Attribute-Dependency Formulas
On Closure Systems and Adjunctions Between Fuzzy Preordered Sets
An Investigation of User Behavior in Educational Platforms Using Temporal Concept Analysis
Measuring the Implications of the D-Basis in Analysis of Data in Biomedical Studies
Applications of Ordinal Factor Analysis
Methods of Conceptual Knowledge Processing
Using Redescriptions and Formal Concept Analysis for Mining Definitions in Linked Data
Semantology as Basis for Conceptual Knowledge Processing
The Basic Theorem on Preconcept Lattices
Concepts in Application Context
About Keys of Formal Context and Conformal Hypergraph
Implications over Probabilistic Attributes
What Can Formal Concept Analysis Do for Data Warehouses?
Gene Expression Array Exploration Using K \mathcal{K}-Formal Concept Analysis
Preliminary Results on Mixed Integer Programming for Searching Maximum Quasi-Bicliques and Large Dense Biclusters
Formal Concept Discovery in Semantic Web Data
Robust Elements in Rough Set Abstractions
The Power of Peircean Algebraic Logic (PAL)
Analysis of Social Communities with Iceberg and Stability-Based Concept Lattices
First Notes on Maximum Entropy Entailment for Quantified Implications
Formal Concept Analysis - 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings
Browsing Search Results via Formal Concept Analysis: Automatic Selection of Attributes
On the Succinctness of Closure Operator Representations
Automatized Construction of Implicative Theory of Algebraic Identities of Size Up to 5
Simultaneous, Polynomial-Time Layout of Context Bigraph and Lattice Digraph
When Is a Concept Algebra Boolean?
A Unified Hierarchy for Functional Dependencies, Conditional Functional Dependencies and Association Rules
Automated Layout of Small Lattices Using Layer Diagrams
Automated Lattice Drawing
Relational Concept Analysis in Practice: Capitalizing on Data Modeling Using Design Patterns
Understanding the Semantic Structure of Human fMRI Brain Recordings with Formal Concept Analysis
Temporal Concept Analysis with SIENA
Formal $\mathcal{F}$ -contexts and Their Induced Implication Rule Systems
Towards Interactive Transition from AOC Poset to Concept Lattice
Using FCA to Analyse How Students Learn to Program
Concept-Forming Operators on Multilattices
The Tensor Product as a Lattice of Regular Galois Connections
Learning Thresholds in Formal Concept Analysis
Proper Mergings of Stars and Chains Are Counted by Sums of Antidiagonals in Certain Convolution Arrays
Cubes of Concepts: Multi-dimensional Exploration of Multi-valued Contexts
An Invitation to Knowledge Space Theory
Bonds Between L -Fuzzy Contexts Over Different Structures of Truth-Degrees
Characterization and Armstrong Relations for Degenerate Multivalued Dependencies Using Formal Concept Analysis
MDL in Pattern Mining A Brief Introduction to Krimp
The Linear Algebra in Formal Concept Analysis over Idempotent Semifields
Modeling Ceteris Paribus Preferences in Formal Concept Analysis
Enumerating Maximal Consistent Closed Sets in Closure Systems
Towards a Navigation Paradigm for Triadic Concepts
BLID: An Application of Logical Information Systems to Bioinformatics
Using Concept Lattices to Uncover Causal Dependencies in Software
Ordinal Factor Analysis
Some Computational Problems Related to Pseudo-intents
Profiling Less Active Users in Online Communities
Describing Role Models in Terms of Formal Concept Analysis
Galois Connections Between Semimodules and Applications in Data Mining
Modelling Tacit Knowledge via Questionnaire Data
Which Concept Lattices Are Pseudocomplemented?
Protoconcept Graphs: The Lattice of Conceptual Contents
Diagrammatic Representation of Conceptual Structures
The Agree Concept Lattice for Multidimensional Database Analysis
Conceptual Alignment with Formal Concept Analysis
Lattices of Relatively Axiomatizable Classes
Hardness of Enumerating Pseudo-intents in the Lectic Order
Concept Extensions and Weak Clusters Associated with Multiway Dissimilarity Measures
Sampling Representation Contexts with Attribute Exploration
Pattern Structures for Identifying Biclusters with Coherent Sign Changes
Can Ontology Inform Ontologies?
Protoconceptual Contents and Implications
Lattices of Orders
Applying Formal Concept Analysis to Description Logics
Towards a Formal Concept Analysis Approach to Exploring Communities on the World Wide Web
Proceedings of the International Workshop on Formal Concept Analysis and Applications, FCA&A 2015, co-located with 13th International Conference on Formal Concept Analysis (ICFCA 2015), Nerja, Málaga, Spain, June 23-26, 2015
On Computing the Minimal Generator Family for Concept Lattices and Icebergs
Multilayered, Blocked Formal Concept Analyses for Adaptive Image Compression
Using Pattern Structures for Analyzing Ontology-Based Annotations of Biomedical Data
Reduction and Introducers in d-contexts
A Concept Lattice-Based Kernel for SVM Text Classification
RCAexplore, a FCA based Tool to Explore Relational Data
Attribute Exploration with Proper Premises and Incomplete Knowledge Applied to the Free Radical Theory of Ageing
Simple Undirected Graphs as Formal Contexts
An Algorithm for Extracting Rare Concepts with Concise Intents
Handling Large Formal Context Using BDD - Perspectives and Limitations
Upper Bound for the Number of Concepts of Contranominal-Scale Free Contexts
On Overfitting of Classifiers Making a Lattice