1299 search results - page 26 / 260 » On the Correctness of Operating System Kernels |
136
click to vote
CASES
2005
ACM
15 years 3 months ago
2005
ACM
Embedded systems often have severe power and energy constraints. Dynamic voltage scaling (DVS) is a mechanism by which energy consumption may be reduced. In this paper, we impleme...
131
click to vote
FAST
2010
15 years 4 months ago
2010
We introduce Membrane, a set of changes to the operating system to support restartable file systems. Membrane allows an operating system to tolerate a broad class of file system f...
114
click to vote
FAST
2008
15 years 4 months ago
2008
The reliability of file systems depends in part on how well they propagate errors. We develop a static analysis technique, EDP, that analyzes how file systems and storage device d...
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
CCGRID
2003
IEEE
15 years 7 months ago
2003
IEEE
As computing systems grow in complexity, the cluster and grid communities require more sophisticated tools to diagnose, debug and analyze such systems. We have developed a toolkit...