|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 11 keywords
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
127 | Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic |
Compositional design of isochronous systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008, pp. 928-933, 2008, ACM, 978-3-9810801-3-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
58 | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel |
Necessary and sufficient conditions for deterministic desynchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria, pp. 124-133, 2007, ACM, 978-1-59593-825-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
endochrony, execution machine, reaction to signal absence, correctness, determinism, GALS, desynchronization, kahn process network |
33 | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin |
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: Ninth International Conference on Application of Concurrency to System Design, ACSD 2009, Augsburg, Germany, 1-3 July 2009, pp. 42-51, 2009, IEEE Computer Society, 978-0-7695-3697-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
synchronous specification, asynchronous implementation, weak endochrony, GALS |
25 | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin |
Clock-driven distributed real-time implementation of endochronous synchronous programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 147-156, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
clock calculus, distributed real-time scheduling, intermediate representation, synchronous model |
25 | Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste |
Concurrency in Synchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 28(2), pp. 111-130, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Globally asynchronous locally synchronous (GALS), Concurrency, Synchronous, Distribution, Desynchronization, Trace theory |
25 | Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste |
Concurrency in Synchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada, pp. 67-78, 2004, IEEE Computer Society, 0-7695-2077-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|