1299 search results - page 21 / 260 » On the Correctness of Operating System Kernels |
95
Voted
DSN
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes an experimental study of Linux kernel behavior in the presence of errors that impact the instruction stream of the kernel code. Extensive error injection exper...
110
Voted
OSDI
1996
ACM
15 years 3 months ago
1996
ACM
Today's extensible operating systems allow applications to modify kernel behavior by providing mechanisms for application code to run in the kernel address space. The advanta...
103
click to vote
SOSP
2009
ACM
15 years 10 months ago
2009
ACM
Helios is an operating system designed to simplify the task of writing, deploying, and tuning applications for heterogeneous platforms. Helios introduces satellite kernels, which ...
100
click to vote
CCS
2005
ACM
15 years 7 months ago
2005
ACM
We present a technique for automatic placement of authorization hooks, and apply it to the Linux security modules (LSM) framework. LSM is a generic framework which allows diverse ...
132
Voted
ECCTD
2011
14 years 1 months ago
2011
Abstract—In this paper, a low complexity algorithm for the design of a time-varying correction filter of finite impulse response (FIR) type is presented. Using the obtained fi...