| Publication | Date of Publication | Type |
|---|
Barrier synchronisation: Axiomatisation and relaxation
Formal Aspects of Computing | 2004-10-01 | Paper |
| scientific article; zbMATH DE number 2102052 (Why is no real title available?) | 2004-09-22 | Paper |
| scientific article; zbMATH DE number 1863308 (Why is no real title available?) | 2003-02-04 | Paper |
| scientific article; zbMATH DE number 1760071 (Why is no real title available?) | 2002-11-06 | Paper |
| scientific article; zbMATH DE number 1760046 (Why is no real title available?) | 2002-11-06 | Paper |
RESTARTING TECHNIQUES FOR THE LANCZOS ALGORITHM AND THEIR IMPLEMENTATION IN PARALLEL COMPUTING ENVIRONMENTS: ARCHITECTURAL INFLUENCES
Parallel Algorithms and Applications | 2002-09-12 | Paper |
Explicitly restarted Lanczos algorithms in an MPP environment
Parallel Computing | 2002-07-25 | Paper |
BSP-style computation: A semantic investigation
The Computer Journal. Section A Section B | 2002-05-14 | Paper |
AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗
Parallel Algorithms and Applications | 2000-06-05 | Paper |
Recursive least-squares using a hybrid Householder algorithm on massively parallel SIMD systems.
Parallel Computing | 2000-01-12 | Paper |
| scientific article; zbMATH DE number 1067655 (Why is no real title available?) | 1998-11-01 | Paper |
The automated transformation of abstract specifications of numerical algorithms into efficient array processor implementations
Science of Computer Programming | 1997-08-07 | Paper |
A comparison of two Fortran dialects for expressing parallel solutions for a problem in linear algebra
Parallel Computing | 1995-11-14 | Paper |
| scientific article; zbMATH DE number 278848 (Why is no real title available?) | 1993-09-02 | Paper |
Parallel Gram-Schmidt orthogonalisation on a network of transputers
Parallel Computing | 1992-06-27 | Paper |
Two algorithms for the parallel computation of eigenvalues and eigenvectors of large symmetric matrices using the ICL DAP
Parallel Computing | 1990-01-01 | Paper |
Towards the construction of an eigenvalue engine
Parallel Computing | 1988-01-01 | Paper |
“Curiouser and curiouser” said alice. further reflections on an interesting recursive function
International Journal of Computer Mathematics | 1988-01-01 | Paper |
Short Notes: A Fast Algorithm for the Towers of Hanoi Problem
The Computer Journal | 1987-01-01 | Paper |
The use of ghost variables and virtual programming in the documentation and verification of programs
Software: Practice and Experience | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3846842 (Why is no real title available?) | 1983-01-01 | Paper |
On the use of history variables
Acta Informatica | 1981-01-01 | Paper |
Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare
Acta Informatica | 1976-01-01 | Paper |
Program proving: KJumps and functions
Acta Informatica | 1971-01-01 | Paper |
A Simultaneous Iteration Method for the Unsymmetric Eigenvalue Problem
IMA Journal of Applied Mathematics | 1971-01-01 | Paper |
The evaluation of eigenvalues and eigenvectors of real symmetric matrices by simultaneous iteration
The Computer Journal | 1970-01-01 | Paper |
