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 As Get 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.

Subject Classification

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