G. Bilsen, M. Engels, L. R. , 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

J. T. Buck, Scheduling dynamic dataflow graphs with bounded memory using the token flow model, IEEE International Conference on Acoustics Speech and Signal Processing, 1993.
DOI : 10.1109/ICASSP.1993.319147

P. Clauss, Counting solutions to linear and nonlinear constraints through Ehrhart polynomials: Application to analyze and transform scientic programs, ACM International Conference on Supercomputing (ICS'96), pp.278-285, 1996.

P. Clauss and B. Meister, Automatic memory layout transformations to optimize spatial locality in parameterized loop nests, ACM SIGARCH Computer Architecture News, vol.28, issue.1, pp.11-19, 2000.
DOI : 10.1145/346023.346031

A. Darte, Y. Robert, and F. Vivien, Scheduling and Automatic Parallelization, 2000.
DOI : 10.1007/978-1-4612-1362-8
URL : https://hal.archives-ouvertes.fr/hal-00856645

L. , D. Moura, and N. Bjørner, Z3: An efficient SMT solver Corresponding software: https://github, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08), pp.337-340, 2008.

P. Feautrier, Parametric integer programming, RAIRO - Operations Research, vol.22, issue.3, pp.243-268, 1988.
DOI : 10.1051/ro/1988220302431

P. Feautrier, Dataflow analysis of array and scalar references, International Journal of Parallel Programming, vol.24, issue.4, pp.23-53, 1991.
DOI : 10.1007/BF01407931

P. Feautrier, Scalable and Structured Scheduling, International Journal of Parallel Programming, vol.28, issue.6, pp.459-487, 2006.
DOI : 10.1007/s10766-006-0011-4

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 C. Lengauer, The polyhedral model, Encyclopedia of Parallel Programming, 2011.

P. Fradet, A. Girault, and P. Poplavko, SPDF: A schedulable parametric dataflow model of computations, Conference on Design, Automation and Test in Europe (DATE'12), pp.769-774, 2012.

M. Gordon, W. Thies, and S. Amarasinghe, Exploiting coarse-grained task, data, and pipeline parallelism in stream programs, 12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'06), pp.151-162, 2006.

D. Handelman, Representing polynomials by positive linear functions on compact convex polyhedra, Pacific Journal of Mathematics, vol.132, issue.1, pp.35-63, 1988.
DOI : 10.2140/pjm.1988.132.35

G. Kahn, The semantics of a simple language for parallel programming, IFIP'94, pp.471-475, 1974.

R. M. Karp, R. E. Miller, and S. Winograd, The Organization of Computations for Uniform Recurrence Equations, Journal of the ACM, vol.14, issue.3, pp.563-590, 1967.
DOI : 10.1145/321406.321418

B. Kienhuis, E. Rijpkema, and E. Deprettere, Compaan, Proceedings of the eighth international workshop on Hardware/software codesign , CODES '00, 2000.
DOI : 10.1145/334012.334015

E. A. Lee and D. G. Messerschmitt, Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing, IEEE Transactions on Computers, vol.36, issue.1, pp.24-25, 1987.
DOI : 10.1109/TC.1987.5009446

D. Padua, Parallelization, automatic, Encyclopedia of Parallel Programming, 2011.

T. M. Parks, Bounded Scheduling of Process Networks, 1995.

J. Planas, R. M. Badia, E. Ayguadé, and J. Labarta, Hierarchical Task-Based Programming With StarSs, International Journal of High Performance Computing Applications, vol.23, issue.3, pp.284-299, 2009.
DOI : 10.1177/1094342009106195

A. Pop and A. Cohen, A stream-computing extension to OpenMP, Proceedings of the 6th International Conference on High Performance and Embedded Architectures and Compilers, HiPEAC '11, pp.5-14, 2011.
DOI : 10.1145/1944862.1944867
URL : https://hal.archives-ouvertes.fr/hal-00659411

A. Pop and A. Cohen, Control-driven data flow, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00717906

A. Pop and A. Cohen, Work-streaming compilation of futures, 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'12, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00786830

A. Pop and A. Cohen, OpenStream, ACM Transactions on Architecture and Code Optimization, vol.9, issue.4, pp.1-25, 2013.
DOI : 10.1145/2400682.2400712
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, issue.3, pp.307-319, 2002.
DOI : 10.1016/S0022-4049(01)00041-X

R. Stephens, A survey of stream processing, Acta Informatica, vol.34, issue.7, pp.491-541, 1997.
DOI : 10.1007/s002360050095

S. Verdoolaege, Polyhedral process networks, Handbook of Signal Processing Systems, pp.1335-1375, 2013.

S. Verdoolaege and M. Bruynooghe, Algorithms for weighted counting over parametric polytopes: A survey and a practical comparison, The 2008 International Conference on Information Theory and Statistical Learning, 2008.

S. Verdoolaege, R. Seghir, K. Beyls, V. Loechner, and M. Bruynooghe, Counting integer points in parametric polytopes using Barvinok rational functions, Algorithmica, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00534817

T. Yuki, P. Feautrier, S. Rajopadhye, and V. Saraswat, Array dataflow analysis for polyhedral X10 programs, 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'13), pp.23-34, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00761537

T. Yuki, P. Feautrier, S. V. Rajopadhye, and V. Saraswat, Checking race freedom of clocked X10 programs, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00907723

R. N°-8764 and R. Centre-grenoble-?-rhône-alpes, Inovallée 655 avenue de l'Europe Montbonnot 38334 Saint Ismier Cedex Publisher Inria Domaine de Voluceau -Rocquencourt BP 105 -78153 Le Chesnay Cedex inria, pp.249-6399