1299 search results - page 138 / 260 » On the Correctness of Operating System Kernels |
173
click to vote
EUROSYS
2007
ACM
16 years 1 months ago
2007
ACM
During concurrent I/O workloads, sequential access to one I/O stream can be interrupted by accesses to other streams in the system. Frequent switching between multiple sequential ...
142
click to vote
RTSS
2006
IEEE
15 years 10 months ago
2006
IEEE
In most operating systems, the handling of interrupts is typically performed within the address space of the kernel. Moreover, interrupt handlers are invoked asynchronously during...
141
click to vote
RAID
1999
Springer
15 years 9 months ago
1999
Springer
We approached this line of inquiry by questioning the conventional wisdom that audit logs are too large to be analyzed and must be reduced and filtered before the data can be anal...
134
Voted
MICRO
1999
IEEE
15 years 9 months ago
1999
IEEE
Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that ...
127
click to vote
AAAI
1996
15 years 6 months ago
1996
An important problem faced by auditors is gauging how much reliance can be placed on the accounting systems that process millions of transactions to produce the numbers summarized...