Searching for authors named Paul Le Guernic – sorted by Relevance.
-
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
-
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
-
For a New Real-Time Methodology
- AUTOMATIQUE For a New Real-Time Methodology Thierry GAUTIER Paul LE GUERNIC Olivier MAFFE IS N 2364 October
- Cited by 4 (2 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
-
Implementation of the Data-flow Synchronous Language SIGNAL
- Le Guernic e-mail: fPascalin.Amagbegnon,Loic.Besnard,Paul.Leguernicg@(email omitted); phone: (33
- Cited by 12 (6 self) – 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

