MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Paul Le Guernic" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

35 documents found, showing 1 through 10. Next 10 →

ATOM

Synthesis of Discrete-Event Controllers based on the Signal Environment
by Herve Marchand, Patricia Bournai, Michel LeBorgne, Paul LeGuernic, Paul Le Guernic — 2000 — In Discrete Event Dynamic System: Theory and Applications
…@(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
by Irina Smarandache, Paul Le Guernic
…-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
by Thierry Gautier, Paul Le Guernic — 1999 — In Towards System Safety, Proceedings of the Safety-critical Systems Symposium, SSS'99
…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
by Eric Rutten, Paul Le Guernic — 1993 — IN PROC. OF THE ACM SIGPLAN WORKSHOP ON LANGUAGE, COMPILER AND TOOL SUPPORT FOR REAL-TIME SYSTEMS
… 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
by Albert Benveniste, Benoit Caillaud, Jean-Pierre Talpin, Paul Le Guernic — 1999
… 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
by Mohammadreza Mousavi, Paul Le Guernic, Jean-pierre Talpin — 2003 — In Digital Automation and Test Europe (Date’2004
…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
by Irina M. Smarandache, Thierry Gautier, Paul Le Guernic — 1999 — In World Congress on Formal Methods (2
… 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
by David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic — 1997 — In Proceedings of the European Conference on Parallel Processing (Euro-Par’97
…, 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
by Albert Benveniste, Thierry Gautier, Paul Le Guernic, Eric Rutten — 1998
… 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
by Irina Smarandache, Irina Smar, Paul Le Guernic, Paul Le Guernic — 1997
… AUTOMATIQUE A Canonical Form for Affine Relations in Signal Irina Smarandache, Paul Le Guernic N 3097…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB