Login / Signup
Which Verification for Soft Error Detection?
Leonardo Bautista-Gomez
Anne Benoit
Aurélien Cavelan
Saurabh K. Raina
Yves Robert
Hongyang Sun
Published in:
HiPC (2015)
Keyphrases
</>
error detection
error correction
error recovery
data cleansing
error correcting
fault tolerance
error resilient
error control
fault isolation
model checking
face verification
formal verification
magnetic tape
verification method
multi agent
fault tolerant
data sources