1299 search results - page 51 / 260 » On the Correctness of Operating System Kernels |
164
Voted
WOSP
2004
ACM
15 years 9 months ago
2004
ACM
The simulated evaluation of memory management policies relies on reference traces—logs of memory operations performed by running processes. No existing approach to reference tra...
130
click to vote
CJ
2004
15 years 3 months ago
2004
Digital signatures have been proposed by several researchers as a way of preventing execution of malicious code. In this paper we propose a general architecture for performing the...
100
click to vote
JAT
2006
15 years 4 months ago
2006
We give an explicit parametrization of a set of almost periodic CMV matrices whose spectrum (is equal to the absolute continuous spectrum and) is a homogenous set E lying on the u...
138
click to vote
KDD
2005
ACM
16 years 4 months ago
2005
ACM
Development of advanced anomaly detection and failure diagnosis technologies for spacecraft is a quite significant issue in the space industry, because the space environment is ha...
158
click to vote
ACSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper discusses a potential security issue in common operating system and application environments regarding dynamically attached devices and device interfaces. A set of coun...