Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation

Abstract. A parallel version of the self-verified method for solving linear systems was presented in [19, 18]. In this research we propose improvements aiming at a better performance. The idea is to implement an algorithm that uses technologies as MPI communication primitives associated to libraries as LAPACK, BLAS and C-XSC, aiming to provide both self-verification and speed-up at the same time. The algorithms should find an enclosure even for ill-conditioned problems. In this scenario, a parallel version of a self-verified solver for dense linear systems appears to be essential in order to solve bigger problems. Moreover, the major goal of this research is to provide a free, fast, reliable and accurate solver for dense linear systems.

• Type: Conference
• Year: 2008
• Where: DAGSTUHL
• Authors: Mariana Luderitz Kolberg, Gerd Bohlender, Dalcidio Moraes Claudio
• Keywords: DAGSTUHL 2008, Dense Linear Systems, Linear Systems, Parallel Version, Software Engineering