660 search results - page 6 / 132 » Timed automata based analysis of embedded system architectur... |
EUROMICRO
2000
IEEE
13 years 11 months ago
2000
IEEE
We propose a design flow for low-power and low-cost, data-dominated, embedded systems which tightly integrate different technologies and architectures. We use Mathworks’ Simuli...
ICCAD
1997
IEEE
13 years 10 months ago
1997
IEEE
FORMATS
2003
Springer
13 years 12 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
EUROMICRO
2009
IEEE
13 years 10 months ago
2009
IEEE
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
ICIAP
1999
ACM
13 years 11 months ago
1999
ACM
Real-world tasks often require real-time performances. However, in many practical cases, “just in time” responses are sufficient. This means that a system should be efficien...