1299 search results - page 64 / 260 » On the Correctness of Operating System Kernels |
125
Voted
ICPPW
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper explores several systems issues regarding the implementation of routing protocols for mobile ad-hoc networks. It proclaims that support for on-demand routing is insuf...
133
click to vote
USENIX
2008
15 years 6 months ago
2008
Code sandboxing is useful for many purposes, but most sandboxing techniques require kernel modifications, do not completely isolate guest code, or incur substantial performance co...
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A , for service engineers to writ...
126
click to vote
ATC
2006
Springer
15 years 7 months ago
2006
Springer
Self-healing relies on correct diagnosis of system malfunctioning. This paper presents a use-case based approach to self-diagnosis. Both a static and a dynamic model of a managed-s...
142
click to vote
VEE
2010
ACM
15 years 11 months ago
2010
ACM
Not all operating systems are created equal. Contrasting traditional monolithic kernels, there is a class of systems called microkernels more prevalent in embedded systems like ce...