1299 search results - page 52 / 260 » On the Correctness of Operating System Kernels |
148
click to vote
IWNAS
2008
IEEE
15 years 10 months ago
2008
IEEE
To protect data and recover data in case of failures, Linux operating system has built-in MD device that implements RAID architectures. Such device can recover data in case of sin...
151
click to vote
CSREAESA
2010
15 years 2 months ago
2010
Component-based operating systems enable embedded systems to adapt system policies, mechanisms, and abstractions to the specific workloads and contexts of each system. The scope o...
125
click to vote
HOTOS
2007
IEEE
15 years 8 months ago
2007
IEEE
Commodity operating systems achieve good performance by running device drivers in-kernel. Unfortunately, this architecture offers poor fault isolation. This paper introduces micro...
135
click to vote
ISPASS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Developing CPU scheduling algorithms and understanding their impact in practice can be difficult and time consuming due to the need to modify and test operating system ...
253
click to vote
FAST
2011
14 years 7 months ago
2011
We present Anticipatory Memory Allocation (AMA), a new method to build kernel code that is robust to memoryallocation failures. AMA avoids the usual difficulties in handling allo...