Mariana Kolberg, Márcio Dorn, Luiz Fernandes, and Gerd Bohlender. 2008. Parallel Verified Linear System Solver for Uncertain Input Data. In Proceedings of the 20th International Symposium on Computer Architecture and High Performance Computing, October 29, 2008, Campo Grande/MS, Brasil. SBC, Porto Alegre, Brasil, 89-96.