A Backward/Forward recovery approach For the Preconditioned Conjugate Gradient Method
MassimilianoFasi JulienLangou YvesRobert BoraUçar Abstract Several recent papers have introduced a periodic verification mechanism to detect silent errors in iterative solvers. Chen (2013, pp. 167–176) has shown how to combine such a verification mechanism (a stability test checking the…