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

Authors Mariana Kolberg, Gerd Bohlender, Dalcidio Claudio



PDF
Thumbnail PDF

File

DagSemProc.08021.13.pdf
  • Filesize: 165 kB
  • 5 pages

Document Identifiers

Author Details

Mariana Kolberg
Gerd Bohlender
Dalcidio Claudio

Cite AsGet BibTex

Mariana Kolberg, Gerd Bohlender, and Dalcidio Claudio. Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
https://doi.org/10.4230/DagSemProc.08021.13

Abstract

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.
Keywords
  • Linear systems
  • result verification
  • parallel computing

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail