1299 search results - page 100 / 260 » On the Correctness of Operating System Kernels |
130
click to vote
NSDI
2007
15 years 6 months ago
2007
Byzantine fault tolerant systems behave correctly when no more than f out of 3f + 1 replicas fail. When there are more than f failures, traditional BFT protocols make no guarantee...
133
click to vote
BC
2002
15 years 4 months ago
2002
The operation of a hierarchical competitive network model (VisNet) of invariance learning in the visual system is investigated to determine how this class of architecture can solve...
158
click to vote
DFT
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper, a simple codec algorithm based on Reed-Solomon (RS) codes is proposed for erasure correcting in RAID (Redundant Array of Independent Disks) level 6 systems. Unlike ...
143
click to vote
OSDI
2002
ACM
16 years 4 months ago
2002
ACM
Structured peer-to-peer overlay networks provide a substrate for the construction of large-scale, decentralized applications, including distributed storage, group communication, a...
166
click to vote
JAIR
2008
15 years 4 months ago
2008
Experience in the physical sciences suggests that the only realistic means of understanding complex systems is through the use of mathematical models. Typically, this has come to ...