10441 search results - page 40 / 2089 » Performance modeling of heterogeneous systems |
EMSOFT
2007
Springer
2007
Springer
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
14 years 1 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...
FDL
2004
IEEE
13 years 11 months ago
2004
IEEE
The article describes semi-symbolic methods for the analysis of control and signal processing systems, including static and dynamic uncertainties. This above mentioned semi-symbol...
FMCO
2003
Springer
14 years 25 days ago
2003
Springer
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
ACSD
2001
IEEE
13 years 11 months ago
2001
IEEE
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer