Maurice Clint

Publication Activity (10 Years)

Years Active: 1970-2008
Publications (10 Years): 0

Publications

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