License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-14386
URL: http://drops.dagstuhl.de/opus/volltexte/2008/1438/
Go to the corresponding Portal


Kolberg, Mariana ; Bohlender, Gerd ; Claudio, Dalcidio

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

pdf-format:
Document 1.pdf (166 KB)


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.

BibTeX - Entry

@InProceedings{kolberg_et_al:DSP:2008:1438,
  author =	{Mariana Kolberg and Gerd Bohlender and Dalcidio Claudio},
  title =	{Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation},
  booktitle =	{Numerical Validation in Current Hardware Architectures},
  year =	{2008},
  editor =	{Annie Cuyt and Walter Kr{\"a}mer and Wolfram Luther and Peter Markstein},
  number =	{08021},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2008/1438},
  annote =	{Keywords: Linear systems, result verification, parallel computing}
}

Keywords: Linear systems, result verification, parallel computing
Seminar: 08021 - Numerical Validation in Current Hardware Architectures
Issue Date: 2008
Date of publication: 22.04.2008


DROPS-Home | Fulltext Search | Imprint Published by LZI