|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic |
Compositional design of isochronous systems.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bijoy A. Jose, Abdoulaye Gamatié, Julien Ouy, Sandeep K. Shukla |
SMT based false causal loop detection during code synthesis from Polychronous specifications.  |
MEMOCODE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Alexandre Cortier |
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment.  |
ACSD  |
2010 |
DBLP DOI BibTeX RDF |
embedded software architecture design, program analysis and transformation, domain-specific language |
| 1 | Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, G. Garcia, A. Rugina, Jérémy Buisson, Fabien Dagnat |
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software  |
FMA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic |
Separate Compilation of Polychronous Specifications.  |
Electr. Notes Theor. Comput. Sci.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic |
Compositional design of isochronous systems.  |
DATE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Ouy |
A Survey of Desynchronization in a Polychronous Model of Computation.  |
Electr. Notes Theor. Comput. Sci.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 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 |
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|