Resilience algorithms to cope with silent errors for HPC applications.
Characterization of optimal patterns using partial error detectors.
Imprecise detectors offer limited usefulness.
Optimization problem is NP-complete with multiple detector types.
Construction of an FPTAS and a greedy approximation algorithm.