206 citations · 805 across the 35 of their papers we have counts for
1 paper · 2 filters
Massimiliano Fasi, Julien Langou, Yves Robert +1
Several recent papers have introduced a periodic verification mechanism to detect silent errors in iterative solvers. Chen [PPoPP'13, pp. 167--176] has shown how to combine such a…