No. 01 (2010): An Error Correction Solver for Linear Systems: Evaluation of Mixed Precision Implementations