850 search results - page 9 / 170 » Modeling synchronous systems in BIP |
101
Voted
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
130
click to vote
RTAS
2007
IEEE
15 years 10 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
129
click to vote
EMSOFT
2007
Springer
2007
Springer
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
15 years 10 months ago
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...
111
Voted
PROMAS
2007
Springer
15 years 10 months ago
2007
Springer
88
Voted
ICCAD
1990
IEEE
15 years 8 months ago
1990
IEEE
