447 search results - page 88 / 90 » Embedded Software Analysis with MOTOR |
168
click to vote
CASES
2009
ACM
16 years 27 days ago
2009
ACM
Solid State Disks (SSDs) are superior to magnetic disks from a performance point of view due to the favorable features of NAND flash memory. Furthermore, thanks to improvement on...
163
Voted
EMSOFT
2007
Springer
16 years 16 days ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...
211
Voted
ECRTS
2006
IEEE
16 years 13 days ago
2006
IEEE
Cache memories have been extensively used to bridge the gap between high speed processors and relatively slower main memories. However, they are sources of predictability problems...
166
click to vote
CASES
2006
ACM
16 years 10 days ago
2006
ACM
The architectural design of embedded systems is becoming increasingly idiosyncratic to meet varying constraints regarding energy consumption, code size, and execution time. Tradit...
164
Voted
PPOPP
2005
ACM
15 years 12 months ago
2005
ACM
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...