C. Ancourt and F. Irigoin, Scanning polyhedra with DO loops, ACM SIGPLAN Notices, vol.26, issue.7, pp.39-50, 1991.
DOI : 10.1145/109626.109631

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

P. Chou, R. B. Ortega, and G. Borriello, Interface co-synthesis techniques for embedded systems, International Conference on Computer Aided Design, pp.280-287, 1995.

C. T. Comete, Codesign ? Conception conjointe logiciel-matériel, chapter 5: Le projet Cairn : vers la conception d'architectures à partir de Signal et Alpha, 1998.

F. Dupont-de-dinechin, P. Quinton, S. Rajopadhye, and T. Risset, First steps in alpha, Publication Interne, 1244.

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

G. Gogniat, M. Auguin, L. Bianco, and A. Pegatoquet, A codesign back-end approach for embedded system design, ACM Transactions on Design Automation of Electronic Systems, vol.5, issue.3, 1999.
DOI : 10.1145/348019.348156

P. Le, G. , and T. Gautier, Data-flow to von Neumann: the SIGNAL approach, Advanced Topics in Data-Flow Computing, chapter 15, pp.413-438, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075329

T. Ben, I. , and A. A. Jerraya, Synthesis steps and design models for codesign, Computer, vol.28, issue.2, pp.44-53, 1995.

P. , L. Moënner, L. Perraudeau, S. Rajopadhye, T. Risset et al., Generating regular arithmetic circuits with alphard, 2th International on Massively Parallel Computing Systems (MPCS'96), 1996.

P. Quinton, S. Rajopadhye, and D. Wilde, Deriving imperative code from functional programs, Proceedings of the seventh international conference on Functional programming languages and computer architecture , FPCA '95, pp.36-44, 1995.
DOI : 10.1145/224164.224177

A. S. Wenban, J. W. Leary, and G. M. Brown, Codesign of communication protocols, Computer, vol.26, issue.12, pp.46-52, 1993.
DOI : 10.1109/2.247651

R. , U. De-recherche, I. Lorraine, V. Technopôle-de-nancy-brabois, I. Lès-nancy-unité-de-recherche et al., Campus scientifique, 615 rue du Jardin Botanique Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, p.78153, 2004.