M. Baboulin, L. Giraud, and S. Gratton, A parallel distributed solver for large dense symmetric systems: applications to geodesy and electromagnetism problems Preliminary version of an article published in Int, CERFACS J. High Speed Computing, vol.16, issue.19 4, pp.353-363, 2004.

G. Bohlender, What Do We Need Beyond IEEE Arithmetic? Computer Arithmetic and Selfvalidating Numerical Methods, 1990.

G. Bohlender, M. Kolberg, and D. Claudio, Modifications to Expression Evaluation in C- XSC, 2005.

J. G. Booten, P. M. Meijer, H. J. Te-riele, H. A. Van, and . Vorst, Parallel Arnoldi method for the construction of a Krylov subspace basis: An application in magnetohydrodynamics, II: Networking and ToolsProceedings of the International Conference and Exhibition on High-Performance Computing and Networking, 1994.
DOI : 10.1007/3-540-57981-8_116

D. R. Butenhof, Programming with POSIX threads, 1997.

J. J. Dongarra, J. Du-croz, I. S. Duff, and S. Hammarling, A set of level 3 basic linear algebra subprograms, ACM Transactions on Mathematical Software, vol.16, issue.1, pp.1-17, 1990.
DOI : 10.1145/77626.79170

R. Hammer, D. Ratz, U. Kulisch, and M. Hocks, C++ Toolbox for Verified Scientific Computing I: Basic Numerical Problems, 1997.

C. A. Hölbig, P. S. Morandi-júnior, B. F. Alcalde, and T. A. Diverio, Selfverifying Solvers for Linear Systems of Equations in C-XSC, Proceedings of Parallel and Distributted Programming (PPAM), pp.292-297, 2004.

C. A. Hölbig, W. Krämer, and T. A. Diverio, An Accurate and Efficient Selfverifying Solver for Systems with Banded Coefficient Matrix, Proceedings of Parallel Computing (PARCO), pp.283-290, 2003.

W. Kahan, Lecture notes on the status of IEEE standard 754 for binary floating-point arithmetic, 1996.

M. Kolberg, L. Baldo, P. Velho, L. F. Fernandes, and D. Claudio, Optimizing a Parallel Self-verified Method for Solving Linear Systems, Lecture Notes in Computer Science: Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, pp.949-955, 2006.
DOI : 10.1007/978-3-540-75755-9_112

M. Kolberg, L. Baldo, P. Velho, T. Webber, L. F. Fernandes et al., Parallel Selfverified Method for Solving Linear Systems, th VECPAR -International Meeting on High Performance Computing for Computational Science, 2006.

M. Kolberg, L. F. Fernandes, and D. Claudio, Dense Linear System: A Parallel Self-verified Solver, International Journal of Parallel Programming, vol.20, issue.7, 2007.
DOI : 10.1007/s10766-007-0058-x

U. W. Kulisch and W. L. Miranker, Computer Arithmetic in Theory and Practice, 1981.

R. Love, Kernel korner: CPU affinity, Linux Journal, issue.111, p.8, 2003.

T. Ogita, S. M. Rump, and S. Oishi, Accurate Sum and Dot Product, SIAM Journal on Scientific Computing, vol.26, issue.6, pp.1955-1988, 2005.
DOI : 10.1137/030601818
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.1547

S. Oishi, Fast enclosure of matrix eigenvalues and singular values via rounding mode controlled computation, Linear Algebra and its Applications, vol.324, issue.1-3, pp.133-146, 2001.
DOI : 10.1016/S0024-3795(00)00272-X

S. Rump, INTLAB ??? INTerval LABoratory, Developments in Reliable Computing, pp.77-104, 1998.
DOI : 10.1007/978-94-017-1247-7_7

S. Rump, Fast and Parallel Interval Arithmetic, Bit Numerical Mathematics, vol.39, issue.3, pp.534-554, 1999.
DOI : 10.1023/A:1022374804152

S. M. Rump, Kleine Fehlerschranken bei Matrixproblemen, 1980.

P. Stpiczynski and M. Paprzycki, Numerical Software for Solving Dense Linear Algebra Problems on High Performance Computers, Proceedings of the 4th International Conference APLIMAT 2005, pp.207-218, 2005.

L. Valiant, A bridging model for parallel computation, Communications of the ACM, vol.33, issue.8, pp.103-111, 1990.
DOI : 10.1145/79173.79181

S. R. Vangal, J. Howard, G. Ruhl, S. Dighe, H. Wilson et al., An 80-tile sub-100-w teraflops processor in 65-nm cmos. Solid-State Circuits, IEEE Journal, vol.43, issue.1, pp.29-41, 2008.

J. Zhang and C. Maple, Parallel solutions of large dense linear systems using mpi. parelec, p.312, 2002.