| |
Chapitres de livres
2000
-
L. Besnard, P. Bournai, T. Gautier, N. Halbwachs, S. Nadjm-Tehrani, A. Ressouche.
Design of a Multi-formalism Application and Distribution in a Data-flow Context: An Example. in Intensional Programming II, Based on the Papers at ISLIP '99, M. Gergatsoulis, P. Rondogiannis (eds.), pages 149--167, World Scientific, 2000. (postscript) (abstract)
1998
-
T. Gautier, P. Le Guernic, P. Quinton, S. Rajopadhye, T. Risset, I Smarandache.
Projet CAIRN: conception d'architectures à partir de SIGNAL et ALPHA. in C.T.I. COMETE, CODESIGN Conception conjointe logiciel-matériel, pages 147-169, Eyrolles, Collection Technique et Scientifique des Télécommunications, 1998. (postscript)
1995
-
T. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten.
Signal- the specification of a generic, verified production cell controller. in Formal Development of Reactive Systems - Case Study Production Cell, C. Lewerentz, T. Lindner (eds.), Chapitre 7, pages 115-129, Springer Verlag, Lecture Notes in Computer Science, Janvier 1995.
1991
-
P. Le Guernic, T. Gautier.
Data-Flow to von Neumann: the Signal approach. in Advanced Topics in Data-Flow Computing, J.L. Gaudiot, L. Bic (eds.), pages 413-438, 1991. (postscript)
Les documents contenus dans ces répertoires sont rendus disponibles par les
auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux
savants et techniques sur une base non-commerciale. Les droits de copie et
autres droits sont gardés par les auteurs et par les détenteurs du copyright,
en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique.
Les personnes copiant ces informations doivent adhérer aux termes et
contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent
pas être rendus disponibles ailleurs sans la permission explicite du détenteur
du copyright.
|
|
