The semantics and complexity of parallel programs for vector computations. I: A case study using Ada
From MaRDI portal
Publication:1110310
DOI10.1007/BF01941132zbMath0656.68020MaRDI QIDQ1110310
Publication date: 1988
Published in: BIT (Search for Journal in Brave)
15A23: Factorization of matrices
68Q60: Specification and verification (program logics, model checking, etc.)
65Y05: Parallel numerical computation
68N25: Theory of operating systems
Uses Software
Cites Work
- Unnamed Item
- Calculi for synchrony and asynchrony
- A Computation Model of Parallel Solution of Linear Equations
- Solving Linear Algebraic Equations on an MIMD Computer
- Time and Parallel Processor Bounds for Linear Recurrence Systems
- Fast Parallel Matrix Inversion Algorithms
- On Stable Parallel Linear System Solvers
- Some Complexity Results for Matrix Computations on Parallel Processors
- A Survey of Parallel Algorithms in Numerical Linear Algebra
- Basic Linear Algebra Subprograms for Fortran Usage
- An Efficient Parallel Algorithm for the Solution of a Tridiagonal Linear System of Equations