loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 20th International Symposium on Computer Architecture and High Performance Computing
Parallel Verified Linear System Solver for Uncertain Input Data
October 29-November 01
ISBN: 978-0-7695-3423-7
ASCII Text
x 
 
Mariana Kolberg, M?rcio Dorn, Luiz Gustavo Fernandes, Gerd Bohlender, "Parallel Verified Linear System Solver for Uncertain Input Data," Computer Architecture and High Performance Computing, Symposium on, pp. 89-96, 2008 20th International Symposium on Computer Architecture and High Performance Computing, 2008.
 
 
BibTex
x
 
@article{ 10.1109/SBAC-PAD.2008.10,
author = {Mariana Kolberg and M?rcio Dorn and Luiz Gustavo Fernandes and Gerd Bohlender},
title = {Parallel Verified Linear System Solver for Uncertain Input Data},
journal ={Computer Architecture and High Performance Computing, Symposium on},
volume = {0},
year = {2008},
issn = {1550-6533},
pages = {89-96},
doi = {http://doi.ieeecomputersociety.org/10.1109/SBAC-PAD.2008.10},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Architecture and High Performance Computing, Symposium on
TI - Parallel Verified Linear System Solver for Uncertain Input Data
SN - 1550-6533
SP89
EP96
A1 - Mariana Kolberg,
A1 - M?rcio Dorn,
A1 - Luiz Gustavo Fernandes,
A1 - Gerd Bohlender,
PY - 2008
KW - Parallel Computing
KW - Verified Computing
KW - Linear Systems
KW - Interval Arithmetic
KW - Uncertain Input Data
VL - 0
JA - Computer Architecture and High Performance Computing, Symposium on
ER -
 
This paper presents a new parallel implementation for solving dense interval linear systems with verified computing. The use of intervals appears as one possible way to handle the uncertainty of input data in real problems. A verified method using midpoint-radius arithmetic and directed roundings was combined with optimized libraries such as SCALAPACK and PBLAS to provide a free, fast, reliable and accurate solver. Accuracy and performance results for executing this implementation in a cluster are shown. It is the authors opinion that the combination of verified and parallel computing is a powerful tool that could be used for several other mathematical problems.
Index Terms:
Parallel Computing, Verified Computing, Linear Systems, Interval Arithmetic, Uncertain Input Data
Citation:
Mariana Kolberg, M?rcio Dorn, Luiz Gustavo Fernandes, Gerd Bohlender, "Parallel Verified Linear System Solver for Uncertain Input Data," sbac-pad, pp.89-96, 2008 20th International Symposium on Computer Architecture and High Performance Computing, 2008
Usage of this product signifies your acceptance of the Terms of Use.