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