1299 search results - page 61 / 260 » On the Correctness of Operating System Kernels |
145
click to vote
CACM
2010
15 years 4 months ago
2010
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
196
Voted
HPCA
2012
IEEE
13 years 11 months ago
2012
IEEE
Phase change memory (PCM) recently has emerged as a promising technology to meet the fast growing demand for large capacity memory in modern computer systems. In particular, multi...
132
click to vote
OSDI
1994
ACM
15 years 5 months ago
1994
ACM
Traditional le system implementations do not allow applications to control le caching replacement decisions. We have implemented two-level replacement, a scheme that allows appl...
142
click to vote
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
Heterogeneous systems, systems with multiple processors tailored for specialized tasks, are challenging programming environments. While it may be possible for domain experts to op...
147
click to vote
ENTCS
2002
15 years 3 months ago
2002
Digital signal processors provide specialized SIMD (single instruction multiple data) operations designed to dramatically increase performance in embedded systems. While these ope...