Search
Search Results
-
Dataflow-based automatic parallelization of MATLAB/Simulink models for fitting modern multicore architectures
In many fields including aerospace, automotive, and telecommunications, MathWorks’ MATLAB/Simulink is contemporary standard for model-based design....
-
NoC-based hardware software co-design framework for dataflow thread management
Applications running in a large and complex manycore system can significantly benefit from adopting the dataflow model of computation. In a dataflow...
-
Synthesis of Parallel Software from Heterogeneous Dataflow Models
Dataflow process networks (DPNs) are intrinsically data-driven, i.e., node actions are not synchronized among each other and may fire whenever...
-
Mixed Synchronous/Asynchronous Control Structures
This Chapter investigates some paradigms of MIXED SYNCHRONOUS/ASYNCHRONOUS COMPUTATIONS: bulk synchronous parallel and streaming control at various...
-
Model Checking of Distributed Algorithms Using Synchronous Programs
The development of trustworthy self-stabilizing algorithms requires the verification of some key properties with respect to the formal specification...
-
Strictly Periodic Scheduling of Cyclo-Static Dataflow Models
This paper considers strictly periodic schedules for Cyclo-Static Dataflow Graphs (CSDFGs) where, for every task, only the start time of the first...
-
Effective runtime scheduling for high-performance graph processing on heterogeneous dataflow architecture
Graph processing is widely used in modern society, such as social networks, bioinformatics, and information networks. It is observed that the...
-
Hardware Implementation of OCaml Using a Synchronous Functional Language
We present a hardware implementation of the high-level multi-paradigm language OCaml using a declarative language called Eclat. Eclat is tailored for...
-
Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study
The code synthesis, especially the multi-task code generation, plays an important role in the implementation of the safety-critical applications....
-
Fast datalog evaluation for batch and stream graph processing
Implementing complex algorithms for big data, artificial intelligence, and graph processing requires enormous effort. Succinct, declarative programs...
-
Domain-Specific Framework for Performance Analysis
In this book, we propose several performance analysis approaches for communication analysis, memory monitoring, etc. However, to implement each such...
-
Local Consistency Check in Synchronous Dataflow Models
Dataflow graphs are typically used to model signal processing applications. Consistency is a necessary condition for the existence of a dataflow...
-
Semantic Foundations for Deterministic Dataflow and Stream Processing
We propose a denotational semantic framework for deterministic dataflow and stream processing that encompasses a variety of existing streaming...
-
Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design
This paper introduces an extension of Timed Petri Nets for the modeling of synchronous electronic circuits, addressing pipeline design problems....
-
Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules
Synchronous Dataflow Graph (SDFG) is a formal tool widely used to model and analyze the behaviour of systems constrained by timing requirements. It...
-
Model-Based Testing of Asynchronously Communicating Distributed Controllers
Programmable controllers are gaining prevalence even in distributed safety-critical infrastructures, e.g., in the railway and aerospace industries....
-
Modeling Nested for Loops with Explicit Parallelism in Synchronous DataFlow Graphs
A common problem when develo** signal processing applications is to expose and exploit parallelism in order to improve both throughput and...
-
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers
Distributed programmable controllers are getting prevalence in critical infrastructure, among others, in railway interlocking systems (RIS)....
-
Tracing and Profiling Machine Learning Dataflow Applications on GPU
In this paper, we propose a profiling and tracing method for dataflow applications with GPU acceleration. Dataflow models can be represented by...
-
ARx: Reactive Programming for Synchronous Connectors
Reactive programming (RP) languages and Synchronous Coordination (SC) languages share the goal of orchestrating the execution of computational tasks,...