|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Louis Mandel, Florence Plateau |
Interactive Programming of Reactive Systems.  |
SLAP@ETAPS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bijoy Antony Jose, Hiren D. Patel, Sandeep K. Shukla, Jean-Pierre Talpin |
Generating Multi-Threaded code from Polychronous Specifications. |
SLAP@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Girault, Éric Rutten |
Preface. |
SLAP@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Yuan, Sidharta Andalam, Li Hsien Yoong, Partha S. Roop, Zoran A. Salcic |
STARPro - A new multithreaded direct execution platform for Esterel. |
SLAP@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwenaël Delaval |
Modular Distribution and Application to Discrete Controller Synthesis. |
SLAP@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Florence Maraninchi, Alain Girault, Marc Pouzet (eds.) |
Proceedings of the Third International Workshop on Synchronous Languages, Applications, and Programs, SLAP 2004, Satellite Event of ETAPS 2004, Barcelona, Spain, March 28, 2004 |
SLAP@ETAPS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Stephen A. Edwards, Vimal Kapadia, Michael Halasz |
Compiling Esterel into Static Discrete-Event Code. |
SLAP@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider 0001, Jens Brandt 0001, Tobias Schüle |
A Verified Compiler for Synchronous Programs with Local Declarations. |
SLAP@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégoire Hamon |
Synchronous Dataflow Pattern Matching. |
SLAP@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Laure Gonnord, Nicolas Halbwachs, Pascal Raymond |
From Discrete Duration Calculus to Symbolic Automata. |
SLAP@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Budde, Axel Poigné, Karl-Heinz Sylla |
synERJY An Object-oriented Synchronous Language. |
SLAP@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Tardieu |
Goto and Concurrency Introducing Safe Jumps in Esterel. |
SLAP@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Florence Maraninchi, Alain Girault, Marc Pouzet |
Preface. |
SLAP@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Vecchié, Robert de Simone |
Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs. |
SLAP@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Edwards |
ESUIF: An Open Esterel Compiler. |
SLAP@ETAPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramesh Bharadwaj |
SOL: A Verifiable Synchronous Language for Reactive Systems. |
SLAP@ETAPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Etienne Closse, Michel Poize, Jacques Pulou, Patrick Venier, Daniel Weil |
SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure. |
SLAP@ETAPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Baldamus, Thomas Stauner |
Modifying Esterel Concepts to Model Hybrid Systems. |
SLAP@ETAPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garriou |
Symbolic Simulation of Synchronous Programs. |
SLAP@ETAPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerald Lüttgen, Michael Mendler |
Towards a Model-Theory for Esterel. |
SLAP@ETAPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Florence Maraninchi, Alain Girault, Éric Rutten |
Preface. |
SLAP@ETAPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Louis Colaço, Marc Pouzet |
Type-Based Initialisation Analysis of a Synchronous Data-Flow Language. |
SLAP@ETAPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paritosh K. Pandya |
The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs. |
SLAP@ETAPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirabelle Nebut, Sophie Pinchinat |
A Decidable Clock Language for Synchronous Specifications. |
SLAP@ETAPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel Morel |
Efficient Compilation of Array Iterators for Lustre. |
SLAP@ETAPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Raymond, Yvan Roux |
Describing Non-Deterministic Reactive Systems by Means of Regular Expressions. |
SLAP@ETAPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Arcot Sowmya, David Tsz-Wang So, Wan Hung Tang |
Design of a Mobile Robot Controller Using Esterel Tools. |
SLAP@ETAPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinod Ganapathy, S. Ramesh 0001 |
Slicing Synchronous Reactive Programs. |
SLAP@ETAPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Florence Maraninchi, Alain Girault, Éric Rutten (eds.) |
Synchronous Languages, Applications, and Programming, SLAP 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002 |
SLAP@ETAPS |
2002 |
DBLP BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license