A Numerical Soft Fault Model for Iterative Linear Solvers.

James Elliott Mark Hoemmen Frank Mueller

Published in: HPDC (2015)

Keyphrases

fault model
gauss seidel
fault injection
finite difference
linear constraints
safety analysis
sensitivity analysis
search algorithm
computational complexity
sat solvers
numerically stable
fault models