Documents disponibles écrits par cet auteur

Compiling esterel / Potop-Butucaru, Dumitru

Public ISBD Titre : Compiling esterel Type de document : document électronique Auteurs : Potop-Butucaru, Dumitru, Auteur ; Berry, Gérard, Auteur Editeur : Berlin : Springer Année de publication : 2007 Collection : Engineering ISBN/ISSN/EAN : 978-0-387-70628-3 Langues : Anglais (eng) Mots-clés : Electronics  Engineering  Design  Engineering Index. décimale : 621.381 Note de contenu : Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution of the program is divided into discrete instants, and statements are either guaranteed to execute in a single instant, or take multiple instants as requested by the programmer. Suitable for programming safety-critical real-time systems, Esterel and its model of computation have found use in industrial applications such as avionics, integrated circuit design, and other safety-critical environments. While Compiling Esterel does not assume prior knowledge of the Esterel language, readers will appreciate having prior knowledge of programming language semantics and compiler technology, along with some familiarity with synchronous digital hardware design. Researchers as well as advanced developers will find Compiling Esterel essential for understanding Esterel at all levels. Compiling esterel [document électronique] / Potop-Butucaru, Dumitru, Auteur ; Berry, Gérard, Auteur . - Springer, 2007. - (Engineering) . ISBN : 978-0-387-70628-3 Langues : Anglais (eng) Mots-clés : Electronics  Engineering  Design  Engineering Index. décimale : 621.381 Note de contenu : Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution of the program is divided into discrete instants, and statements are either guaranteed to execute in a single instant, or take multiple instants as requested by the programmer. Suitable for programming safety-critical real-time systems, Esterel and its model of computation have found use in industrial applications such as avionics, integrated circuit design, and other safety-critical environments. While Compiling Esterel does not assume prior knowledge of the Esterel language, readers will appreciate having prior knowledge of programming language semantics and compiler technology, along with some familiarity with synchronous digital hardware design. Researchers as well as advanced developers will find Compiling Esterel essential for understanding Esterel at all levels.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
E00269	621.381 POT	Ressources électroniques	Bibliothèque Centrale	Electronique	Disponible
E00270	621.381 POT	Ressources électroniques	Bibliothèque Centrale	Electronique	Disponible