2 citations · 7 across the 6 of their papers we have counts for
1 paper · 1 filter
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…