1299 search results - page 57 / 260 » On the Correctness of Operating System Kernels |
147
click to vote
SRDS
1997
IEEE
15 years 8 months ago
1997
IEEE
Transaction processing systems are judged by users to be correctly functioning not only if their transactions are executed correctly, but also if most of them are completed within...
142
click to vote
AIR
2004
15 years 4 months ago
2004
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
122
click to vote
SOSP
2009
ACM
16 years 29 days ago
2009
ACM
We describe Neutron, a version of the TinyOS operating system that efficiently recovers from memory safety bugs. Where existing schemes reboot an entire node on an error, Neutron...
120
click to vote
PAMI
2008
15 years 4 months ago
2008
In this paper, we develop a spatially-variant (SV) mathematical morphology theory for gray-level signals and images in the euclidean space. The proposed theory preserves the geomet...
122
click to vote
SOSP
1993
ACM
15 years 5 months ago
1993
ACM
The Logical Disk (LD) defines a new interface to disk storage that separates file management and disk management by using logical block numbers and block lists. The LD interface...