1299 search results - page 207 / 260 » On the Correctness of Operating System Kernels |
171
click to vote
VLSID
2006
IEEE
16 years 6 months ago
2006
IEEE
Logarithmic Number Systems (LNS) offer a viable alternative in terms of area, delay and power to binary number systems for multiplication and division operations in signal process...
151
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
122
click to vote
ISW
2009
Springer
16 years 4 days ago
2009
Springer
A nonce is a cryptographic input value which must never repeat within a given context. Nonces are important for the security of many cryptographic building blocks, such as stream c...
156
click to vote
CISS
2008
IEEE
16 years 2 days ago
2008
IEEE
Abstract—To achieve higher reliability, safety, and faulttolerance, many mission-critical detection and decision systems implement consensus algorithms that force the systems’ ...
171
click to vote
INFOCOM
2008
IEEE
16 years 11 hour ago
2008
IEEE
—We argue that the traditional notion of trust as a relation among entities, while useful, becomes insufficient for emerging data-centric mobile ad hoc networks. In these system...