1299 search results - page 70 / 260 » On the Correctness of Operating System Kernels |
189
click to vote
HPCA
2002
IEEE
16 years 4 months ago
2002
IEEE
Power dissipation has become one of the most critical factors for the continued development of both high-end and low-end computer systems. The successful design and evaluation of ...
130
click to vote
SBCCI
2004
ACM
15 years 9 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
125
Voted
USS
2008
15 years 6 months ago
2008
Making vital disk data recoverable even in the event of OS compromises has become a necessity, in view of the increased prevalence of OS vulnerability exploits over the recent yea...
127
Voted
ICPP
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents Linux/SimOS, a Linux operating system port to SimOS, which is a complete machine simulator from Stanford. The motivation for Linux/SimOS is to alleviate the li...
109
click to vote
JSCIC
2007
15 years 4 months ago
2007
We present a new preconditioner for the iterative solution of linear systems of equations arising from discretizations of systems of first order partial differential equations (P...