Publications 1994

Thèses de doctorat

1. M. Belhadj. Conception d'architectures en utilisant Signal et VHDL. Thèse de l'Université de Rennes I, IFSIC, Décembre 1994.

Articles de journaux

1. A. Benveniste. Synchronous Languages Provide Safety in Reactive Systems Design. Control Engineering, pages 87-89, Septembre 1994.

Conférences internationales

1. M. Belhadj. VHDL & SIGNAL: A Cooperative Approach. In International Conference on Simulation and Hardware Description Languages, Western Simulation Multi-Conference, Pages 76-81, Tempe, Arizona (USA), 1994.
2. M. Belhadj. Using VHDL for Link to Synthesis Tools. In North Atlantic Test Workshop NATW'94, Nimes, 1994.
3. A. Benveniste, T. Gautier, P. Le Guernic, G. Berry, F. Mignard, P. Caspi, N. Halbwachs, P. Couronné, F. Dupont, C. Le Maire, J.P. Paris, Y. Sorel. Synchronous technology for real-time systems. In RTS'94, Pages 105-122, 1994.
4. C. Wolinski, M. Belhadj. High Level Synthesis of Globally Asynchronous Locally Synchronous Circuits. In North Atlantic Test Workshop NATW'94, Nimes, 1994.
5. Proj. Asar, P. Aubry, M. Auguin, M. Belhadj, J. Benzakki, T. Bouguerba, C. Carrière, G. Durrieu, T. Gautier, M. Israël, P. Le Guernic, M. Lemaitre, E. Martin, P. Quinton, L. Rideau, F. Rousseau, O. Sentieys. Framework and Multi-Formalism: the ASAR Project. In Proceedings of the 4th International IFIP 10.5 Working Conference on Electronic Design Automation Frameworks, Gramado (Brésil), Novembre 1994.
6. Proj. Asar, P. Aubry, M. Auguin, M. Belhadj, J. Benzakki, T. Bouguerba, C. Carrière, G. Durrieu, T. Gautier, M. Israël, P. Le Guernic, M. Lemaitre, E. Martin, P. Quinton, L. Rideau, F. Rousseau, O. Sentieys. Towards a Multi-Formalism Framework for Architectural Synthesis: the ASAR Project. In Proceedings of the Third International Workshop on Hardware/Software Codesign, Pages 25-32, Grenoble, Septembre 1994.
7. A. Benveniste, B.C. Levy, E. Fabre, P. Le Guernic. A calculus of stochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/nonstochastic systems. In 3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science 863, Pages 149-169, Septembre 1994.
8. O. Maffeis, P. Le Guernic. Distributed Implementation of Signal: Scheduling & Graph Clustering. In 3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science 863, Pages 547-566, Septembre 1994.
9. O. Maffeis, P. Le Guernic. From Signal to fine-grain parallel implementations. In Int. Conference on Parallel Architectures and Compilation Techniques, Pages 237-246, Août 1994.
10. E. Rutten, P. Le Guernic. Sequencing data flow tasks in SIGNAL. In Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, Orlando, Florida (USA), Juin 1994.
11. E. Rutten, E. Marchand, F. Chaumette. The sequencing of data flow tasks in Signal: application to active vision in robotics. In Proceedings of the 6th Euromicro Workshop on Real Time Systems, Pages 80-84, University of Maelardalen, Vasteraa s (Sweden), Juin 1994.
12. T. Gautier, P. Le Guernic. L'environnement de programmation SIGNAL. In Proceedings of RENNES Sister Cities Computer Science Research Centers Workshop, Pages 168-175, Avril 1994.

Rapports de recherche

1. E. Marchand, E. Rutten, F. Chaumette. Applying the Synchronous Approach to Real Time Active Visual Reconstruction. Rapport de recherche Inria, No 2383, Novembre 1994.
2. T. Gautier, P. Le Guernic, O. Maffeis. For a New Real-Time Methodology. Rapport de recherche Inria, No 2364, Octobre 1994.
3. A. Benveniste, B.C. Levy, E. Fabre, P. Le Guernic. A calculus of stochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/nonstochastic systems. Rapport de recherche Irisa, No 837, Juillet 1994.
4. T. Amagbegnon, L. Besnard, P. Le Guernic. Arborescent Canonical Form of Boolean Expressions. Rapport de recherche Inria, No 2290, Juin 1994.
5. T. Gautier, P. Le Guernic, F. Dupont. SIGNAL V4 : manuel de référence. Rapport de recherche Irisa, No 832, Juin 1994.
6. B. Houssais, M. Le Borgne, P. Le Guernic. Cours de programmation en langage temps-réel SIGNAL. Rapport de recherche Irisa, Juin 1994.
7. P. Bournai, C. Lavarenne, P. Le Guernic, O. Maffeis, Y. Sorel. Interface SIGNAL-SynDEx. Rapport de recherche Inria, No 2206, Mars 1994.
8. H. Marchand, M. Le Borgne. Typage des graphes de décisions ternaires. Rapport de recherche Irisa, No 797, Mars 1994.
9. O. Maffeis, P. Le Guernic. From Synchronous-Flow Dependence Graphs to Reliable and Efficient Implementations. Rapport de recherche Ercim, No 2, Février 1994.
10. B. Dutertre, M. Le Borgne. Control of Polynomial Dynamic Systems: an Example. Rapport de recherche Inria, No 2193, Janvier 1994.

Divers

1. H. Marchand, E. Rutten, M. Samaan. Description, spécification et validation d'un automatisme de poste de transformation électrique. Convention Inria - EdF No M64/7C8321/E5/11, Décembre 1994.

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.

Dernières modifications Thu Mar 1 13:58:00 2012

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.