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), 2005.
DOI : 10.1109/ISPAN.2005.70
URL : https://hal.archives-ouvertes.fr/inria-00565167

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages twelve years later, Proceedings of the IEEE, pp.64-83, 2003.

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, LUSTRE: a declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.178-188, 1987.
DOI : 10.1145/41625.41641

P. Caspi and M. Pouzet, Synchronous Kahn networks, International Conference on Functional Programming, pp.226-238, 1996.
DOI : 10.1145/232627.232651
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.9168

A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau et al., N-sychronous Kahn networks, ACM Symp. on Principles of Programming Languages (PoPL'06), 2006.
DOI : 10.1145/1111037.1111054

A. Demeure and Y. D. Gallo, An array approach for signal processing design, Sophia- Antipolis conference on Micro-Electronics (SAME'98), System-on-Chip Session, 1998.

J. B. Dennis, First version of a data flow procedure language, Programming Symposium, pp.362-376, 1974.
DOI : 10.1007/3-540-06859-7_145

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

P. Feautrier, Some efficient solutions to the affine scheduling problem. I. One-dimensional time, International Journal of Parallel Programming, vol.40, issue.6, pp.313-348, 1992.
DOI : 10.1007/BF01407835

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

A. Kountouris and P. L. Guernic, Profiling of SIGNAL programs and its application in the timing evaluation of design implementations, IEE Colloquium on Hardware-Software Cosynthesis for Reconfigurable Systems, pp.6-7, 1996.
DOI : 10.1049/ic:19960225
URL : https://hal.archives-ouvertes.fr/hal-00544253

O. Labbani, J. Dekeyser, P. Boulet, and E. Rutten, Introducing control in the gas- pard2 data-parallel metamodel: Synchronous approach, Int'l Workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES'05), 2005.

L. Guernic, J. Talpin, and J. Lann, POLYCHRONY for System Design, Journal of Circuits, Systems and Computers, vol.12, issue.03, pp.261-304, 2003.
DOI : 10.1142/S0218126603000763
URL : https://hal.archives-ouvertes.fr/hal-00730480

C. Mauras, ALPHA : un langage équationnel pour la conception et la programmation d'architectures parallèles synchrones, 1989.

O. Michel, D. D. Vito, and J. Sansonnet, data-parallelism and data-flow, Proc. of the 9th International Symposium on Lucid and Intensional Programming, 1996.

I. Smarandache, Transformations affines d'horloges: application au codesign de systèmes temps réel en utilisant les langages SIGNAL et ALPHA, 1998.

I. M. Smarandache, T. Gautier, and P. L. Guernic, Validation of mixed signal-alpha real-time systems through affine calculus on clock synchronisation constraints, World Congress on Formal Methods, pp.1364-1383, 1999.
DOI : 10.1007/3-540-48118-4_22
URL : https://hal.archives-ouvertes.fr/hal-00548887

J. Soula, P. Marquet, J. Dekeyser, and A. Demeure, Compilation Principle of a Specification Language Dedicated to Signal Processing, 6th International Conference on Parallel Computing Technologies (PaCT'2001), 2001.
DOI : 10.1007/3-540-44743-1_36

W. Thies, M. Karczmarek, and S. Amarasinghe, StreamIt: A Language for Streaming Applications, International Conference on Compiler Construction, 2002.
DOI : 10.1007/3-540-45937-5_14

W. W. Wadge and E. A. Ashcroft, LUCID, the dataflow programming language, 1985.

I. Unité-de-recherche, . Lorraine, . Loria, and . Technopôle-de-nancy, Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt, Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles -BP 93 -06902 Sophia Antipolis Cedex