Bi-Source Verification Against Silent Data Corruption in High Performance Computing.

Era Ajdaraga Krluku Marjan Gusev Vladimir Zdraveski

Published in: BCI (2019)

Keyphrases

high performance computing
data corruption
scientific computing
massively parallel
computational science
computing resources
grid computing
parallel computing
formal methods
energy efficiency
computing systems
fault tolerance
computing environments
model checking
information systems
virtual memory
fault tolerant