Mariana Luderitz Kolberg, Márcio Dorn, Luiz Gustavo Fernandes, Gerd Bohlender. Parallel Verified Linear System Solver for Uncertain Input Data. In 20th International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2008, October 29 - November 1, 2008, Campo Grande, MS, Brazil. pages 89-96, IEEE Computer Society, 2008. [doi]
Abstract is missing.