BPDF: A statically analyzable dataflow model with integer and boolean parameters

V Bebelis, P Fradet, A Girault… - 2013 Proceedings of the …, 2013 - ieeexplore.ieee.org
Dataflow programming models are well-suited to program many-core streaming
applications. However, many streaming applications have a dynamic behavior. To capture …

Mapping and scheduling on multi-core processors using SMT solvers

P Tendulkar - 2014 - theses.hal.science
In order to achieve performance gains in the software, computers have evolvedto multi-core
and many-core platforms abounding with multiple processor cores. However the problem of …

[HTML][HTML] Performance analysis of weakly-consistent scenario-aware dataflow graphs

M Geilen, J Falk, C Haubelt, T Basten… - Journal of Signal …, 2017 - Springer
The timed dataflow model of computation is a useful performance analysis tool for electronic
system level design automation and embedded software synthesis. Its determinism gives it …

A survey of main dataflow MoCCs for CPS design and verification

G Roumage, S Azaiez, S Louise - 2022 IEEE 15th International …, 2022 - ieeexplore.ieee.org
The automotive industry has recently emphasized reducing the number of Electronic Control
Units (ECUs) installed in vehicles for economic and ecological reasons. This reduction …

A survey of parametric dataflow models of computation

A Bouakaz, P Fradet, A Girault - ACM Transactions on Design …, 2017 - dl.acm.org
Dataflow models of computation (MoCs) are widely used to design embedded signal
processing and streaming systems. Dozens of dataflow MoCs have been proposed in the …

Parameterized dataflow scenarios

M Skelin, M Geilen, F Catthoor… - IEEE Transactions on …, 2016 - ieeexplore.ieee.org
A number of modeling approaches combining dataflow and finite-state machines (FSMs)
have been proposed to capture applications that combine streaming data with finite control …

A framework to schedule parametric dataflow applications on many-core platforms

V Bebelis, P Fradet, A Girault - ACM SIGPLAN Notices, 2014 - dl.acm.org
Dataflow models, such as SDF, have been effectively used to program streaming
applications while ensuring their liveness and boundedness. Yet, industrials are struggling …

Symmetry breaking for multi-criteria mapping and scheduling on multicores

P Tendulkar, P Poplavko, O Maler - … and Analysis of Timed Systems: 11th …, 2013 - Springer
Multiprocessor mapping and scheduling is a long-old difficult problem. In this work we
propose a new methodology to perform mapping and scheduling along with buffer memory …

From dataflow-based video coding tools to dedicated embedded multi-core platforms

H Yviquel - 2013 - theses.hal.science
The development of multimedia technology, along with the emergence of parallel
architectures, has revived the interest on dataflow programming for designing embedded …

Static analysis of OpenStream programs

A Cohen, A Darte, P Feautrier - 2016 - inria.hal.science
This paper studies the applicability of polyhedral techniques to the parallel language Open-
Stream [25]. When applicable, polyhedral techniques are invaluable for compile-time …