1299 search results - page 101 / 260 » On the Correctness of Operating System Kernels |
198
click to vote
VEE
2012
ACM
14 years 1 days ago
2012
ACM
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...
142
click to vote
SOSP
2005
ACM
16 years 1 months ago
2005
ACM
We present a method for automatically extracting from a running system an indexable signature that distills the essential characteristic from a system state and that can be subjec...
147
click to vote
USENIX
2001
15 years 5 months ago
2001
While the virtual memory management in Linux 2.2 has decent performance for many workloads, it suffers from a number of problems. The first part of this paper contains a descripti...
128
click to vote
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
A human-robot interface system is under development that takes into account the
exibility of the DigitalDesk approach. The prototype consists of a projector subsystem for informa...
143
click to vote
AGENTS
1997
Springer
15 years 8 months ago
1997
Springer
Downsizing the number of operators controlling complex systems can increase the decision-making demands on remaining operators, particularly in crisis situations. An answer to thi...