A. Demeure and Y. D. Gallo, An array approach for signal processing design, Proceedings of the Sophia-Antipolis Conference on Micro-Electronics (SAME '98), 1998.

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

P. Boulet, Array-OL revisited, multidimensional intensive signal processing specification, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00128840

P. Boulet, Formal semantics of Array-OL, a domain specific language for intensive multidimensional signal processing, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00261178

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), pp.496-501, 2005.
DOI : 10.1109/ISPAN.2005.70

URL : https://hal.archives-ouvertes.fr/inria-00565167

P. , L. Guernic, J. Talpin, and J. Lann, POLYCHRONY for system design, Journal of Circuits, Systems and Computers, vol.12, issue.3, pp.261-303, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00730480

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

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

W. Wadge and E. Ashcroft, LUCID, the Dataflow Programming Language, 1985.

P. Caspi, D. Pilaud, N. Halbwachs, and J. 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

L. Besnard, T. Gautier, and P. L. Guernic, SIGNAL V4? INRIA version: Reference Manual, 2007.

F. High-performance and . Forum, High performance fortran language specification, 1997.

B. B. Fraguela, J. Guo, and G. Bikshandi, The Hierarchically Tiled Arrays programming approach, Proceedings of the 7th workshop on Workshop on languages, compilers, and run-time support for scalable systems , LCR '04, pp.1-12, 2004.
DOI : 10.1145/1066650.1066657

G. Almási, L. De-rose, B. B. Fraguela, J. Moreira, and D. Padua, Programming for Locality and Parallelism with Hierarchically Tiled Arrays, Proceedings of the 16th International Workshop on Languages and Compilers for Parallel Computing (LCPC '03), pp.162-176, 2003.
DOI : 10.1007/978-3-540-24644-2_11

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. Proceedings., pp.52-60, 2004.
DOI : 10.1109/HIPS.2004.1299190

E. Allen, D. Chase, and J. Hallett, The fortress language specification, version 1.0 beta, 2007.

P. Charles, C. Grothoff, and V. Saraswat, X10: an objectoriented approach to non-uniform cluster computing, Proceedings of the 20th Annual ACM Conference on Object- Oriented Programming, Systems, Languages, and Applications (OOPSLA '05), pp.519-538, 2005.

W. Thies, M. Karczmarek, and M. Gordon, StreamIt: a compiler for streaming applications, 2001.

E. Lee, C. Hylands, and J. Janneck, Overview of the ptolemy project, 2001.

C. Mauras, Alpha: un langagé equationnel pour la conception et la programmation d'architecturesparalì eles synchrones, 1989.

D. Wilde, The ALPHA language, 1994.
URL : https://hal.archives-ouvertes.fr/inria-00074378

E. A. Lee and D. G. Messerschmitt, Synchronous data flow, Proceedings of the 32nd IEEE Computer Society International Conference (COMPCON '87), pp.310-315, 1987.
DOI : 10.1109/PROC.1987.13876

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

E. A. Lee, Mulitdimensional streams rooted in dataflow, Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism (PACT '93), pp.295-306, 1993.

P. K. Murthy and E. A. Lee, Multidimensional synchronous dataflow, IEEE Transactions on Signal Processing, vol.50, issue.8, pp.2064-2079, 2002.
DOI : 10.1109/TSP.2002.800830

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. Keinert, C. Haubelt, and J. Teich, Windowed synchronous data flow, Department of Computer Science, vol.12, 2005.

D. Ko and S. S. Bhattacharyya, Modeling of Block-Based DSP Systems, Journal of VLSI signal processing systems for signal, image and video technology, vol.49, issue.10, pp.289-299, 2005.
DOI : 10.1007/s11265-005-5265-3

N. Halbwachs and D. Pilaud, Use of a real-time declarative language for systolic array design and simulation, Proceedings of the International Workshop on Systolic Arrays,O x f o r d , UK, 1986.

F. Rocheteau and N. Halbwachs, POLLUX, a LUSTRE-based hardware design environment, Proceedings of the International Workshop on Algorithms and Parallel VLSI Architectures II, pp.335-346, 1991.

P. Feautrier, Array expansion, Proceedings of the 2nd International Conference on Supercomputing, pp.429-441, 1988.
DOI : 10.1145/2591635.2667159

URL : https://hal.archives-ouvertes.fr/hal-01099746

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

O. Labbani, J. Dekeyser, P. Boulet, and E. Rutten, Introducing control in the gaspard2 data-parallel metamodel: synchronous approach, Proceedings of the International Workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES '05), 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000911

I. Smarandache, T. Gautier, and P. L. Guernic, Validation of mixed signal-alpha real-time systems through affine calculus on clock synchronisation constraints, Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II, pp.1364-1383, 1999.
DOI : 10.1007/3-540-48118-4_22

URL : https://hal.archives-ouvertes.fr/hal-00548887

A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau et al., N-sychronous Kahn networks, Proceedings of the 33th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL '06), pp.180-193, 2006.
DOI : 10.1145/1111037.1111054

H. Yu, A. Gamatié, E. Rutten, and J. Dekeyser, Model Transformations from a Data Parallel Formalism Towards Synchronous Languages, Embedded Systems Specification and Design Languages, pp.183-198, 2008.
DOI : 10.1007/978-1-4020-8297-9_13

URL : https://hal.archives-ouvertes.fr/inria-00172302

N. Halbwachs, P. Raymond, and C. , Generating efficient code from data-flow programs, Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming (PLILP '91), pp.207-218, 1991.
DOI : 10.1007/3-540-54444-5_100

P. , L. Guernic, T. Gautier, M. L. Borgne, and C. L. Maire, Programming real-time applications with SIGNAL, Proceedings of the IEEE, vol.79, issue.9, pp.1321-1336, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00540460

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

N. Halbwachs, Y. Proy, and P. Roumanoff, Verification of real-time systems using linear relation analysis, Formal MethodsinSystemDesign, vol.11, issue.2, pp.157-185, 1997.

A. 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.1-9, 1996.
DOI : 10.1049/ic:19960225

URL : https://hal.archives-ouvertes.fr/hal-00544253

K. Altisen, A. Clodic, F. Maraninchi, and E. Rutten, Using Controller-Synthesis Techniques to Build Property-Enforcing Layers, Proceedings of the 12th European Symposium on Programming Languages and Systems (ESOP '03), pp.174-188, 2003.
DOI : 10.1007/3-540-36575-3_13

G. Rutten, A domain-specific language for multi-task systems, applying discrete controller synthesis, EURASIP Journal on Embedded Systems, vol.2007, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00000867

P. Feautrier, Some efficient solutions to the affine scheduling problem. Part II. Multidimensional time, International Journal of Parallel Programming, vol.2, issue.4, pp.389-420, 1992.
DOI : 10.1007/BF01379404