J. Soula, Principe de compilation d'un langage de traitement de signal, Thèse de doctorat Laboratoire d'informatique fondamentale de Lille French), 2001.

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

E. Piel, R. B. Atitallah, P. Marquet, S. Meftali, S. Niar et al., Gaspard2: from MARTE to SystemC simulation, in: Modeling and Analyzis of Real-Time and Embedded Systems with the MARTE UML profile DATE'08 Workshop, 2008.

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
DOI : 10.1007/s11045-009-0085-4
URL : https://hal.archives-ouvertes.fr/inria-00522751

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

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
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

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

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

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.

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

O. Labbani, J. Dekeyser, P. Boulet, and E. Rutten, UML2 Profile for Modeling Controlled Data Parallel Applications, 2006.
DOI : 10.1007/978-1-4020-6149-3_18
URL : https://hal.archives-ouvertes.fr/inria-00565161

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, 2005.

R. Allen and K. Kennedy, Optimizing Compilers for Modern Architectures: A Dependence-based Approach, 2001.

S. Girbal, N. Vasilache, C. Bastoul, A. Cohen, D. Parello et al., Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies, International Journal of Parallel Programming, vol.20, issue.1, pp.261-317, 2006.
DOI : 10.1007/s10766-006-0012-3
URL : https://hal.archives-ouvertes.fr/hal-01257288