|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 12 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dumitru Potop-Butucaru, Yves Sorel, Robert de Simone, Jean-Pierre Talpin |
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fischmeister |
Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin |
Clock-driven distributed real-time implementation of endochronous synchronous programs. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
clock calculus, distributed real-time scheduling, intermediate representation, synchronous model |
| 1 | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin |
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
synchronous specification, asynchronous implementation, weak endochrony, GALS |
| 1 | Dumitru Potop-Butucaru, Benoît Caillaud |
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Dumitru Potop-Butucaru, Stephen A. Edwards, Gérard Berry |
Compiling Esterel. |
|
2007 |
DOI RDF |
|
| 1 | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel |
Necessary and sufficient conditions for deterministic desynchronization. |
EMSOFT |
2007 |
DBLP DOI BibTeX RDF |
endochrony, execution machine, reaction to signal absence, correctness, determinism, GALS, desynchronization, kahn process network |
| 1 | Sohini Dasgupta, Dumitru Potop-Butucaru, Benoît Caillaud, Alexandre Yakovlev |
Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste |
Concurrency in Synchronous Systems. |
Formal Methods in System Design |
2006 |
DBLP DOI BibTeX RDF |
Globally asynchronous locally synchronous (GALS), Concurrency, Synchronous, Distribution, Desynchronization, Trace theory |
| 1 | Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud |
From multi-clocked synchronous processes to latency-insensitive modules. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
compositional mapping, separate compilation |
| 1 | Dumitru Potop-Butucaru, Benoît Caillaud |
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste |
Concurrency in Synchronous Systems. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dumitru Potop-Butucaru, Robert de Simone |
Optimizations for Faster Execution of Esterel Programs. |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")