eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Dagstuhl Seminar Proceedings
1862-4405
2008-04-22
1
5
10.4230/DagSemProc.08021.13
article
Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation
Kolberg, Mariana
Bohlender, Gerd
Claudio, Dalcidio
A parallel version of the self-verified method for solving linear systems
was presented on PARA and VECPAR conferences in 2006. 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 very 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.
https://drops.dagstuhl.de/storage/16dagstuhl-seminar-proceedings/dsp-vol08021/DagSemProc.08021.13/DagSemProc.08021.13.pdf
Linear systems
result verification
parallel computing