Searching for authors named "Paul Le Guernic" – sorted by Relevance.
-
Synthesis of Discrete-Event Controllers based on the Signal Environment
- @(email omitted); IRISA / INRIA - Rennes, Campus Univ. de Beaulieu, F-35042 Rennes, France Paul Le Guernic leguerni
- Cited by 15 (4 self) – Add To MetaCart
-
Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time Systems
- -Time Systems ? Irina Smarandache and Paul Le Guernic IRISA-INRIA, Campus de Beaulieu, 35042 Rennes Cedex
- Add To MetaCart
-
Code generation in the SACRES project
- Code generation in the SACRES project ? Thierry Gautier and Paul Le Guernic ?? IRISA / INRIA
- Cited by 6 (0 self) – Add To MetaCart
-
Sequencing Data Flow Tasks in SIGNAL
- 1166-8687 778 SEQUENCING DATA FLOW TASKS IN SIGNAL ERIC RUTTEN, PAUL LE GUERNIC I R I S A INSTITUT
- Cited by 13 (12 self) – Add To MetaCart
-
Desynchronisation of Synchronous Programs: Summary of Results
- Jean-Pierre Talpin Paul Le Guernic December 7, 1999 Abstract Here we summarize the results about
- Add To MetaCart
-
Modeling and Validation of Globally Asynchronous Design in Synchronous Framework
- Reza Mousavi1 , Paul Le Guernic2 , Jean-Pierre Talpin2 , Sandeep Kumar Shukla3 ,TwanBasten1 1 Eindhoven
- Cited by 2 (0 self) – Add To MetaCart
-
Validation of Mixed Signal-Alpha Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints
- Constraints Irina M. Smarandache 1 , Thierry Gautier 2 , and Paul Le Guernic 2 1 The University
- Cited by 3 (0 self) – Add To MetaCart
-
An Ml-Like Module System for the Synchronous Language Signal
- , Thierry Gautier and Paul Le Guernic Irisa (Inria-Rennes & Cnrs) Campus de Beaulieu, F-35000 Rennes
- Cited by 3 (1 self) – Add To MetaCart
-
Distributed code generation of dataflow synchronous programs: the SACRES approach
- Benveniste, Thierry Gautier, Paul Le Guernic, and Eric Rutten zx IRISA / INRIA Campus de Beaulieu - 35042
- Cited by 5 (3 self) – Add To MetaCart
-
A Canonical Form for Affine Relations in SIGNAL
- AUTOMATIQUE A Canonical Form for Affine Relations in Signal Irina Smarandache, Paul Le Guernic N 3097
- Cited by 1 (1 self) – Add To MetaCart

