The formal development of a parallel program performing LU-decomposition
type: Item
instance of: scholarly article
title: The formal development of a parallel program performing LU-decomposition
zbMATH Open document ID: 0633.65007
DOI: 10.1007/BF02915443
author: Johannes G. G. van de Vorst
published in: Acta Informatica
publication date: 1988-01-01T00:00:00Z
Mathematics Subject Classification ID: 65F05
Mathematics Subject Classification ID: 15-04
Mathematics Subject Classification ID: 15A23
Mathematics Subject Classification ID: 65Y05
zbMATH DE Number: 4030804
zbMATH Keywords: parallel algorithm
zbMATH Keywords: LU-decomposition
zbMATH Keywords: Gries-Owicki approach
zbMATH Keywords: parallel invariant
zbMATH Keywords: efficiency
zbMATH Keywords: correctness
MaRDI profile type: Publication
cites work: Systolic algorithms as programs
cites work: Q4144755
cites work: Q3925859
cites work: Computational models and task scheduling for parallel sparse Cholesky factorization
cites work: Q4178461
cites work: An axiomatic proof technique for parallel programs
cites work: Verifying properties of parallel programs
cites work: Q3857636
cites work: A derivation of distributed implementation of Warshall's algorithm
description: scientific article; zbMATH DE number 4030804