M. Clint

Available identifiers

zbMath Open clint.mauriceMaRDI QIDQ676843

List of research outcomes

Publication	Date of Publication	Type
Barrier synchronisation: Axiomatisation and relaxation	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4817282	2004-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4791950	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4537017	2002-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q4536984	2002-11-06	Paper
RESTARTING TECHNIQUES FOR THE LANCZOS ALGORITHM AND THEIR IMPLEMENTATION IN PARALLEL COMPUTING ENVIRONMENTS: ARCHITECTURAL INFLUENCES	2002-09-12	Paper
Explicitly restarted Lanczos algorithms in an MPP environment	2002-07-25	Paper
BSP-style computation: A semantic investigation	2002-05-14	Paper
AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗	2000-06-05	Paper
Recursive least-squares using a hybrid Householder algorithm on massively parallel SIMD systems.	2000-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4358267	1998-11-01	Paper
The automated transformation of abstract specifications of numerical algorithms into efficient array processor implementations	1997-08-07	Paper
A comparison of two Fortran dialects for expressing parallel solutions for a problem in linear algebra	1995-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q5289072	1993-09-02	Paper
Parallel Gram-Schmidt orthogonalisation on a network of transputers	1992-06-27	Paper
Two algorithms for the parallel computation of eigenvalues and eigenvectors of large symmetric matrices using the ICL DAP	1990-01-01	Paper
Towards the construction of an eigenvalue engine	1988-01-01	Paper
“Curiouser and curiouser” said alice. further reflections on an interesting recursive function	1988-01-01	Paper
Short Notes: A Fast Algorithm for the Towers of Hanoi Problem	1987-01-01	Paper
The use of ghost variables and virtual programming in the documentation and verification of programs	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3316561	1983-01-01	Paper
On the use of history variables	1981-01-01	Paper
Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare	1976-01-01	Paper
Program proving: KJumps and functions	1971-01-01	Paper
A Simultaneous Iteration Method for the Unsymmetric Eigenvalue Problem	1971-01-01	Paper
The evaluation of eigenvalues and eigenvectors of real symmetric matrices by simultaneous iteration	1970-01-01	Paper

Research outcomes over time

This page was built for person: M. Clint