32 search results - page 7 / 7 » Synchronous Design and Verification of Critical Embedded Sys... |
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper shows that we can take advantage of information about the probabilities of the occurrences of events, when this information is available, to refine the classic...
LCTRTS
2005
Springer
14 years 25 days ago
2005
Springer
Effective use of the memory hierarchy is critical for achieving high performance on embedded systems. We focus on the class of streaming applications, which is increasingly preval...