1299 search results - page 62 / 260 » On the Correctness of Operating System Kernels |
155
click to vote
OSDI
2002
ACM
16 years 4 months ago
2002
ACM
We have created Zap, a novel system for transparent migration of legacy and networked applications. Zap provides a thin virtualization layer on top of the operating system that in...
172
click to vote
ACMMSP
2006
ACM
15 years 10 months ago
2006
ACM
Most operating systems enforce process isolation through hardware protection mechanisms such as memory segmentation, page mapping, and differentiated user and kernel instructions....
124
click to vote
SIGOPSE
2004
ACM
15 years 9 months ago
2004
ACM
Device drivers account for the majority of an operating system’s code base, and reuse of the existing driver infrastructure is a pragmatic requirement of any new OS project. New...
164
click to vote
FCCM
2006
IEEE
15 years 7 months ago
2006
IEEE
The Apriori algorithm is a fundamental correlation-based data mining kernel used in a variety of fields. The innovation in this paper is a highly parallel custom architecture impl...
140
click to vote
ASPLOS
2012
ACM
13 years 11 months ago
2012
ACM
Software developers commonly exploit multicore processors by building multithreaded software in which all threads of an application share a single address space. This shared addre...