No. 02 (2010): Mixed Precision Error Correction Methods for Linear Systems: Convergence Analysis based on Krylov Subspace Methods