1299 search results - page 15 / 260 » On the Correctness of Operating System Kernels |
147
click to vote
SYSTOR
2010
ACM
15 years 6 months ago
2010
ACM
Operating system (OS) virtualization can provide a number of important benefits, including transparent migration of applications, server consolidation, online OS maintenance, and...
89
Voted
USENIX
1994
15 years 3 months ago
1994
The NetWare operating system is designed specifically to provide service to clients over a computer network. This design has resulted in a system that differs in several respects ...
107
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper investigates the sensitivity of real-time systems running applications under operating systems that are subject to soft-errors. We consider applications using different...
120
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 5 months ago
2006
Springer
Exception handling is a powerful abstraction that can be used to help manage errors and support the construction of reliable operating systems. Using exceptions to notify system co...
138
click to vote
SIGCSE
2012
ACM
13 years 9 months ago
2012
ACM
The computing landscape is shifting towards mobile devices. To learn about operating systems, it is increasingly important for students to gain hands-on kernel programming experie...