Maurice Clint

57 papers B 1C 1Journal 27Unranked 27
YearRankTypeTitle / Venue / Authors
2008 B conf
Assessing the Reliability and Cost of Web and Grid Orchestrations.
ARES
Alan Stewart, Maurice Clint, Terry Harmer, Peter Kilpatrick, Ronald H. Perrott, Joaquim Gabarró
2007 — conf
Bounded Site Failures: An Approach to Unreliable Grid Environments.
CoreGRID Workshop - Making Grids Work
Joaquim Gabarró, Alina García, Maurice Clint, Peter Kilpatrick, Alan Stewart
2006 C conf
Managing Grid Computations: An ORC-Based Approach.
ISPA
Alan Stewart, Joaquim Gabarró, Maurice Clint, Terence J. Harmer, Peter Kilpatrick, Ronald H. Perrott
2006 J jnl
Parallel Matrix Algorithms and Applications (PMAA'04).
Parallel Comput.
Maurice Clint, Efstratios Gallopoulos, Esmond Ng, Jean Roman
2004 J jnl
Barrier synchronisation: Axiomatisation and relaxation.
Formal Aspects Comput.
Alan Stewart, Maurice Clint, Joaquim Gabarró
2003 — conf
Computational Models for Web- and Grid-Based Computation.
Euro-Par
Joaquim Gabarró, Alan Stewart, Maurice Clint, Eamonn Boyle, Isabel Vallejo
2002 — conf
Grab and Go Systems: a CPO approach to concurrent web and grid-based computation.
F-WAN@ICALP
Joaquim Gabarró, Alan Stewart, Maurice Clint
2001 J jnl
BSP-style Computation: a Semantic Investigation.
Comput. J.
Alan Stewart, Maurice Clint
2001 — conf
Towards Formally Refining BSP Barrier s into Explicit Two-Sided Communications.
Euro-Par
Alan Stewart, Maurice Clint, Joaquim Gabarró, Maria J. Serna
2001 — conf
Towards a Semantics For Multidimensional Array Assignment in Fortran 95.
IWFM
N. Reid, Peter Kilpatrick, Maurice Clint
2000 J jnl
Axiomatic Frameworks for Developing Bsp-style Programs*.
Parallel Algorithms Appl.
Alan Stewart, Maurice Clint, Joaquim Gabarró
1999 J jnl
Explicitly restarted Lanczos algorithms in an MPP environment.
Parallel Comput.
Marek Szularz, Jim Weston, Maurice Clint
1999 J jnl
Recursive least-squares using a hybrid Householder algorithm on massively parallel SIMD systems.
Parallel Comput.
Erricos John Kontoghiorghes, Maurice Clint, Hans-Heinrich Naegeli
1999 J jnl
Restarting Techniques for the Lanczos Algorithm and their Implementation in Parallel Computing Environments: Architectural Influences.
Parallel Algorithms Appl.
Marek Szularz, Jim Weston, Maurice Clint
1998 — conf
A Case Study on Proving Transformations Correct: Data-Parallel Conversion.
IWFM
Stephen Kilpatrick, Maurice Clint, Peter Kilpatrick
1998 — conf
Numerical and Symbolic Algorithms.
Euro-Par
Maurice Clint, Wolfgang Kreuchlin
1997 — conf
Lanczos Algorithms for Massively Parallel Processors.
PARCO
Marek Szularz, Maurice Clint, Jim Weston
1997 — conf
Robust Parallel Lanczos Methods for Clustered Eigenvalues.
Euro-Par
Marek Szularz, Jim Weston, Maurice Clint
1997 — conf
Synchronising Asynchronous Communications.
Euro-Par
Alan Stewart, Maurice Clint
1997 J jnl
The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations.
Sci. Comput. Program.
Stephen Fitzpatrick, Terence J. Harmer, Alan Stewart, Maurice Clint, James M. Boyle
1997 J jnl
The Parallel Computation of Partial Eigensolutions Using a Modified Lanczos Method.
Parallel Algorithms Appl.
Kieran Murphy, Maurice Clint, Marek Szularz, Jim Weston
1996 — conf
A Highly Parallel Explicitly Restarted Lanczos Algorithm.
PARA
Marek Szularz, Jim Weston, Maurice Clint, Kieran Murphy
1996 — conf
The Computation of Partial Eigensolutions on a Distributed Memory Machine Using a Modified Lanzos Method.
Euro-Par, Vol. II
Kieran Murphy, Maurice Clint, Marek Szularz, Jim Weston
1996 — conf
The Parallel Computation of Partial Eigensolutions of Large Matrices on a Massively Parallel Processor.
Euro-Par, Vol. II
Jim Weston, Marek Szularz, Maurice Clint, Kieran Murphy
1996 J jnl
The Tailoring of Abstract Functional Specifications of Numerical Algorithms for Sparse Data Structures through Automated Program Derivation and Transformation.
Comput. J.
Stephen Fitzpatrick, Maurice Clint, Terence J. Harmer, Peter Kilpatrick
1995 J jnl
Monitoring the Convergence of the Lanczos Algorithm in Parallel Computing Environments.
Parallel Algorithms Appl.
Marek Szularz, Jim Weston, Kieran Murphy, Maurice Clint
1995 — conf
Simultaneous Iteration in Parallel Computing Environments: A Comparative Evaluation.
PARCO
Kieran Murphy, Maurice Clint, Marek Szularz, J. S. Weston
1994 — conf
A Family of Data-Parallel Derivations.
HPCN
Maurice Clint, Stephen Fitzpatrick, Terence J. Harmer, Peter Kilpatrick, James M. Boyle
1994 — conf
An algorithm for the Eigensolution of Tridiagonal Sparse Symmetric Matrices on Massively Parallel Processors.
EUROSIM
M. B. Stuart, Maurice Clint
1994 J jnl
Comparison of parallel Fortran environments on the AMT DAP510 for a linear algebra application.
Concurr. Pract. Exp.
Maurice Clint, C. W. Bleakney, J. S. Weston
1994 — conf
Efficient Gram-Schmidt Orthogonalisation on an Array Processor.
CONPAR
Maurice Clint, Jim Weston, J. B. Flannagan
1994 — conf
Parallel Algorithms for the Partial Eigensolution of Large Sparse Matrices on Novel Architecture Computers.
PARA
Marek Szularz, Jim Weston, Kieran Murphy, Maurice Clint
1993 — conf
Array Processor Algorithms for the Symmetric Eigenproblem: An Evaluation.
PARCO
J. S. Weston, Maurice Clint, A. Lee
1993 — conf
Deriving Processing on SYDAMA-2: Concept and Realization of the Software.
PARCO
Johnston Paul Wray, Stephen Fitzpatrick, Maurice Clint, P. L. Kilpatrick
1993 — conf
The Orthogonalisation of Small Sets of Very Long Vectors on Massively Parallel Computers.
PARCO
Maurice Clint, Lionel C. Waring
1992 J jnl
A comparison of two Fortran dialects for expressing parallel solutions for a problem in linear algebra.
Parallel Comput.
Maurice Clint, Jim Weston, C. W. Bleakney
1992 — conf
Computation of the Eigenvalues of Real Symmetric Matrices Using a Processor Farm.
CONPAR
Lionel C. Waring, Maurice Clint
1992 — conf
Parallel Implementations of Jacobi's Algorithm for the Eigensolution of Large Matrices Using Array Processors.
CONPAR
Jim Weston, Maurice Clint, C. W. Bleakney
1992 — conf
The Construction of Numerical Mathematical Software for the AMT DAP by Program Transformation.
CONPAR
James M. Boyle, Maurice Clint, Stephen Fitzpatrick, Terence J. Harmer
1991 J jnl
Parallel Gram-Schmidt orthogonalisation on a network of transputers.
Parallel Comput.
Lionel C. Waring, Maurice Clint
1991 J jnl
The parallel computation of eigenvalues and eigenvectors of large Hermitian matrices using the AMT DAP 510.
Concurr. Pract. Exp.
J. S. Weston, Maurice Clint, C. W. Bleakney
1990 — conf
Hybrid Algorithms for the Eigensolution of Large Sparse Symmetric Matrices on the AMT DAP 510.
CONPAR
Maurice Clint, Jim Weston, C. W. Bleakney
1990 J jnl
The use of functional annotations in verifying imperative programs.
Softw. Eng. J.
Robin A. Nicholl, Maurice Clint, David Gray, Tina M. Nicholl
1990 J jnl
Two algorithms for the parallel computation of eigenvalues and eigenvectors of large symmetric matrices using the ICL DAP.
Parallel Comput.
Jim Weston, Maurice Clint
1988 — conf
A Specification-Verification Framework for Distributed Applications Software.
Specification and Verification of Concurrent Systems
Donal Roantree, Maurice Clint
1988 J jnl
Towards the construction of an eigenvalue engine.
Parallel Comput.
Maurice Clint, Donal Roantree, Alan Stewart
1987 J jnl
A Fast Algorithm for the Towers of Hanoi Problem.
Comput. J.
D. Gault, Maurice Clint
1987 J jnl
An Improved Parallel Thinning Algorithm.
Commun. ACM
Christopher M. Holt, Alan Stewart, Maurice Clint, Ronald H. Perrott
1986 — conf
A Parallel Processing Algorithm for Thinning Digitised Pictures.
CONPAR
Ronald H. Perrott, Christopher M. Holt, Maurice Clint, Alan Stewart
1984 J jnl
The Use of Ghost Variables and Virtual Programming in the Documentation and Verfication of Programs.
Softw. Pract. Exp.
Maurice Clint, C. Vicent
1983 J jnl
The Influence of Hardware and Software Considerations on the Design of Synchronous Parallel Algorithms.
Softw. Pract. Exp.
Maurice Clint, Ronald H. Perrott, Christopher M. Holt, Alan Stewart
1981 J jnl
On the Use of History Variables.
Acta Informatica
Maurice Clint
1981 J jnl
On the formal treatment of a permutation finding program.
ACM SIGPLAN Notices
K. T. Narayana, Maurice Clint
1980 — ch.
Algorithms for Parallel Computers.
On the Construction of Programs
Maurice Clint, Ronald H. Perrott
1973 J jnl
Program Proving: Coroutines.
Acta Informatica
Maurice Clint
1972 J jnl
Program Proving: Jumps and Functions.
Acta Informatica
Maurice Clint, C. A. R. Hoare
1970 J jnl
The Evaluation of Eigenvalues and Eigenvectors of Real Symmetric Matrices by Simultaneous Iteration.
Comput. J.
Maurice Clint, Alan Jennings