1299 search results - page 139 / 260 » On the Correctness of Operating System Kernels |
161
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
We revisit the device-driver architecture supported by the majority of operating systems, where a driver is a passive object that does not have its own thread of control and is on...
146
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
134
click to vote
MCS
2007
Springer
15 years 10 months ago
2007
Springer
A biometric system produces a matching score representing the degree of similarity of the input with the set of templates for that user. If the score is greater than a prefixed th...
144
click to vote
SRDS
2000
IEEE
15 years 9 months ago
2000
IEEE
The concept of unreliable failure detector was introduced by Chandra and Toueg [2] as a mechanism that provides information about process failures. Depending on the properties the...
138
click to vote
HOTOS
2007
IEEE
15 years 8 months ago
2007
IEEE
We propose a new concurrent programming model, Automatic Mutual Exclusion (AME). In contrast to lock-based programming, and to other programming models built over software transac...