1299 search results - page 31 / 260 » On the Correctness of Operating System Kernels |
150
click to vote
OSDI
2006
ACM
16 years 4 months ago
2006
ACM
Operating systems are complex and their behavior depends on many factors. Source code, if available, does not directly help one to understand the OS's behavior, as the behavi...
161
click to vote
USENIX
1994
15 years 5 months ago
1994
TreadMarks is a distributed shared memory DSM system for standard Unix systems such as SunOS and Ultrix. This paper presents a performance evaluation of TreadMarks running on Ultr...
172
click to vote
CSREAESA
2006
15 years 5 months ago
2006
- In recent years, there has been a rapid and wide spread proliferation of non-traditional embedded computing platforms such as digital camcorders, cellular phones, and portable me...
230
Voted
SOSP
2007
ACM
16 years 25 days ago
2007
ACM
We propose SecVisor, a tiny hypervisor that ensures code integrity for commodity OS kernels. In particular, SecVisor ensures that only approved code can execute in kernel mode ove...
136
click to vote
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a multilevel (ML) Flash memory onchip error correction system design based on the concept of trellis coded modulation (TCM). This is motivated by the non-trivi...