Searching for authors named "Paul Caspi" – sorted by Relevance.
32 documents found, showing 1 through 10.
Next 10 →
-
Embedded control: from asynchrony to synchrony and back
- …Embedded Control: From Asynchrony to Synchrony and Back Paul Caspi caspi@(email omitted); Verimag–CNRS http…
- Cited by 11 (2 self) – Add To MetaCart
-
Distributing Synchronous Programs on a Loosely Synchronous, Distributed Architecture
- … ARCHITECTURE ALBERT BENVENISTE , PAUL CASPI INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTMES ALATOIRES Campus…
- Add To MetaCart
-
From control loops to real-time programs
- …From Control Loops to Real-Time Programs Paul Caspi and Oded Maler Verimag-CNRS 2, av. de Vignate…
- Cited by 3 (0 self) – Add To MetaCart
-
Toward an approximation theory for computerised control
- …Toward an Approximation Theory for Computerised Control ⋆ Paul Caspi 1 , Albert Benveniste 2 1…
- Cited by 8 (2 self) – Add To MetaCart
-
A Co-iterative Characterization of Synchronous Stream Functions
- …A Co-iterative Characterization of Synchronous Stream Functions Paul Caspi VERIMAG Centre Equation…
- Cited by 10 (3 self) – Add To MetaCart
-
A Functional Extension To Lustre
- …A FUNCTIONAL EXTENSION TO LUSTRE PAUL CASPI and MARC POUZET Laboratoire VERIMAG Montbonnot, 38330…
- Cited by 3 (1 self) – Add To MetaCart
-
Synchronous Kahn Networks
- …Synchronous Kahn Networks Paul Caspi VERIMAG Miniparc-ZIRST Rue Lavoisier 38330 Montbonnot St…
- Cited by 33 (5 self) – Add To MetaCart
-
Synchronous Programming ∗
- …1 Introduction Synchronous Programming ∗ Paul Caspi CNRS, Verimag Laboratory † Stavros Tripakis…
- Add To MetaCart
-
An Algorithm for Reducing Binary Branchings
- …An Algorithm for Reducing Binary Branchings Paul Caspi y Jean-Claude Fernandez y Alain…
- Add To MetaCart
-
A Tool for Proving
- …A tool for proving Lustre programs in PVS Saddek Bensalem, Paul Caspi C'ecile Dumas, Catherine…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
