1299 search results - page 14 / 260 » On the Correctness of Operating System Kernels |
117
Voted
SOSP
2003
ACM
15 years 10 months ago
2003
ACM
Despite decades of research in extensible operating system technology, extensions such as device drivers remain a significant cause of system failures. In Windows XP, for example,...
107
Voted
EMSOFT
2001
Springer
15 years 6 months ago
2001
Springer
: Run-time executives and operating system kernels for embedded systems have long relied exclusively on static priority scheduling of tasks to ensure timing constraints and other c...
122
click to vote
AINA
2007
IEEE
15 years 8 months ago
2007
IEEE
Malware and rootkits are serious security vulnerabilities, and they can be designed to be resistant to anti-viral software, or even totally undetectable. This paper described a hi...
110
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
High-performance computing clusters running longlived tasks currently cannot have kernel software updates applied to them without causing system downtime. These clusters miss oppo...
101
click to vote
USENIX
1996
15 years 3 months ago
1996
The current trend in operating systems research is to allow applications to dynamically extend the kernel to improve application performance or extend functionality, but the most ...