1299 search results - page 5 / 260 » On the Correctness of Operating System Kernels |
ASPLOS
2009
ACM
15 years 6 months ago
2009
ACM
We describe a strategy for enabling existing commodity operating systems to recover from unexpected run-time errors in nearly any part of the kernel, including core kernel compone...
EUROSYS
2008
ACM
15 years 8 months ago
2008
ACM
The basic system timer facilities used by applications and OS kernels for scheduling timeouts and periodic activities have remained largely unchanged for decades, while hardware a...
DICS
2006
15 years 1 months ago
2006
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
IJCSA
2007
14 years 11 months ago
2007
The paper presents results of experimental dependability evaluation of the Phoenix-RTOS operating system. Experiments are conducted using a self-developed testing environment and ...
104
click to vote
SOSP
1989
ACM
15 years 25 days ago
1989
ACM
The Synthesis operating system kernel combines several techniques to provide high performa.nce, incl1iding kernel code synthesis, fine-gra.in scheduling. and optimistic sylicllrol...