898 search results - page 61 / 180 » Comparing high-level modeling approaches for embedded system... |
127
click to vote
JTRES
2010
ACM
15 years 1 days ago
2010
ACM
In order to guarantee that real-time systems meet their timing specification, static execution time bounds need to be calculated. Not considering execution time predictability led...
IMC
2006
ACM
15 years 5 months ago
2006
ACM
Several models have been recently proposed for predicting the latency of end to end Internet paths. These models treat the Internet as a black-box, ignoring its internal structure...
103
click to vote
RE
1997
Springer
15 years 4 months ago
1997
Springer
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...
105
click to vote
IEEECIT
2005
IEEE
15 years 5 months ago
2005
IEEE
In embedded systems, performance and power are important inter-related issues that cannot be decoupled. Expensive and extensive simulations in a processor design space are usually...
FAC
2008
14 years 12 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...