|
Publications 1993
Thèses et HDR
-
M. Le Borgne.
Systèmes dynamiques sur des corps finis. Thèse de l'Université de Rennes I, IFSIC, Septembre 1993. (abstract)
-
O. Maffeïs.
Ordonnancements de graphes de flots synchrones ; application à la mise en oeuvre de SIGNAL. Thèse de l'Université de Rennes I, IFSIC, Janvier 1993. (abstract)
Conférences Internationales
-
M. Belhadj, R. McConnell, P. Le Guernic.
A Framework for Macro- and Micro-Time to Model VHDL Attributes. Proceedings of the European Design and Automation Conference with EURO-VHDL '93, Hamburg, FRG, R. Camposano (ed.), IEEE Computer Society Press, pages 520--525, Septembre 1993.
-
A. Benveniste, P. Caspi, P. Le Guernic, N. Halbwachs.
Data-flow Synchronous Languages. Proc of the 1993 REX symposium: Ten decades of concurrency, a perspective, LNCS Springer, 1993.
-
A. Benveniste, M. Le Borgne, P. Le Guernic.
Hybrid Systems : the Signal Approach. Hybrid Systems, LNCS 736 Springer, 1993.
-
B. Dutertre, M. Le Borgne, A. Benveniste, P. Le Guernic.
Discrete Event Systems and Synchronous Languages: an example. Proc of the IFAC 1993 World Congress, 1993.
-
M. Le Borgne.
Dynamical Systems over Galois Fields: Application to DES and to the SIGNAL Language. Lecture Notes of the Belgian-French-Netherlands Summer School on Discrete Event Systems, Spa, Belgium, Juin 1993. (postscript)
-
M. Le Borgne, B. Dutertre, A. Benveniste, P. Le Guernic.
Dynamical Systems over Galois Fields. Proc. of the Second European Control Conference (ECC93), Juin 1993.
-
O Maffeïs, P. Le Guernic.
Combining Dependability with Architectural Adaptability by means of the Signal Language. 3rd Int. Workshop on Static Analysis, Volume 724 of LNCS, pages 99-110, 1993.
-
C. Wolinski, T. Cholet, D. Derrien, J.-P. Guillou, P. Leali, A. Riboult.
Architecture for Signal programs execution. Nordic Transputer Conference, NTUG'93, pages 99-110, Copenhague, Danemark, 1993.
Conférences Nationales
-
M. Belhadj, A. Kerihuel, R. McConnell.
Une comparaison des approches pour la conception des circuits synchrones et asynchrones. Journées des jeunes chercheurs en architecture de machines, Décembre 1993.
Rapports de recherche
-
A. Benveniste, P. Caspi, P. Le Guernic, N. Halbwachs.
Data-flow Synchronous Languages. Rapport de Recherche Irisa / Inria-Rennes, No2089, Octobre 1993. (postscript) (abstract)
-
P. Bournai, B. Chéron, T. Gautier, B. Houssais, P. Le Guernic.
SIGNAL manual. Rapport de Recherche Irisa / Inria-Rennes, No1969, Septembre 1993. (postscript) (abstract)
-
P. Bournai, P. Le Guernic.
Un environnement graphique pour le langage SIGNAL. Rapport de Recherche Irisa / Inria-Rennes, No2040, Septembre 1993. (postscript) (abstract)
-
E. Marchand, F. Chaumette, E. Rutten.
Stratégie perceptive d'un environnement statique dans un contexte de vision active. Rapport de Recherche Irisa, No775, Novembre 1993. (postscript) (abstract)
-
E. Rutten, P. Le Guernic.
Sequencing data flow tasks in SIGNAL. Rapport de Recherche Irisa / Inria-Rennes, No2120, Novembre 1993. (postscript) (abstract)
-
C. Wolinski, T. Cholet, D. Derrien, J.-P. Guillou, P. Leali, A. Riboult.
Une architecture pour l'exécution d'applications SIGNAL. Rapport de Recherche Irisa, No704, Février 1993. (abstract)
-
C. Wolinski, M. Belhadj.
Vers la synthèse automatique de programmes SIGNAL. Rapport de Recherche Irisa, No746, Juillet 1993. (postscript) (abstract)
Divers
-
J-P. Paris, G. Berry, F. Mignard, P. Couronné, P. Caspi, N. Halbwachs, Y. Sorel, A. Benveniste, T. Gautier, P. Le Guernic, F. Dupont, C. Le Maire.
Projet synchrone : les formats communs des langages synchrones. Rapport technique IRISA No 157, Juin 1993.
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.
|
|