1299 search results - page 197 / 260 » On the Correctness of Operating System Kernels |
176
click to vote
IISWC
2009
IEEE
16 years 29 days ago
2009
IEEE
—In the era of multi-core, computer vision has emerged as an exciting application area which promises to continue to drive the demand for both more powerful and more energy effi...
161
click to vote
USENIX
2008
15 years 8 months ago
2008
Conventional prefetching schemes regard prediction accuracy as important because useless data prefetched by a faulty prediction may pollute the cache. If prefetching requires cons...
173
click to vote
CLUSTER
1999
IEEE
15 years 6 months ago
1999
IEEE
Efficient data storage, a major concern in the modern computer industry, is mostly provided today by the the traditional magnetic disk. Unfortunately the cost of a disk transfer m...
179
click to vote
MICRO
2009
IEEE
16 years 28 days ago
2009
IEEE
Voltage scaling is one of the most effective mechanisms to reduce microprocessor power consumption. However, the increased severity of manufacturing-induced parameter variations a...
164
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...