1299 search results - page 20 / 260 » On the Correctness of Operating System Kernels |
113
Voted
OSDI
2008
ACM
16 years 2 months ago
2008
ACM
Multiprocessor application performance can be limited by the operating system when the application uses the operating system frequently and the operating system services use data ...
122
Voted
SIMPRA
1998
15 years 1 months ago
1998
Parallel discrete event simulation is a useful technique to improve performance of sequential discrete event simulation. We consider the Time Warp algorithm for asynchronous distr...
162
click to vote
MOBISYS
2005
ACM
16 years 1 months ago
2005
ACM
Sensor network nodes exhibit characteristics of both embedded systems and general-purpose systems. They must use little energy and be robust to environmental conditions, while als...
120
click to vote
IEEEARES
2009
IEEE
15 years 8 months ago
2009
IEEE
—Targeting the operating system kernel, the core of trust in a system, kernel rootkits are able to compromise the entire system, placing it under malicious control, while eluding...
108
click to vote
EUROSYS
2010
ACM
15 years 11 months ago
2010
ACM
We propose a mechanism that allows applications to survive operating system kernel crashes and continue functioning with no application data loss after a system reboot. This mecha...