660 search results - page 65 / 132 » Timed automata based analysis of embedded system architectur... |
103
click to vote
ADAEUROPE
2008
Springer
15 years 4 months ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
Embedded systems are complex as a whole but consist of smaller independent modules minimally interacting with each other. This structure makes embedded systems amenable to composi...
CODES
2006
IEEE
15 years 3 months ago
2006
IEEE
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...
LCTRTS
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Previously published methods for estimation of the worstcase execution time on contemporary processors with complex pipelines and multi-level memory hierarchies result in...
SIGGRAPH
1999
ACM
15 years 2 months ago
1999
ACM
This paper describes VolumePro, the world’s first single-chip realtime volume rendering system for consumer PCs. VolumePro implements ray-casting with parallel slice-by-slice p...