Static Scheduling for Cyclo Static Data Flow Graphs, Parallel and Distributed Processing Techniques and Applications, pp.302-306, 2009. ,
Periodic Schedules for Bounded Timed Weighted Event Graphs, IEEE Transactions on Automatic Control, vol.57, issue.5, pp.1222-1232, 2012. ,
DOI : 10.1109/TAC.2012.2191871
URL : https://hal.archives-ouvertes.fr/hal-01185244
Buffer Sizing for Stream Processing Applications, 2012. ,
A new method for minimizing buffer sizes for Cyclo-Static Dataflow graphs, 2010 8th IEEE Workshop on Embedded Systems for Real-Time Multimedia, pp.11-20, 2010. ,
DOI : 10.1109/ESTMED.2010.5666980
URL : https://hal.archives-ouvertes.fr/hal-01289303
Liveness evaluation of a cyclo-static DataFlow graph, Proceedings of the 50th Annual Design Automation Conference on, DAC '13, pp.1-3, 2013. ,
DOI : 10.1145/2463209.2488736
URL : https://hal.archives-ouvertes.fr/hal-00861992
Cyclo-static data flow, 1995 International Conference on Acoustics, Speech, and Signal Processing, pp.3255-3258, 1995. ,
DOI : 10.1109/ICASSP.1995.479579
Scheduling dynamic dataflow graphs with bounded memory using the token flow model, IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP-93), number September, pp.429-432, 1993. ,
??C: A Programming Model and Language for Embedded Manycores, Proceedings of the 11th international conference on Algorithms and architectures for parallel processing (ICA3PP'11), pp.385-394, 2011. ,
DOI : 10.1007/978-3-642-24650-0_33
The semantics of a simple language for parallel programming. Information processing, 1974. ,
Properties of a model for parallel computations : Determinancy, termination, queueing, SIAM Journal on Applied Mathematics, vol.14, issue.6, pp.1390-1411, 1966. ,
Synchronous Dataflow, Proceedings of the IEEE, pp.1235-1245, 1987. ,
DOI : 10.1007/978-1-4615-4325-1_12
A sufficient condition for the liveness of weighted event graphs, European Journal of Operational Research, vol.197, issue.2, pp.532-540, 2009. ,
DOI : 10.1016/j.ejor.2008.07.037
URL : https://hal.archives-ouvertes.fr/hal-01197183
Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs, IEEE Transactions on Computers, vol.57, issue.10, pp.1331-1345, 2008. ,
DOI : 10.1109/TC.2008.58
Phased Computation Graphs in the Polyhedral Model, 2002. ,
Efficient Computation of Buffer Capacities for Cyclo-Static Real-Time Systems with Back-Pressure, 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07), pp.281-292, 2007. ,