Volume 2007 [62 articles]

Synchronous Paradigm in Embedded Systems [6 articles]

• Synchronous Paradigm in Embedded Systems, Alain Girault, S. Ramesh, and Jean-Pierre Talpin
  Volume 2007 (2007), Article ID 32903, 2 pages
• A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis, Gwenaël Delaval and Éric Rutten
  Volume 2007 (2007), Article ID 84192, 17 pages
• Removing Cycles in Esterel Programs, Jan Lukoschus and Reinhard von Hanxleden
  Volume 2007 (2007), Article ID 48979, 23 pages
• Code Generation in the Columbia Esterel Compiler, Stephen A. Edwards and Jia Zeng
  Volume 2007 (2007), Article ID 52651, 31 pages
• Array Iterators in Lustre: From a Language Extension to Its Exploitation in Validation, Lionel Morel
  Volume 2007 (2007), Article ID 59130, 16 pages
• Formal Methods for Scheduling of Latency-Insensitive Designs, Julien Boucaron, Robert de Simone, and Jean-Vivien Millo
  Volume 2007 (2007), Article ID 39161, 16 pages