1299 search results - page 10 / 260 » On the Correctness of Operating System Kernels |
EDCC
2006
Springer
15 years 3 months ago
2006
Springer
It has been well established that most operating system crashes are due to bugs in device drivers. Because drivers are normally linked into the kernel address space, a buggy drive...
114
click to vote
USENIX
1990
15 years 26 days ago
1990
This paper evaluates several hardware platforms and operating systems using a set of benchmarks that stress kernel entry/exit, file systems, and other things related to operating ...
AIIA
2007
Springer
15 years 3 months ago
2007
Springer
One of the aims of modern Bioinformatics is to discover the molecular mechanisms that rule the protein operation. This would allow us to understand the complex processes involved i...
100
click to vote
SOSP
2005
ACM
15 years 8 months ago
2005
ACM
Speculator provides Linux kernel support for speculative execution. It allows multiple processes to share speculative state by tracking causal dependencies propagated through inte...
USENIX
2003
15 years 1 months ago
2003
Traditionally, UNIX operating systems have been equipped with monolithic network stack implementations,