Hindawi Publishing Corporation
Home
Journals
About Us
About this Journal
Submit a Manuscript
Table of Contents
Journal Menu
Abstracting and Indexing
Aims and Scope
Article Processing Charges
Articles in Press
Author Guidelines
Bibliographic Information
Contact Information
Editorial Board
Editorial Workflow
Free eTOC Alerts
Reviewers Acknowledgment
Subscription Information
Open Special Issues
Published Special Issues
Special Issue Guidelines
Synchronous Paradigm in Embedded Systems
Guest Editors: Alain Girault, S. Ramesh, and Jean-Pierre Talpin
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