WorldCat Identities

Berry, Gérard 1948-

Overview
Works: 68 works in 131 publications in 2 languages and 1,211 library holdings
Genres: Conference proceedings  Guidebooks 
Roles: Author of introduction, Editor, Creator, Scenarist
Classifications: QA76.76.C65, 005.133
Publication Timeline
Key
Publications about  Gérard Berry Publications about Gérard Berry
Publications by  Gérard Berry Publications by Gérard Berry
Most widely held works by Gérard Berry
Compiling ESTEREL by Dumitru Potop-Butucaru ( )
16 editions published in 2007 in English and held by 432 WorldCat member libraries worldwide
Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language and includes a tutorial, a reference manual, its formal semantics, and detailed technical information about the many techniques used to compile it. 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
Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings by Gérard Berry ( Book )
15 editions published between 2000 and 2001 in English and held by 255 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France in July 2001. The 33 revised full papers presented were carefully reviewed and selected from 106 regular paper submissions; also included are 13 reviewed tool presentations selected from 27 submissions. The book offers topical sections on model checking and theorem proving, automata techniques, verification core technology, BDD and decision trees, abstraction and refinement, combinations, infinite state systems, temporal logics and verification, microprocessor verification and cache coherence, SAT and applications, and timed automata
Pourquoi et comment le monde devient numérique by Gérard Berry ( Book )
3 editions published between 2008 and 2009 in French and held by 113 WorldCat member libraries worldwide
Le SIRH : enjeux, projets et bonnes pratiques ( Book )
3 editions published between 2011 and 2012 in French and held by 100 WorldCat member libraries worldwide
Penser, modéliser et maîtriser le calcul informatique [leçon inaugurale prononcée le 19 novembre 2009] by Gérard Berry ( Book )
1 edition published in 2009 in French and held by 49 WorldCat member libraries worldwide
Une introduction à la science informatique pour les enseignants de la discipline en lycée ( Book )
1 edition published in 2011 in French and held by 38 WorldCat member libraries worldwide
Cet ouvrage s'adresse principalement aux professeurs chargés d'enseigner la spécialité informatique et sciences numériques (ISN) en terminale S. Il est construit autour de sept cours contenant des leçons, des exercices, des questions, des compléments. Les thèmes abordés sont : Représentation numérique de l'information, Langages et programmation, Algorithmique, Architecture, Réseaux, Structuration et contrôle de l'information, Bases de données relationnelles et Web
Informatique et sciences du numérique : spécialité ISN en terminale S : avec des exercices corrigés et idées de projets ( Book )
2 editions published between 2012 and 2013 in French and held by 25 WorldCat member libraries worldwide
Computer Aided Verification 13th International Conference, CAV 2001 Paris, France, July 18-22, 2001 Proceedings by Gérard Berry ( )
1 edition published in 2001 in English and held by 16 WorldCat member libraries worldwide
A hardware implementation of pure Esterel by Gérard Berry ( Book )
3 editions published in 1991 in English and held by 12 WorldCat member libraries worldwide
Abstract: "Esterel is a synchronous concurrent programming language dedicated to reactive systems (controllers, protocols, man-machine interfaces, etc.). Esterel has an efficient standard software implementation based on well-defined mathematical semantics. We present a new hardware implementation of the pure synchronization subset of the language. Each program generates a specific cicuit that responds to any input in one clock cycle. When the source program satisfies some statically checkable dynamic properties, the circuit is shown to be semantically equivalent to the source program. The hardware translation has been effectively implemented on the programmable active memory Perle0 developed by J. Vuillemin and his group at Digital Equipment."
L'informatique du temps et des événements by Gérard Berry ( Book )
2 editions published in 2013 in French and held by 11 WorldCat member libraries worldwide
Computer aided verification : 13th international conference ; proceedings ( Book )
2 editions published in 2001 in English and held by 9 WorldCat member libraries worldwide
Computer aided verification : 13th international conference, Paris, France, July 18 - 22, 2001 ; proceedings ( )
1 edition published in 2001 in English and held by 8 WorldCat member libraries worldwide
From regular expressions to deterministic automata by Gérard Berry ( Book )
2 editions published in 1987 in English and held by 7 WorldCat member libraries worldwide
Le logiciel, objet de notre quotidien by Gérard Berry ( Visual )
2 editions published between 2000 and 2001 in French and held by 7 WorldCat member libraries worldwide
Constructive circuits and the exactness of ternary simulation by Michael Mendler ( Book )
1 edition published in 2006 in English and held by 6 WorldCat member libraries worldwide
Programming a digital watch in ESTEREL v3 by Gérard Berry ( Book )
3 editions published in 1989 in English and held by 6 WorldCat member libraries worldwide
Real time programming : special purpose or general purpose languages by Gérard Berry ( Book )
2 editions published in 1989 in English and held by 6 WorldCat member libraries worldwide
Le guide de la Guadeloupe by Gérard Berry ( Book )
4 editions published between 1996 and 1997 in French and held by 6 WorldCat member libraries worldwide
Après une présentation générale de la Guadeloupe (histoire, géographie, économie, patrimoine et tradition...), l'auteur nous invite à la découverte de superbes sites, de trésors naturels ou historiques à travers les pages de ce guide
Synchronous programming of reactive systems : an introduction to ESTEREL = Programmation synchrone des systemes reactifs : une introduction a ESTEREL by Gérard Berry ( Book )
1 edition published in 1987 in English and held by 5 WorldCat member libraries worldwide
Incremental development of an HDLC protocol in ESTEREL by Gérard Berry ( Book )
1 edition published in 1989 in English and held by 5 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.67 (from 0.00 for Le logicie ... to 0.92 for Le guide d ...)
Alternative Names
Berry, G.
Berry, Gérard
Languages
English (48)
French (18)
Covers