Dense linear system: A parallel self-verified solver
DOI10.1007/S10766-007-0058-XzbMATH Open1154.68361OpenAlexW2105663314MaRDI QIDQ941827FDOQ941827
Authors: Mariana Luderitz Kolberg, Luiz Gustavo Fernandes, Dalcidio Moraes Claudio 
Publication date: 2 September 2008
Published in: International Journal of Parallel Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10766-007-0058-x
Recommendations
- Solving dense interval linear systems with verified computing on multicore architectures
- Parallel Processing and Applied Mathematics
- An efficient approach to solve very large dense linear systems with verified computing on clusters.
- Fast and efficient parallel solution of dense linear systems
- PaStiX: A high-performance parallel direct solver for sparse symmetric positive definite systems
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Accurate Sum and Dot Product
- Title not available (Why is that?)
- LU decomposition optimized for a parallel computer with a hierarchical distributed memory
- Parallel algorithms for \(LU\) decomposition on a shared memory multiprocessor
- The accuracy of a parallel \(LU\) decomposition algorithm
- Accurate scientific computations. Symposium, Bad Neuenahr, FRG, March 12- 14, 1985. Proceedings
- Parallel Processing and Applied Mathematics
- Title not available (Why is that?)
Cited In (6)
- Floating point fault tolerance with backward error assertions
- Parallel Processing and Applied Mathematics
- An efficient approach to solve very large dense linear systems with verified computing on clusters.
- Solving dense interval linear systems with verified computing on multicore architectures
- High performance verified computing using C-XSC
- High accuracy and interval arithmetic on multicore processors
Uses Software
This page was built for publication: Dense linear system: A parallel self-verified solver
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q941827)
