The formal development of a parallel program performing LU-decomposition (Q1096311): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Systolic algorithms as programs
@@ Property / cites work: Systolic algorithms as programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3925859
@@ Property / cites work: Q3925859 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational models and task scheduling for parallel sparse Cholesky factorization
+Normal rank
@@ Property / cites work @@
+Q4178461
@@ Property / cites work: Q4178461 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+Verifying properties of parallel programs
@@ Property / cites work: Verifying properties of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3857636
@@ Property / cites work: Q3857636 / rank @@
+Normal rank
@@ Property / cites work @@
+A derivation of distributed implementation of Warshall's algorithm
+Normal rank