ACI Alidecs
Réunion de travail
VERIMAG, Gières

mercredi 14 juin 2006

Programme (pdf)

• Massimo Tivoli
  "Adaptor synthesis for real-time components"
  (en col. avec Pascal Fradet, Alain Girault, Gregor Goessler).
• Florence Maraninchi
  "Components for Embedded Systems: Some Basic Notions Behind Heterogeneous Models-of-Computation".
  Travail en cours. (en col. avec Tayeb Bouhadiba)
• Frédéric Boussinot
  "Cooperative Threads and Preemptive Computations".
  (en col. avec Frédéric Dabrowski).
• Marc Pouzet
  "The logical semantics for signals and modes"
  
• Discussions, préparation du rapport à mi-parcours.

Participants

• Florence Maraninchi, Tayeb Bouhadiba, Pascal Raymond, Louis Mandel (VERIMAG)
• Marc Pouzet (LRI)
• Frédéric Boussinot (INRIA Sophia)
• Alain Girault, Pascal Fradet, Massimo Tivoli, Gregor Goessler, Gwénael Delaval (INRIA Grenoble)