|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 245 occurrences of 172 keywords
|
|
|
Results
Found 419 publication records. Showing 419 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Zoran A. Salcic, Partha S. Roop, Morteza Biglari-Abhari, Abbas Bigdeli |
REFLIX: A Processor Core for Reactive Embedded Applications. |
FPL |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Laurent Arditi, Hédi Boufaïed, Arnaud Cavanié, Vincent Stehlé |
Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Paritosh K. Pandya |
Model Checking CTL*[DC]. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Valérie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis |
Towards validated real-time software. |
ECRTS |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Florence Maraninchi, Yann Rémond, Yannick Raoul |
MATOU: An Implementation of Mode-Automata. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Charles André, Marie-Agnès Peraldi-Frati |
Behavioral Specification of a Circuit Using SyncCharts: A Case Study. |
EUROMICRO |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Ringler |
Static Worst-Case Execution Time Analysis of Synchronous Programs. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Victor L. Winter |
A Synchronous Paradigm for Modeling Stable Reactive Systems. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Simin Nadjm-Tehrani |
Integration of Analog and Discrete Synchronous Design. |
HSCC |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Simon, Roger Pissard-Gibollet, Konstantinos Kapellos, Bernard Espiau |
Synchronous Composition of Discretized Control Actions: Design, Verification and Implementation with ORCCAD . |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
continuous/discrete time, control oriented applications, formal verification, programming environment, synchronous programming |
14 | Reinhard Budde, G. Michele Pinna, Axel Poigné |
Coordination of Synchronous Programs. |
COORDINATION |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Michael Gunzert, Andreas Nägele |
Component-Based Development and Verification of Safety Critical Software for a Brake-by-Wire System with Synchronous Software Components. |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Claudio Passerone, Claudio Sansoè, Luciano Lavagno, Patrick C. McGeer, Jonathan Martin, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
Modeling reactive systems in Java. |
ACM Trans. Design Autom. Electr. Syst. |
1998 |
DBLP DOI BibTeX RDF |
simulation, Java, prototyping, high level design |
14 | Alberto Valderruten, Javier Mosquera, Víctor M. Gulías |
Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study. |
Computer Performance Evaluation (Tools) |
1998 |
DBLP DOI BibTeX RDF |
Synchronous Reactive Models, Multithreaded Runtime Systems, Simulation and Monitoring, Functional Programming, Instrumentation, Performance Engineering, Model Development |
14 | Olivier Potonniée, Jean-Bernard Stefani |
Synchronous Thread Management in a Distributed Operating System's Micro Kernel. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
thread management, deterministic systems, distributed systems, real-time systems, Synchronous programming |
14 | Paul Caspi, Alain Girault |
Distributing Finite Transition Systems Extended Abstract. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Florence Maraninchi |
Operational and Compositional Semantics of Synchronous Automaton Compositions. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Yves Bertot |
Implementation of an Interpreter for a Parallel Language in Centaur. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Florence Maraninchi |
Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra. |
Automatic Verification Methods for Finite State Systems |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #419 of 419 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5] |
|