8022 search results - page 1193 / 1605 » Predictability in Critical Systems |
210
click to vote
FMCAD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
184
click to vote
DSN
2006
IEEE
15 years 11 months ago
2006
IEEE
Cyclic redundancy codes (CRCs) are widely used in network transmission and data storage applications because they provide better error detection than lighter weight checksum techn...
200
click to vote
ETS
2006
IEEE
15 years 11 months ago
2006
IEEE
Online repair through reconfiguration is a particularly advantageous approach in the nanoelectronic environment since reconfigurability is naturally supported by the devices. Howe...
181
click to vote
EUC
2006
Springer
15 years 11 months ago
2006
Springer
- Modern portable or embedded systems support more and more complex applications. These applications make embedded devices require not only low powerconsumption, but also high comp...
201
click to vote
EURONGI
2006
Springer
15 years 11 months ago
2006
Springer
Structured overlay networks is an important and interesting primitive that can be used by diverse peer-to-peer applications. Multiple overlays can result either because of network ...