660 search results - page 6 / 132 » Timed automata based analysis of embedded system architectur... |
EUROMICRO
2000
IEEE
15 years 2 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
15 years 1 months ago
1997
IEEE
102
Voted
FORMATS
2003
Springer
15 years 2 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
15 years 1 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...
121
click to vote
ICIAP
1999
ACM
15 years 1 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...