T. Amagbegnon, L. Besnard, L. Guernic, and P. , Arborescent Canonical Form of Boolean Expressions, INRIA Research Report, vol.2290, 1994.
URL : https://hal.archives-ouvertes.fr/inria-00074382

T. Amagbegnon, L. Guernic, P. Marchand, H. Rutten, and E. , The Signal dataaow methodology applied to a production cell, IRISA Research Report, vol.917, 1995.

M. Belhadj, Using VHDL for Link to Synthesis Tools, The Third Annual Atlantic Test Workshop, 1994.
DOI : 10.1109/ATW.1994.747844
URL : https://hal.archives-ouvertes.fr/hal-00545948

A. Benveniste and G. Berry, \Real-Time systems design and programming, Proceedings of the IEEE, p.79, 1991.

L. Besnard, Compilation de Signal : horloges, dpendances, environnement, 1992.

G. Birkhoo, Lattice Theory, AMS colloquium publications, 1973.

D. Micheli and G. , Computer-aided hardware-software codesign, IEEE Micro, vol.14, issue.4, p.14, 1994.
DOI : 10.1109/40.296153

R. K. Gupta, C. N. Coelho, and G. De-micheli, Program implementation schemes for hardware-software systems, Computer, vol.27, issue.1, pp.48-55, 1994.
DOI : 10.1109/2.248880
URL : http://akebono.stanford.edu/users/cad/papers/coelho/computer94.ps.Z

A. Kalavade and E. A. Lee, \A Hardware-Software Codesign Methodology for Dsp Applications, IEEE Design & Test of Computers, issue.3, pp.16-28, 1993.

L. Guernic, P. Gautier, and T. , \Data-Flow to von Neumann: the Signal Approach, Advanced Topics in Data-Flow Computing, pp.413-438, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075329

L. Guernic, P. Gautier, T. , L. Borgne, M. Le-maire et al., \Programming Real-time Applications with Signal, Proceedings of the IEEE, pp.79-1321, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075114

M. H. Salinas, B. W. Johnson, and J. H. Aylor, Implementation-independent model of an instruction set architecture in VHDL, IEEE Design & Test of Computers, vol.10, issue.3, pp.42-54, 1993.
DOI : 10.1109/54.232471

J. G. Sanderson, A Relational Theory of Computing, 1980.
DOI : 10.1007/3-540-09987-5

I. Smarandache, Transformations aanes d'horloges : application au codesign de syst emes temps-r eel en utilisant les langages Signal et Alpha, 1998.

I. Smarandache, L. Guernic, and P. , \AAne Transformations in Signal and Their Applications in the Speciication and Validation of Real-Time Systems" Transformation-Based Reactive Systems Development, Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, 1997.

I. Smarandache, L. Guernic, and P. , A Canonical Form for AAne Relations in Signal, INRIA Research Report, vol.3097, 1997.

D. E. Thomas, J. K. Adams, and H. Schmit, A model and methodology for hardware-software codesign, IEEE Design & Test of Computers, vol.10, issue.3, pp.6-15, 1993.
DOI : 10.1109/54.232468

D. Wilde, The Alpha Language, IRISA Research Report, vol.827, 1994.
URL : https://hal.archives-ouvertes.fr/inria-00074378

D. Wilde and O. Si-e, Regular array synthesis using ALPHA, Proceedings of IEEE International Conference on Application Specific Array Processors (ASSAP'94), 1994.
DOI : 10.1109/ASAP.1994.331803
URL : https://hal.archives-ouvertes.fr/inria-00074383