M. Benazouz, O. Marchetti, A. Munier-kordon, and P. Urard, A new approach for minimizing buffer capacities with throughput constraint for embedded system design, ACS/IEEE International Conference on Computer Systems and Applications -AICCSA 2010, pp.1-8, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00368648

M. Benazouz and A. Munier-kordon, Cyclo-static DataFlow Phases Scheduling Optimization for Buffer Sizes Minimization, Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems (M-SCOPES '13), pp.3-12, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01216562

R. D. Blumofe, C. F. Joerg, B. C. Kuszmaul, C. E. Leiserson, K. H. Randall et al., Cilk: An Efficient Multithreaded Runtime System, J. Parallel and Distrib. Comput, vol.37, pp.55-69, 1996.

F. Broquedis, T. Gautier, and V. Danjean, LIBKOMP, an Efficient OpenMP Runtime System for Both Fork-join and Data Flow Paradigms, Proceedings of the 8th International Conference on OpenMP in a Heterogeneous World (IWOMP'12), pp.102-115, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00796253

Z. Budimli?, M. Burke, V. Cavé, K. Knobe, G. Lowney et al., Concurrent Collections. Sci. Program, vol.18, pp.203-217, 2010.

D. Callahan, B. L. Chamberlain, and H. P. Zima, The cascade high productivity language, Ninth International Workshop on High-Level Parallel Programming Models and Supportive Environments, 2004.

V. Cavé, J. Zhao, J. Shirako, and V. Sarkar, Habanero-Java: The New Adventures of Old X10, Proceedings of the 9th International Conference on Principles and Practice of Programming in Java (PPPJ '11), pp.51-61, 2011.

P. Charles, C. Grothoff, V. Saraswat, C. Donawa, A. Kielstra et al., X10: An Object-oriented Approach to Nonuniform Cluster Computing, SIGPLAN Not, vol.40, pp.519-538, 2005.

P. Clauss, Counting Solutions to Linear and Nonlinear Constraints Through Ehrhart Polynomials: Applications to Analyze and Transform Scientific Programs, Proceedings of the 10th International Conference on Supercomputing (ICS '96), pp.278-285, 1996.
URL : https://hal.archives-ouvertes.fr/hal-01100306

A. Cohen, A. Darte, and P. Feautrier, Static Analysis of OpenStream Programs, 6th International Workshop on Polyhedral Compilation Techniques (IMPACT'16), held with HIPEAC'16 (Proceedings of the IMPACT series). Michelle Strout and Tomofumi Yuki, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01251845

A. Drebes, Dynamic optimization of data-flow task-parallel applications for large-scale NUMA systems, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01258451

P. Feautrier, The Power of Polynomials, 5th International Workshop on Polyhedral Compilation Techniques (IMPACT'15), 2015.
URL : https://hal.archives-ouvertes.fr/hal-01094787

P. Feautrier and A. Cohen, On Polynomial Code Generation, 8th International Workshop on Polyhedral Compilation Techniques (IMPACT'18, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01958096

M. I. Gordon, W. Thies, and S. Amarasinghe, Exploiting Coarse-grained Task, Data, and Pipeline Parallelism in Stream Programs, SIGPLAN Not, vol.41, pp.151-162, 2006.

T. Goubier, R. Sirdey, S. Louise, and V. David, ?C: A Programming Model and Language for Embedded Manycores, Algorithms and Architectures for Parallel Processing, 2011.

H. Springer-berlin, , pp.385-394

J. Gurd, C. Kirkham, and I. Watson, The Manchester Prototype Dataflow Computer, Commun. ACM, vol.28, pp.34-52, 1985.

G. Kahn, The semantics of a simple language for parallel programming. In Information processing, pp.471-475, 1974.

K. Kuo, M. Rodric, S. Rabbah, and . Amarasinghe, A Productive Programming Environment for Stream Computing, Proceedings of the 2nd Second Workshop on Productivity and Performance in High-End Computing, 2005.

B. Lee and A. R. Hurson, Dataflow Architectures and Multithreading, Computer, vol.27, pp.27-39, 1994.

A. Munier-kordon and J. Note, A Buffer Minimization Problem for the Design of Embedded Systems, European Journal of Operational Research, vol.164, pp.669-679, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01195968

, OpenMP Application Program Interface Version, OpenMP Architecture Review Board, 2008.

. Thomas-martyn-parks, Bounded Scheduling of Process Networks, Ph.D. Dissertation. Berkeley, CA, USA. UMI Order, pp.96-21312, 1995.

T. M. Parks, J. L. Pino, and E. A. Lee, A comparison of synchronous and cycle-static dataflow, Conference Record of The Twenty-Ninth Asilomar Conference on Signals, vol.1, pp.204-210, 1995.

J. Planas, R. M. Badia, E. Ayguadé, and J. Labarta, Hierarchical Task-Based Programming With StarSs, Int. J. High Perform. Comput. Appl, vol.23, pp.284-299, 2009.

A. Pop and A. Cohen, Control-Driven Data Flow, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00717906

A. Pop and A. Cohen, OpenStream: Expressiveness and Data-flow Compilation of OpenMP Streaming Programs, ACM Trans. Archit. Code Optim, vol.9, p.53, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00786675

M. Schweighofer, An algorithmic approach to Schmüdgen's Positivstellensatz, Journal of Pure and Applied Algebra, vol.166, pp.307-319, 2002.

W. Thies, M. Karczmarek, and S. P. Amarasinghe, StreamIt: A Language for Streaming Applications, Proceedings of the 11th International Conference on Compiler Construction (CC '02), 2002.

. Springer-verlag, , pp.179-196

S. Verdoolaege, Polyhedral Process Networks, pp.931-965, 2010.

S. Verdoolaege, R. Seghir, K. Beyls, V. Loechner, and M. Bruynooghe, Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions, Algorithmica, vol.48, pp.37-66, 2007.