Kolberg, M., 		Dorn, M., 		Fernandes, L., & 		Bohlender, G.
(2008).
 Parallel Verified Linear System Solver for Uncertain Input Data.
In <em>Proceedings of the 20th International Symposium on Computer Architecture and High Performance Computing</em>, (pp. 89-96). Porto Alegre: SBC.