R. Sukumar, K. C. Anapalli, T. W. Chakilam, and . Neil, Static Scheduling for Cyclo Static Data Flow Graphs, Parallel and Distributed Processing Techniques and Applications, pp.302-306, 2009.

A. Benabid, C. Hanen, O. Marchetti, and A. Munier-kordon, 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

M. Benazouz, Buffer Sizing for Stream Processing Applications, 2012.

M. Benazouz, O. Marchetti, A. Munier-kordon, P. Michel, and . Urard, 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

M. Benazouz, A. Munier-kordon, T. Hujsa, and B. Bodin, 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

G. Bilsen, M. Engels, R. Lauwereins, and J. A. Peperstraete, Cyclo-static data flow, 1995 International Conference on Acoustics, Speech, and Signal Processing, pp.3255-3258, 1995.
DOI : 10.1109/ICASSP.1995.479579

T. Joseph, E. A. Buck, and . Lee, 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.

T. Goubier, R. Sirdey, S. Louise, and V. David, ??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

G. Kahn, The semantics of a simple language for parallel programming. Information processing, 1974.

M. Richard, R. E. Karp, and . Miller, Properties of a model for parallel computations : Determinancy, termination, queueing, SIAM Journal on Applied Mathematics, vol.14, issue.6, pp.1390-1411, 1966.

A. Edward, . Lee, G. David, and . Messerschmitt, Synchronous Dataflow, Proceedings of the IEEE, pp.1235-1245, 1987.
DOI : 10.1007/978-1-4615-4325-1_12

O. Marchetti and A. Munier-kordon, 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

S. Stuijk, M. Geilen, and . Et-twan-basten, 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

W. Thies, J. Lin, and . Et-saman-amarasinghe, Phased Computation Graphs in the Polyhedral Model, 2002.

H. Maarten, M. J. Wiggers, P. G. Bekooij, . Jansen, J. M. Gerard et al., 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.