1299 search results - page 30 / 260 » On the Correctness of Operating System Kernels |
144
click to vote
JVM
2004
15 years 5 months ago
2004
e a new operating system abstraction for partitioning systems, allowing multiple applications to run in isolation from each other on the same physical hardware. This isolation prev...
129
click to vote
SIGCSE
2010
ACM
15 years 10 months ago
2010
ACM
Students learn more through hands-on project experience for computer science courses such as operating systems, but providing the infrastructure support for a large class to learn...
123
Voted
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
— When robot maintenance impedes the operation of other robots in a seaport container terminal, the operational efficiency is reduced. Therefore, robot reliability is necessary....
124
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Kernel rootkits have posed serious security threats due to their stealthy manner. To hide their presence and activities, many rootkits hijack control flows by modifying control d...
166
click to vote
ASPLOS
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents the first analysis of operating system execution on a simultaneous multithreaded (SMT) processor. While SMT has been studied extensively over the past 6 years,...