A. Amar, P. Boulet, and P. Dumont, Projection of the Array-OL Specification Language onto the Kahn Process Network Computation Model, 8th International Symposium on Parallel Architectures,Algorithms and Networks (ISPAN'05)
DOI : 10.1109/ISPAN.2005.70
URL : https://hal.archives-ouvertes.fr/inria-00565167

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

P. Boulet, C. Dumoulin, and A. Honoré, From MDD concepts to experiments and illustrations, chapter Model Driven Engineering for System-on- Chip Design. ISTE, International scientific and technical encyclopedia, Hermes science and Lavoisier, 2006.

P. Boulet and X. Redon, SPPoC : manipulation automatique de polyèdres pour la compilation, Technique et Science Informatiques, vol.20, issue.8, pp.1019-1048, 2001.

J. Michael, E. A. Chen, and . Lee, Design and implementation of a multidimensional synchronous dataflow environment, Proc. IEEE Asilomar Conf. on Signal, Systems, and Computers, 1995.

A. Darte and Y. Robert, Constructive methods for scheduling uniform loop nests, IEEE Transactions on Parallel and Distributed Systems, vol.5, issue.8, pp.814-822, 1994.
DOI : 10.1109/71.298207
URL : https://hal.archives-ouvertes.fr/hal-00857083

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

P. Florent-de-dinechin, T. Quinton, and . Risset, Structuration of the alpha language, Programming Models for Massively Parallel Computers, pp.18-24, 1995.

J. Dekeyser, P. Marquet, and J. Soula, Video kills the radio stars In Supercomputing'99 (poster session), 1999.

A. Demeure and Y. D. Gallo, An Array Approach for Signal Processing Design, Sophia-Antipolis conference on Micro-Electronics (SAME 98), 1998.

A. Demeure, A. Lafarge, E. Boutillon, D. Rozzonelli, J. Dufourd et al., Array-OL : Proposition d'un formalisme tableau pour le traitement de signal multi-dimensionnel, Gretsi, 1995.

P. Dumont, Spécification Multidimensionnelle pour le traitement du signal systématique, Thèse de doctorat Laboratoire d'informatique fondamentale de Lille, 2005.

P. Dumont and P. Boulet, Another multidimensional synchronous dataflow: Simulating Array-OL in ptolemy II, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070490

S. Edwards, L. Lavagno, E. A. Lee, and A. Sangiovanni-vincentelli, Design of embedded systems: Formal models, validation, and synthesis, Proc. of the IEEE, vol.85, issue.3, 1997.

P. Feautrier, Parametric integer programming, RAIRO - Operations Research, vol.22, issue.3, pp.243-268, 1988.
DOI : 10.1051/ro/1988220302431
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.9957

A. Jantsch and I. Sander, Models of computation and languages for embedded system design, IEE Proceedings - Computers and Digital Techniques, vol.152, issue.2, pp.114-129, 2005.
DOI : 10.1049/ip-cdt:20045098

J. Keinert and C. Haubelt, Windowed synchronous data flow Hardware-Software-Co-Design, Department of Computer Science Am Weichselgarten, vol.12, issue.3, p.91058, 2005.

G. Kahn, The semantics of a simple language for parallel programming, Information Processing 74: Proceedings of the IFIP Congress, pp.471-475, 1974.

G. Kahn and D. B. Macqueen, Coroutines and networks of parallel processes, Information Processing 77: Proceedings of the IFIP Congress, pp.993-998, 1977.
URL : https://hal.archives-ouvertes.fr/inria-00306565

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

J. Keinert, C. Haubelt, and J. Teich, Modeling and Analysis of Windowed Synchronous Algorithms, 2006 IEEE International Conference on Acoustics Speed and Signal Processing Proceedings, pp.892-895, 2006.
DOI : 10.1109/ICASSP.2006.1660798

D. Ko and S. S. Bhattacharyya, Modeling of block-based dsp systems, The Journal of VLSI Signal Processing, 2005.

O. Labbani, J. Dekeyser, P. Boulet, and É. Rutten, Introducing control in the gaspard2 data-parallel metamodel: Synchronous approach. International Workshop MARTES: Modeling and Analysis of Real-Time and Embedded Systems, conjunction with 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS/UML 2005), 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000911

O. Labbani, J. Dekeyser, P. Boulet, and É. Rutten, UML2 Profile for Modeling Controlled Data Parallel Applications, FDL'06: Forum on Specification and Design Languages, 2006.
DOI : 10.1007/978-1-4020-6149-3_18
URL : https://hal.archives-ouvertes.fr/inria-00565161

C. Hervé-le-verge, P. Mauras, and . Quinton, The ALPHA language and its use for the design of systolic arrays, Journal of VLSI signal processing systems for signal, image and video technology, vol.31, issue.3, pp.173-182, 1991.
DOI : 10.1007/BF00925828

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, 1987.
DOI : 10.1109/TC.1987.5009446

E. A. Lee and D. G. Messerschmitt, Synchronous data flow, Proc. of the IEEE, pp.1235-1245, 1987.
DOI : 10.1109/PROC.1987.13876

E. A. Lee, Multidimensional streams rooted in dataflow, Proceedings of the IFIP Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, 1993.

E. A. Lee, Overview of the Ptolemy Project, 2001.

K. Praveen, E. A. Murthy, and . Lee, Multidimensional synchronous dataflow, IEEE Transactions on Signal Processing, vol.50, issue.8, pp.2064-2079, 2002.

P. Kumar and M. , Scheduling Techniques for Synchronous and Multidimensional Synchronous Dataflow, 1996.

B. David, D. Skillicorn, and . Talia, Models and languages for parallel computation, ACM Comput. Surv, vol.30, issue.2, pp.123-169, 1998.

W. Thies, M. Karczmarek, and S. Amarasinghe, Streamit: A language for streaming applications Held as Part of the Joint European Conferences on Theory and Practice of Software, Compiler Construction : 11th International Conference, pp.49-84, 2002.