I. Attali, D. Caromel, Y. Syau-chen, J. Gaudiot, and A. L. Wendelborn, A formal semantics for sisal arrays, Proc. Joint Conf. Infor. Sci, 1995.

D. F. Bacon, S. L. Graham, and O. J. Sharp, Compiler transformations for highperformance computing, 1993.

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

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

C. Glitia and P. Boulet, High level loop transformations for multidimensional signal processing embedded applications, SAMOS 2008 Workshop, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00565154

C. Glitia, P. Dumont, and P. Boulet, Array-OL with delays, a domain specific specification language for multidimensional intensive signal processing, Multidimensional Systems and Signal Processing, 2009.
DOI : 10.1007/s11045-009-0085-4
URL : https://hal.archives-ouvertes.fr/inria-00522751

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

O. Labbani, J. Dekeyser, P. Boulet, and E. 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 E. 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

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

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

M. Object and . Group, A UML profile for MARTE, 2007.

E. Piel, R. B. Atitallah, P. Marquet, S. Meftali, S. Niar et al., Gaspard2: from MARTE to SystemC simulation, Modeling and Analyzis of Real-Time and Embedded Systems with the MARTE UML profile DATE'08 Workshop, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00524373

L. Rioux, T. Saunier, S. Gerard, A. Radermacher, R. De-simone et al., MARTE: A new profile RFP for the modeling and analysis of real-time embedded systems, UML-SoC'05, DAC 2005 Workshop UML for SoC Design, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01071285

S. Scholz, Single Assignment C: efficient support for high-level array operations in a functional setting, Journal of Functional Programming, vol.13, issue.6, pp.1005-1059, 2003.
DOI : 10.1017/S0956796802004458

J. Soula, Principe de Compilation d'un Langage de Traitement de Signal, Thèse de doctorat, 2001.