Kolberg, Mariana, Dorn, Márcio, Fernandes, Luiz, AND Bohlender, Gerd. " Parallel Verified Linear System Solver for Uncertain Input Data" Proceedings of the International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) [Online], (29 October 2008)