The formal development of a parallel program performing LU-decomposition
- 1 October 1988
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 26 (1-2) , 1-17
- https://doi.org/10.1007/bf02915443
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A derivation of a distributed implementation of Warshall's algorithmScience of Computer Programming, 1986
- A design methodology for synthesizing parallel algorithms and architecturesJournal of Parallel and Distributed Computing, 1986
- Computational models and task scheduling for parallel sparse Cholesky factorizationParallel Computing, 1986
- Systolic algorithms as programsDistributed Computing, 1986
- The Science of ProgrammingPublished by Springer Nature ,1981
- Introduction to Numerical AnalysisPublished by Springer Nature ,1980
- Verifying properties of parallel programsCommunications of the ACM, 1976
- An axiomatic proof technique for parallel programs IActa Informatica, 1976