A Multithreaded Verified Method for Solving Linear Systems in Dual-Core Processors

Abstract : This paper presents a new multithreaded approach for the problem of solving dense linear systems with verified results. We propose a new method that allows our algorithm to run in a dual-core system without making any changes in the floating-point rounding mode used during the computations, i.e., each processor independently uses its own floating-point rounding strategy to do the computations. The algorithm distributes the computational tasks among the processors based on the floating-point rounding mode required by the task. We validate our approach experimentally.
Document type :
Conference papers
Workshop on State-of-the-Art in Scientific and Parallel Computing (PARA 2008), May 2008, Trondheim, Norway. pp.9, 2008
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00542920
Contributor : Daniel Cordeiro <>
Submitted on : Friday, December 3, 2010 - 9:47:48 PM
Last modification on : Saturday, December 4, 2010 - 8:08:32 AM
Document(s) archivé(s) le : Friday, March 4, 2011 - 4:36:19 AM

File

kcbfg-para08.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00542920, version 1

Collections

Citation

Mariana Kolberg, Daniel Cordeiro, Gerd Bohlender, Luiz~gustavo Fernandes, Alfredo Goldman. A Multithreaded Verified Method for Solving Linear Systems in Dual-Core Processors. Workshop on State-of-the-Art in Scientific and Parallel Computing (PARA 2008), May 2008, Trondheim, Norway. pp.9, 2008. <hal-00542920>

Share

Metrics

Record views

512

Document downloads

158