1299 search results - page 18 / 260 » On the Correctness of Operating System Kernels |
86
Voted
SIGSOFT
2001
ACM
16 years 2 months ago
2001
ACM
Layered architecture in operating system code is often compromised by execution path-specific customizations such as prefetching, page replacement and scheduling strategies. Paths...
101
Voted
OSDI
1996
ACM
15 years 3 months ago
1996
ACM
Non-blocking synchronization has significant advantages over blocking synchronization: however, it has not been used to a significant degree in practice. We designed and implement...
119
click to vote
EUROSYS
2011
ACM
14 years 5 months ago
2011
ACM
We argue that controlling energy allocation is an increasingly useful and important feature for operating systems, especially on mobile devices. We present two new low-level ions ...
83
Voted
LCN
1997
IEEE
15 years 6 months ago
1997
IEEE
A vertically structured Operating System is one in which neither the “kernel” nor “servers” perform work on behalf of applications – the former because it exists only to...
118
click to vote
ENTCS
2008
15 years 1 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...