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

A parallel version of the self-verified method for solving linear systems was presented in [20, 21]. 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...

Full description

Saved in:
Bibliographic Details
Published inHigh Performance Computing for Computational Science - VECPAR 2008 pp. 13 - 26
Main Authors Kolberg, Mariana, Bohlender, Gerd, Claudio, Dalcidio
Format Book Chapter
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2008
SeriesLecture Notes in Computer Science
Subjects
Numerical algorithms for CS&E
Parallel or Distributed Computation and Cluster Computation
Online AccessGet full text
ISBN3540928588
9783540928584
ISSN0302-9743
1611-3349
DOI10.1007/978-3-540-92859-1_3

Cover

Abstract A parallel version of the self-verified method for solving linear systems was presented in [20, 21]. 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.
AbstractList A parallel version of the self-verified method for solving linear systems was presented in [20, 21]. 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.
Author Bohlender, Gerd
Kolberg, Mariana
Claudio, Dalcidio
Author_xml – sequence: 1
  givenname: Mariana
  surname: Kolberg
  fullname: Kolberg, Mariana
  email: mkolberg@inf.pucrs.br
  organization: Pontifícia Universidade Católica do Rio Grande do Sul, PPGCC, Porto Alegre, Brazil
– sequence: 2
  givenname: Gerd
  surname: Bohlender
  fullname: Bohlender, Gerd
  email: bohlender@math.uka.de
  organization: Institut für Angewandte und Numerische Mathematik, Universität Karlsruhe, Karlsruhe, Germany
– sequence: 3
  givenname: Dalcidio
  surname: Claudio
  fullname: Claudio, Dalcidio
  email: dalcidio@inf.pucrs.br
  organization: Pontifícia Universidade Católica do Rio Grande do Sul, PPGCC, Porto Alegre, Brazil
BookMark eNpFkF1LwzAUhqNOcJv7Bd7kD0RzkqZNLmX4MRhsMOdtSNtEo21Tkiror7ebgufm5Xy9vDwzNOlCZxG6AnoNlBY3qpCEE5FRopgUioDmJ2jGx8Gxz0_RFHIAwnmmzv4XUk7QlHLKiCoyfoEWKb3RsThIoNkUhVXbx_Dpuxc8vFq8tdGF2Jqusjg4bPCzjd55W-O176yJePeVBtviXWg-bcT7dHjc9INv_ffxqIwmepuw6Wq8NdE0jW3wMrT9x2AGH7pLdO5Mk-ziT-dof3_3tHwk683Danm7JgmAcWIqUXJgkMm6rEFwOcZ1roJcgTI5L0DUTDFKWSFsUQqTUckqU-ZlboSrRM7nCH59Ux_HjDbqMoT3pIHqA0494tRcj5D0EZ8ecfIfb5tmFg
ContentType Book Chapter
Copyright Springer-Verlag Berlin Heidelberg 2008
Copyright_xml – notice: Springer-Verlag Berlin Heidelberg 2008
DOI 10.1007/978-3-540-92859-1_3
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 3540928596
9783540928591
EISSN 1611-3349
Editor Daydé, Michel
Palma, José M. Laginha M.
Mattoso, Marta
Amestoy, Patrick R.
Lopes, João Correia
Editor_xml – sequence: 1
  givenname: José M. Laginha M.
  surname: Palma
  fullname: Palma, José M. Laginha M.
  email: jpalma@fe.up.pt
– sequence: 2
  givenname: Patrick R.
  surname: Amestoy
  fullname: Amestoy, Patrick R.
  email: amestoy@enseeiht.fr
– sequence: 3
  givenname: Michel
  surname: Daydé
  fullname: Daydé, Michel
  email: michel.dayde@enseeiht.fr
– sequence: 4
  givenname: Marta
  surname: Mattoso
  fullname: Mattoso, Marta
  email: marta@cos.ufrj.br
– sequence: 5
  givenname: João Correia
  surname: Lopes
  fullname: Lopes, João Correia
  email: jlopes@fe.up.pt
EndPage 26
GroupedDBID -DT
-GH
-~X
1SB
29L
2HA
2HV
5QI
875
AASHB
ABMNI
ACGFS
ADCXD
AEFIE
ALMA_UNASSIGNED_HOLDINGS
EJD
F5P
FEDTE
HVGLF
LAS
LDH
P2P
RIG
RNI
RSU
SVGTG
VI1
~02
ID FETCH-LOGICAL-s1123-ac5b312148dbd1538181ffc16919a63715d29200275e7b5a4082cab6b6a5fc563
ISBN 3540928588
9783540928584
ISSN 0302-9743
IngestDate Tue Jul 29 19:52:13 EDT 2025
IsPeerReviewed false
IsScholarly false
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-s1123-ac5b312148dbd1538181ffc16919a63715d29200275e7b5a4082cab6b6a5fc563
PageCount 14
ParticipantIDs springer_books_10_1007_978_3_540_92859_1_3
PublicationCentury 2000
PublicationDate 2008
PublicationDateYYYYMMDD 2008-01-01
PublicationDate_xml – year: 2008
  text: 2008
PublicationDecade 2000
PublicationPlace Berlin, Heidelberg
PublicationPlace_xml – name: Berlin, Heidelberg
PublicationSeriesTitle Lecture Notes in Computer Science
PublicationSubtitle 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers
PublicationTitle High Performance Computing for Computational Science - VECPAR 2008
PublicationYear 2008
Publisher Springer Berlin Heidelberg
Publisher_xml – name: Springer Berlin Heidelberg
RelatedPersons Kleinberg, Jon M.
Mattern, Friedemann
Nierstrasz, Oscar
Steffen, Bernhard
Kittler, Josef
Vardi, Moshe Y.
Weikum, Gerhard
Sudan, Madhu
Naor, Moni
Mitchell, John C.
Terzopoulos, Demetri
Pandu Rangan, C.
Kanade, Takeo
Hutchison, David
Tygar, Doug
RelatedPersons_xml – sequence: 1
  givenname: David
  surname: Hutchison
  fullname: Hutchison, David
– sequence: 2
  givenname: Takeo
  surname: Kanade
  fullname: Kanade, Takeo
– sequence: 3
  givenname: Josef
  surname: Kittler
  fullname: Kittler, Josef
– sequence: 4
  givenname: Jon M.
  surname: Kleinberg
  fullname: Kleinberg, Jon M.
– sequence: 5
  givenname: Friedemann
  surname: Mattern
  fullname: Mattern, Friedemann
– sequence: 6
  givenname: John C.
  surname: Mitchell
  fullname: Mitchell, John C.
– sequence: 7
  givenname: Moni
  surname: Naor
  fullname: Naor, Moni
– sequence: 8
  givenname: Oscar
  surname: Nierstrasz
  fullname: Nierstrasz, Oscar
– sequence: 9
  givenname: C.
  surname: Pandu Rangan
  fullname: Pandu Rangan, C.
– sequence: 10
  givenname: Bernhard
  surname: Steffen
  fullname: Steffen, Bernhard
– sequence: 11
  givenname: Madhu
  surname: Sudan
  fullname: Sudan, Madhu
– sequence: 12
  givenname: Demetri
  surname: Terzopoulos
  fullname: Terzopoulos, Demetri
– sequence: 13
  givenname: Doug
  surname: Tygar
  fullname: Tygar, Doug
– sequence: 14
  givenname: Moshe Y.
  surname: Vardi
  fullname: Vardi, Moshe Y.
– sequence: 15
  givenname: Gerhard
  surname: Weikum
  fullname: Weikum, Gerhard
SSID ssj0000318104
ssj0002792
Score 1.3505106
Snippet A parallel version of the self-verified method for solving linear systems was presented in [20, 21]. In this research we propose improvements aiming at a...
SourceID springer
SourceType Publisher
StartPage 13
SubjectTerms Numerical algorithms for CS&E
Parallel or Distributed Computation and Cluster Computation
Title Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation
URI http://link.springer.com/10.1007/978-3-540-92859-1_3
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1La9wwEBabLYXSQ9-06QMdeqpxiS3Lj0MPIWwJaZKWNllyM5Jsk4XtGvZxyb_LP-uMRlKcTSmkF7NrvGt59Hk0M_pmhrGPpUrbMm2KGBY3GWcGbLgqlToWlc511maFMJjvfHKaH55nRxfyYjS6HrCWNmv92Vz9Na_kf2YVzsG8YpbsPWY2_CmcgM8wv3CEGYbjlvF7O8xKdQrBrUYCe-D9U4MGz4ykbz7U51_hOJpODn7s_8RKgoHE-q2fe5bXCbjOanHjpPeXc9trjsLny2ZA69k0s55Y8XMza4jOFYjxIVSBdu1wkDYdcwrC6dD2BU8YCwlR2fToV4807YhYDN9Bl_2eXdmLnEdPmQ1qie1f5sMHJNWIJZtXX47dpshpv7Zcs8j3rfAyuBXnKLfiHD7OGf2jDJgLY1VpKanvnM8MA60PfhMp0pYUfY7lGwWVS3XKOxEDM4Dy-O8sMNucErxXFSe12GE7RZmN2YP9ydHxNIT5UGdaj9cZB1ivkTa2aEgu3cgOuXwYInH0CKFKFhVC3rrjnb17axKdPWWPMU2GY_4KCPcZG7WL5-yJFzZ3wn7B-oAFDljgAyzwvuOKeyxwwgInLHDCArdY4AELPGCBAxa4xwIfYOElO_86OTs4jF2Xj3gFtr6IlZFaJCm45Y1ucP0FgXWdwSJOlcpFkcgGO6rh9npbaKmwQ7pRoElyJTsjc_GKjRf9on3NeKJ0J8EB00VTZEbD71OV7CmRGplV5V71hn3yEqvxvV3Vvmg3iLcWNYi3tuKtQby797n4LXt0g9l3bLxebtr3YK2u9QeHiD8DEY7w
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=High+Performance+Computing+for+Computational+Science+-+VECPAR+2008&rft.au=Kolberg%2C+Mariana&rft.au=Bohlender%2C+Gerd&rft.au=Claudio%2C+Dalcidio&rft.atitle=Improving+the+Performance+of+a+Verified+Linear+System+Solver+Using+Optimized+Libraries+and+Parallel+Computation&rft.series=Lecture+Notes+in+Computer+Science&rft.date=2008-01-01&rft.pub=Springer+Berlin+Heidelberg&rft.isbn=9783540928584&rft.issn=0302-9743&rft.eissn=1611-3349&rft.spage=13&rft.epage=26&rft_id=info:doi/10.1007%2F978-3-540-92859-1_3
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0302-9743&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0302-9743&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0302-9743&client=summon