16725 search results - page 2914 / 3345 » Engineering Software Correctness |
206
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Device scaling trends dramatically increase the susceptibility of microprocessors to soft errors. Further, mounting demand for embedded microprocessors in a wide array of safety c...
194
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Probabilistic arithmetic, where the ith output bit of addition and multiplication is correct with a probability pi, is shown to be a vehicle for realizing extremely energy-efficie...
180
click to vote
CASES
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we introduce Resizable Data Composer-Cache (RDC-Cache). This novel cache architecture operates correctly at sub 500 mV in 65 nm technology tolerating large number of...
199
click to vote
USENIX
2008
15 years 9 months ago
2008
Continuous memory leaks severely hurt program performance and software availability for garbage-collected programs. This paper presents a safe method, called LeakSurvivor, to tole...
172
click to vote
WOTUG
2007
15 years 8 months ago
2007
Abstract. Operating-systems are the core software component of many modern computer systems, ranging from small specialised embedded systems through to large distributed operating-...