accueil

 carte
 

Publications 1996


haut

 

Thèses et HDR

  1. D. Chauveau.
    Étude d'une extension du langage synchrone SIGNAL aux modèles probabilistes : le langage SIGNalea.  Thèse de l'Université de Rennes 1, Décembre 1996. (postscript) (abstract)

haut

 

Conférences Internationales

  1. P. Aubry, P. Le Guernic, S. Machard.
    Synchronous distribution of SIGNAL programs.  Proc. of the 29th Hawaii International Conference on System Sciences, IEEE Computer Society Press, Volume 1, pages 656-665, Janvier 1996. (postscript)
  2. P. Aubry, P. Le Guernic.
    On the desynchronization of synchronous applications.  Proceedings of the 11th International Conference on Systems Engineering, ICSE'96, University of Nevada, Las Vegas, Nevada (USA), Juillet 1996. (postscript)
  3. A. Benveniste.
    Compositional and uniform modelling of hybrid systems.  Proc. of IEEE-CDC, Kobe, 1996.
  4. A. Kountouris, P. Le Guernic.
    Profiling of SIGNAL Programs and its application in the timing evaluation of design implementations.  Proceedings of the IEE Colloq. on HW-SW Cosynthesis for Reconfigurable Systems, IEE, pages 6-6, HP Labs, Bristol, UK, Février 1996. (postscript)
  5. A. Kountouris.
    Safe and Efficient Elimination of Infeasible Execution Paths in WCET Estimation.  Proceedings of the International Workshop in R/T Computing Systems and Applications (RTCSA'96), IEEE Computer Society Press, Seoul, South Korea, Novembre 1996. (postscript)
  6. M. Le Borgne, H. Marchand, E. Rutten, M. Samaan.
    Formal Verification of SIGNAL programs: Application to a Power Transformer Station Controller.  Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology AMAST'96, Springer-Verlag, LNCS 1101, pages 271-285, Munich, Germany, Juillet 1996. (postscript) (abstract)
  7. P. Le Guernic, E. Rutten.
    Experiments with the synchronous methodology illustrating its support of predictability.  Proceedings of the 21st IFAC/IFIP Workshop on Real Time Programming, WRTP'96, pages 81-86, Canela/Gramado, RS, Brazil, Novembre 1996. (postscript) (abstract)

haut

 

Conférences Nationales

  1. 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.
  2. 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)

haut

 

Rapports de recherche

  1. A. Kountouris, C. Wolinski.
    A real-time hw/sw co-design approach based on the language and its environment.  Rapport de Recherche Irisa, No1053, Octobre 1996. (postscript) (abstract)
  2. C. Paller, C. Wolinski.
    Springplay : répartition et ordonnancement de tâches pour leur exécution en « pipeline ».  Rapport de Recherche Irisa, No1052, Octobre 1996. (postscript) (abstract)

haut

 

Divers

  1. D. Chauveau, A. Benveniste, B.C. Levy, E. Fabre.
    A Calculus of Stochastic Systems and the Signalea formalism.  Mai 1996.
  2. SACRES Consortium.
    Deliverable Report B1.A.  Février 1996.
  3. SACRES Consortium.
    Deliverable Report B2.A: Architecture Baseline.  Mai 1996.
  4. SACRES Consortium.
    The Declarative Code DC+, version 1.2.  Mai 1996.
  5. SACRES Consortium.
    Deliverable Report B3.A: New Technologies Baseline.  Mai 1996.
  6. 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.  Juin 1996.
  7. H. Marchand.
    Intégration de Sigali dans l'environnement Signal.  Rapport de fin de contrat, Convention Inria - EdF No M64/7C8321/E5/11, Décembre 1996.
  8. H. Marchand, M. Le Borgne.
    Extension de la théorie de synthèse de contrôleurs sur des systèmes dynamiques polynômiaux.  Convention Inria - EdF No M64/7C8321/E5/11, Juin 1996.
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.

Webmaster : epatr_webmaster@irisa.fr
Ces pages sont créées automatiquement par le
programme bib2html du projet Vista de l'IRISA-INRIA Rennes 		vista