| |
National Conferences
2000
-
M. Nebut.
Calcul d'horloges et valeurs. MOVEP'2k MOdelling and VErification of Parallel processes, F. Cassez, C. Jard, B. Rozoy, M. Ryan (eds.), École Centrale de Nantes, pages 199--202, Nantes, June 2000.
1999
-
J.R. Beauvais, R. Houdebine, Y.M. Tang, P. Le Guernic, E. Rutten, T. Gautier.
Une modélisation de StateCharts et ActivityCharts en Signal. Actes du 2ème Congrès sur la Modélisation des Systèmes Réactifs, MSR'99, Cachan, March 1999. (postscript) (abstract)
-
F. Jiménez, E. Rutten.
Modélisation synchrone de standards de programmation de systèmes de contrôle. Actes de la Journée d'études sur les Nouvelles Percées dans les Langages pour l'Automatique, Amiens, November 1999. (postscript) (abstract)
1998
-
P. Le Guernic, S. Machard, E. Rutten.
Répartition de programmes Signal. Actes des Rencontres Francophones du Parallélisme des Architectures et des Systèmes, RenPar'10, Strasbourg, June 1998. (postscript) (abstract)
-
J.C. Le Lann.
Génération automatique de code VHDL à partir de Signal. Journées AAA98, CEA, Saclay, January 1998.
1997
-
PH. Baufreton, X. Méhaut, E. Rutten.
L'approche Sacres pour les systèmes embarqués à sécurité critique. Actes du Salon Real-Time Systems RTS'97, Paris, Teknea, pages 101-118, January 1997. (postscript) (abstract)
-
T. Gautier, P. Le Guernic, P. Quinton, S. Rajopadhye, T. Risset, I. Smarandache.
Le projet Cairn : vers la conception d'architectures à partir de Signal et Alpha. Actes des Séminaires Action Scientifique - Codesign, 1997.
1996
-
PROJ. ASAR, (P. Aubry, M. Belhadj, TH. Gautier, P. Le Guernic, P. Quinton, C. Dezan, M. Israël, J. M.Benzakki, T. Bouguerba, F. Rousseau, M. Auguin, C. Carrière, Cogniat, G. G.Durrieu, M. Lemaître, E. Martin, O. Sentieys, J.L. Philippe, L. Rideau).
Vers un Atelier d'accueil générique pour la Synthèse ARchitecturale bâti autour de Centaur : ASAR. Quatrième Symposium Architectures Nouvelles de Machines, pages 51-62, Irisa, Rennes, February 1996.
-
H. Marchand, E. Marchand, E. Rutten.
Spécification et vérification de systèmes réactifs : expérimentation de la méthodologie synchrone SIGNAL. Actes du Congrès AFCET sur la Modélisation des Systèmes Réactifs, MSR'96, Brest, March 1996. (postscript) (abstract)
1995
-
P. Aubry, P. Le Guernic, S. Machard.
Distribution synchrone de programmes Signal. Actes des 2ème Journées des Jeunes Chercheurs en Systèmes répartis, October 1995. (postscript)
-
D. Chauveau, A. Benveniste, B.C. Levy, P. Le Guernic.
Simulation et estimation de systèmes stochastiques. Cinquième atelier d'évaluation de performances, February 1995.
1994
-
T. Gautier, P. Le Guernic.
L'environnement de programmation SIGNAL. Proceedings of RENNES, IRISA, pages 168-175, April 1994. (postscript)
1993
-
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, December 1993.
1992
-
O Maffeïs, P. Le Guernic.
Graphes dynamiques : Ordonnancement statique maximal qualitatif. Outils d'aide à la conception et à la programmation d'architectures dédiées au traitemnt du signal et de l'image, actes de conférences Adéquation Algortihmes Architectures, pages 97-111, 1992.
1991
-
T. Gautier, P. Le Guernic.
L'environnement de programmation SIGNAL. Proceedings of RENNES Sister Cities Computer Science Research Centers Workshop, pages 168-175, April 1991.
The documents contained in these directories are included by the contributing
authors as a means to ensure timely dissemination of scholarly and technical
work on a non-commercial basis. Copyright and all rights therein are maintained
by the authors and by other copyright holders, notwithstanding that they have
offered their works here electronically. It is understood that all persons
copying this information will adhere to the terms and constraints invoked by
each author's copyright. These works may not be reposted without the explicit
permission of the copyright holder.
|
|
