Sciweavers

32 search results - page 7 / 7
» Synchronous Design and Verification of Critical Embedded Sys...
Sort
View
ECAI
2008
Springer
15 years 5 months ago
A probabilistic analysis of diagnosability in discrete event systems
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...
Farid Nouioua, Philippe Dague
157
Voted
LCTRTS
2005
Springer
15 years 8 months ago
Cache aware optimization of stream programs
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...
Janis Sermulins, William Thies, Rodric M. Rabbah, ...