The formal development of a parallel program performing LU-decomposition
From MaRDI portal
Publication:1096311
DOI10.1007/BF02915443zbMath0633.65007MaRDI QIDQ1096311
Publication date: 1988
Published in: Acta Informatica (Search for Journal in Brave)
efficiency; correctness; parallel algorithm; LU-decomposition; Gries-Owicki approach; parallel invariant
15A23: Factorization of matrices
65Y05: Parallel numerical computation
65F05: Direct numerical methods for linear systems and matrix inversion
15-04: Software, source code, etc. for problems pertaining to linear algebra
Related Items
Cites Work
- A derivation of distributed implementation of Warshall's algorithm
- Computational models and task scheduling for parallel sparse Cholesky factorization
- Systolic algorithms as programs
- An axiomatic proof technique for parallel programs
- Verifying properties of parallel programs
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item