Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for endochrony with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2004 (1) 2006 (1) 2007 (1) 2008 (1) 2009 (2)
Publication types (Num. hits)
article(1) inproceedings(5)
Venues (Conferences, Journals, ...)
ACSD(2) EMSOFT(2) DATE(1) Formal Methods Syst. Des.(1)
Authors
Dumitru Potop-Butucaru(5) Jean-Pierre Talpin(3) Robert de Simone(3) Yves Sorel(3) Albert Benveniste(2) Benoît Caillaud(2) Julien Ouy(1) Loïc Besnard(1) Paul Le Guernic(1)
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
127Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic Compositional design of isochronous systems. Search on Bibsonomy DATE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
58Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel Necessary and sufficient conditions for deterministic desynchronization. Search on Bibsonomy EMSOFT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF endochrony, execution machine, reaction to signal absence, correctness, determinism, GALS, desynchronization, kahn process network
33Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. Search on Bibsonomy ACSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF synchronous specification, asynchronous implementation, weak endochrony, GALS
25Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin Clock-driven distributed real-time implementation of endochronous synchronous programs. Search on Bibsonomy EMSOFT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF clock calculus, distributed real-time scheduling, intermediate representation, synchronous model
25Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste Concurrency in Synchronous Systems. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Globally asynchronous locally synchronous (GALS), Concurrency, Synchronous, Distribution, Desynchronization, Trace theory
25Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste Concurrency in Synchronous Systems. Search on Bibsonomy ACSD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #6 of 6 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license