Dataflow analysis for multiprocessor systems with non-starvation-free schedulers

JPHM Hausmans, MH Wiggers, SJ Geuns… - Proceedings of the 16th …, 2013 - dl.acm.org
Dataflow analysis techniques are suitable for the temporal analysis of real-time stream
processing applications. However, the applicability of these models is currently limited to …

Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming

XY Zhu, M Geilen, T Basten… - 2014 Design, Automation …, 2014 - ieeexplore.ieee.org
Synchronous dataflow graphs (SDFGs) are widely used to model digital signal processing
(DSP) and streaming media applications. In this paper, we use retiming to optimize SDFGs …

Symbolic buffer sizing for throughput-optimal scheduling of dataflow graphs

A Bouakaz, P Fradet, A Girault - 2016 IEEE Real-Time and …, 2016 - ieeexplore.ieee.org
The synchronous dataflow model is widely used to design real-time streaming applications
which must assure a minimum quality-of-service. A benefit of that model is to allow static …

[PDF][PDF] Fsm-based sadf

S Stuijk, AH Ghamarian, BD Theelen… - Technical report …, 2008 - es.ele.tue.nl
The Synchronous Dataflow (SDF) Model-of-Computation (MoC)[3] has become a popular
model for modelling streaming applications. The SDF MoC fits well with the streaming and …

Max-plus algebraic throughput analysis of synchronous dataflow graphs

R de Groote, J Kuper, H Broersma… - 2012 38th Euromicro …, 2012 - ieeexplore.ieee.org
In this paper we present a novel approach to throughput analysis of synchronous dataflow
(SDF) graphs. Our approach is based on describing the evolution of actor firing times as a …

Temporal analysis flow based on an enabling rate characterization for multi-rate applications executed on MPSoCs with non-starvation-free schedulers

JPHM Hausmans, SJ Geuns, MH Wiggers… - Proceedings of the 17th …, 2014 - dl.acm.org
Real-time stream processing applications often contain multi-rate behavior. This multi-rate
behavior can be accurately modeled using Synchronous Dataflow (SDF) graphs. However …

An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking

W Liu, Z Gu, J Xu, Y Wang, M Yuan - Proceedings of the 7th IEEE/ACM …, 2009 - dl.acm.org
Synchronous Dataflow (SDF) is a widely-used model of computation for digital signal
processing and multimedia applications, which are typically implemented on memory …

Parallel scheduling of multiple SDF graphs onto heterogeneous processors

D Jeong, J Kim, ML Oldja, S Ha - IEEE Access, 2021 - ieeexplore.ieee.org
Parallel scheduling of multiple real-time applications onto heterogeneous processors is
needed in the emerging embedded systems such as self-driving cars, smart cameras, and …

[PDF][PDF] Executing synchronous data flow graphs on heterogeneous execution architectures using integer linear programming

A Malik, D Gregg - Trinity College Dublin, Tech. Rep, 2012 - academia.edu
This paper presents an integer linear programming (ILP) technique to partition and schedule
Synchronous Data Flow (SDF) graphs onto heterogeneous execution architectures. Our ILP …

Symbolic analyses of dataflow graphs

A Bouakaz, P Fradet, A Girault - ACM Transactions on Design …, 2017 - dl.acm.org
The synchronous dataflow model of computation is widely used to design embedded stream-
processing applications under strict quality-of-service requirements (eg, buffering size …