KOLBERG, Mariana; 						DORN, Márcio; 						FERNANDES, Luiz Gustavo; 						BOHLENDER, Gerd.
 Parallel Verified Linear System Solver for Uncertain Input Data. <em>In</em>: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 20.	, 2008, Campo Grande/MS.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2008
.
 p. 89-96.