| |
Conférences Nationales
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, Juin 2000.
1999
-
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, Novembre 1999. (postscript) (abstract)
-
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, Mars 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, Juin 1998. (postscript) (abstract)
-
J.C. Le Lann.
Génération automatique de code VHDL à partir de Signal. Journées AAA98, CEA, Saclay, Janvier 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, Janvier 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
-
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, Mars 1996. (postscript) (abstract)
-
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, Février 1996.
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, Octobre 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, Février 1995.
1994
-
T. Gautier, P. Le Guernic.
L'environnement de programmation SIGNAL. Proceedings of RENNES, IRISA, pages 168-175, Avril 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, Décembre 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, Avril 1991.
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.
|
|
