Kolberg, M., 		Dorn, M., 		Fernandes, L., & 		Bohlender, G.
2008 out 29.  Parallel Verified Linear System Solver for Uncertain Input Data. Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). [Online] :