Person:676843

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/Q4536984	2002-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q4537017	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Maurice Clint