1299 search results - page 167 / 260 » On the Correctness of Operating System Kernels |
179
click to vote
DSN
2011
IEEE
14 years 6 months ago
2011
IEEE
—One of the key benefits of using intrusion-tolerant systems is the possibility of ensuring correct behavior in the presence of attacks and intrusions. These security gains are ...
222
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
201
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we show that over the binary erasure channel, Quasi-Cyclic LDPC codes can efficiently accommodate the hybrid iterative/ML decoding. We demonstrate that the quasicycl...
177
click to vote
HICSS
2006
IEEE
16 years 12 days ago
2006
IEEE
Multimodal input is known to be advantageous for graphical user interfaces, but its benefits for non-visual interaction are unknown. To explore this issue, an exploratory study wa...
161
click to vote
BIOADIT
2004
Springer
15 years 11 months ago
2004
Springer
Conventional Difference of Gaussian (DOG) filter is usually used to model the early stage of visual processing. However, convolution operation used with DOG does not explicitly a...