Maurice Clint

According to our database, Maurice Clint authored at least 57 papers between 1970 and 2008.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2008

Assessing the Reliability and Cost of Web and Grid Orchestrations.

Alan Stewart, Maurice Clint, Terry Harmer, Peter Kilpatrick, Ronald H. Perrott, Joaquim Gabarró

Proceedings of the The Third International Conference on Availability, 2008

2007

Bounded Site Failures: An Approach to Unreliable Grid Environments.

Joaquim Gabarró, Alina García, Maurice Clint, Peter Kilpatrick, Alan Stewart

Proceedings of the Making Grids Work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, 2007

2006

Parallel Matrix Algorithms and Applications (PMAA'04).

Maurice Clint, Efstratios Gallopoulos, Esmond Ng, Jean Roman

Parallel Comput., 2006

Managing Grid Computations: An ORC-Based Approach.

Alan Stewart, Joaquim Gabarró, Maurice Clint, Terence J. Harmer, Peter Kilpatrick, Ronald H. Perrott

Proceedings of the Parallel and Distributed Processing and Applications, 2006

2004

Barrier synchronisation: Axiomatisation and relaxation.

Alan Stewart, Maurice Clint, Joaquim Gabarró

Formal Aspects Comput., 2004

2003

Computational Models for Web- and Grid-Based Computation.

Joaquim Gabarró, Alan Stewart, Maurice Clint, Eamonn Boyle, Isabel Vallejo

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

2002

Grab and Go Systems: a CPO approach to concurrent web and grid-based computation.

Joaquim Gabarró, Alan Stewart, Maurice Clint

Proceedings of the Foundations of Wide Area Network Computing, 2002

2001

BSP-style Computation: a Semantic Investigation.

Alan Stewart, Maurice Clint

Comput. J., 2001

Towards a Semantics For Multidimensional Array Assignment in Fortran 95.

N. Reid, Peter Kilpatrick, Maurice Clint

Proceedings of the 5th Irish Workshop on Formal Methods, 2001

Towards Formally Refining BSP Barrier s into Explicit Two-Sided Communications.

Alan Stewart, Maurice Clint, Joaquim Gabarró, Maria J. Serna

Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000

Axiomatic Frameworks for Developing Bsp-style Programs*.

Alan Stewart, Maurice Clint, Joaquim Gabarró

Parallel Algorithms Appl., 2000

1999

Explicitly restarted Lanczos algorithms in an MPP environment.

Marek Szularz, Jim Weston, Maurice Clint

Parallel Comput., 1999

Recursive least-squares using a hybrid Householder algorithm on massively parallel SIMD systems.

Erricos John Kontoghiorghes, Maurice Clint, Hans-Heinrich Naegeli

Parallel Comput., 1999

Restarting Techniques for the Lanczos Algorithm and their Implementation in Parallel Computing Environments: Architectural Influences.

Marek Szularz, Jim Weston, Maurice Clint

Parallel Algorithms Appl., 1999

1998

A Case Study on Proving Transformations Correct: Data-Parallel Conversion.

Stephen Kilpatrick, Maurice Clint, Peter Kilpatrick

Proceedings of the 2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998, 1998

Numerical and Symbolic Algorithms.

Maurice Clint, Wolfgang Kreuchlin

Proceedings of the Euro-Par '98 Parallel Processing, 1998

1997

The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations.

Stephen Fitzpatrick, Terence J. Harmer, Alan Stewart, Maurice Clint, James M. Boyle

Sci. Comput. Program., 1997

The Parallel Computation of Partial Eigensolutions Using a Modified Lanczos Method.

Kieran Murphy, Maurice Clint, Marek Szularz, Jim Weston

Parallel Algorithms Appl., 1997

Lanczos Algorithms for Massively Parallel Processors.

Marek Szularz, Maurice Clint, Jim Weston

Proceedings of the Parallel Computing: Fundamentals, 1997

Robust Parallel Lanczos Methods for Clustered Eigenvalues.

Marek Szularz, Jim Weston, Maurice Clint

Proceedings of the Euro-Par '97 Parallel Processing, 1997

Synchronising Asynchronous Communications.

Alan Stewart, Maurice Clint

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996

The Tailoring of Abstract Functional Specifications of Numerical Algorithms for Sparse Data Structures through Automated Program Derivation and Transformation.

Stephen Fitzpatrick, Maurice Clint, Terence J. Harmer, Peter Kilpatrick

Comput. J., 1996

A Highly Parallel Explicitly Restarted Lanczos Algorithm.

Marek Szularz, Jim Weston, Maurice Clint, Kieran Murphy

Proceedings of the Applied Parallel Computing, 1996

The Parallel Computation of Partial Eigensolutions of Large Matrices on a Massively Parallel Processor.

Jim Weston, Marek Szularz, Maurice Clint, Kieran Murphy

Proceedings of the Euro-Par '96 Parallel Processing, 1996

The Computation of Partial Eigensolutions on a Distributed Memory Machine Using a Modified Lanzos Method.

Kieran Murphy, Maurice Clint, Marek Szularz, Jim Weston

Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995

Monitoring the Convergence of the Lanczos Algorithm in Parallel Computing Environments.

Marek Szularz, Jim Weston, Kieran Murphy, Maurice Clint

Parallel Algorithms Appl., 1995

Simultaneous Iteration in Parallel Computing Environments: A Comparative Evaluation.

Kieran Murphy, Maurice Clint, Marek Szularz, J. S. Weston

Proceedings of the Parallel Computing: State-of-the-Art and Perspectives, 1995

1994

Comparison of parallel Fortran environments on the AMT DAP510 for a linear algebra application.

Maurice Clint, C. W. Bleakney, J. S. Weston

Concurr. Pract. Exp., 1994

Parallel Algorithms for the Partial Eigensolution of Large Sparse Matrices on Novel Architecture Computers.

Marek Szularz, Jim Weston, Kieran Murphy, Maurice Clint

Proceedings of the Parallel Scientific Computing, First International Workshop, 1994

A Family of Data-Parallel Derivations.

Maurice Clint, Stephen Fitzpatrick, Terence J. Harmer, Peter Kilpatrick, James M. Boyle

Proceedings of the High-Performance Computing and Networking, 1994

An algorithm for the Eigensolution of Tridiagonal Sparse Symmetric Matrices on Massively Parallel Processors.

M. B. Stuart, Maurice Clint

Proceedings of the Massively Parallel Processing Applications and Develompent, 1994

Efficient Gram-Schmidt Orthogonalisation on an Array Processor.

Maurice Clint, Jim Weston, J. B. Flannagan

Proceedings of the Parallel Processing: CONPAR 94, 1994

1993

Deriving Processing on SYDAMA-2: Concept and Realization of the Software.

Johnston Paul Wray, Stephen Fitzpatrick, Maurice Clint, P. L. Kilpatrick

Proceedings of the Parallel Computing: Trends and Applications, 1993

Array Processor Algorithms for the Symmetric Eigenproblem: An Evaluation.

J. S. Weston, Maurice Clint, A. Lee

Proceedings of the Parallel Computing: Trends and Applications, 1993

The Orthogonalisation of Small Sets of Very Long Vectors on Massively Parallel Computers.

Maurice Clint, Lionel C. Waring

Proceedings of the Parallel Computing: Trends and Applications, 1993

1992

A comparison of two Fortran dialects for expressing parallel solutions for a problem in linear algebra.

Maurice Clint, Jim Weston, C. W. Bleakney

Parallel Comput., 1992

Parallel Implementations of Jacobi's Algorithm for the Eigensolution of Large Matrices Using Array Processors.

Jim Weston, Maurice Clint, C. W. Bleakney

Proceedings of the Parallel Processing: CONPAR 92, 1992

Computation of the Eigenvalues of Real Symmetric Matrices Using a Processor Farm.

Lionel C. Waring, Maurice Clint

Proceedings of the Parallel Processing: CONPAR 92, 1992

The Construction of Numerical Mathematical Software for the AMT DAP by Program Transformation.

James M. Boyle, Maurice Clint, Stephen Fitzpatrick, Terence J. Harmer

Proceedings of the Parallel Processing: CONPAR 92, 1992

1991

Parallel Gram-Schmidt orthogonalisation on a network of transputers.

Lionel C. Waring, Maurice Clint

Parallel Comput., 1991

The parallel computation of eigenvalues and eigenvectors of large Hermitian matrices using the AMT DAP 510.

J. S. Weston, Maurice Clint, C. W. Bleakney

Concurr. Pract. Exp., 1991

1990

Two algorithms for the parallel computation of eigenvalues and eigenvectors of large symmetric matrices using the ICL DAP.

Jim Weston, Maurice Clint

Parallel Comput., 1990

The use of functional annotations in verifying imperative programs.

Robin A. Nicholl, Maurice Clint, David Gray, Tina M. Nicholl

Softw. Eng. J., 1990

Hybrid Algorithms for the Eigensolution of Large Sparse Symmetric Matrices on the AMT DAP 510.

Maurice Clint, Jim Weston, C. W. Bleakney

Proceedings of the CONPAR 90, 1990

1988

Towards the construction of an eigenvalue engine.

Maurice Clint, Donal Roantree, Alan Stewart

Parallel Comput., 1988

A Specification-Verification Framework for Distributed Applications Software.

Donal Roantree, Maurice Clint

Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988

1987

A Fast Algorithm for the Towers of Hanoi Problem.

D. Gault, Maurice Clint

Comput. J., 1987

An Improved Parallel Thinning Algorithm.

Christopher M. Holt, Alan Stewart, Maurice Clint, Ronald H. Perrott

Commun. ACM, 1987

1986

A Parallel Processing Algorithm for Thinning Digitised Pictures.

Ronald H. Perrott, Christopher M. Holt, Maurice Clint, Alan Stewart

Proceedings of the CONPAR 86: Conference on Algorithms and Hardware for Parallel Processing, 1986

1984

The Use of Ghost Variables and Virtual Programming in the Documentation and Verfication of Programs.

Maurice Clint, C. Vicent

Softw. Pract. Exp., 1984

1983

The Influence of Hardware and Software Considerations on the Design of Synchronous Parallel Algorithms.

Maurice Clint, Ronald H. Perrott, Christopher M. Holt, Alan Stewart

Softw. Pract. Exp., 1983

1981

On the formal treatment of a permutation finding program.

K. T. Narayana, Maurice Clint

ACM SIGPLAN Notices, 1981

On the Use of History Variables.

Maurice Clint

Acta Informatica, 1981

1980

Algorithms for Parallel Computers.

Maurice Clint, Ronald H. Perrott

Proceedings of the On the Construction of Programs, 1980

1973

Program Proving: Coroutines.

Maurice Clint

Acta Informatica, 1973

1972

Program Proving: Jumps and Functions.

Maurice Clint, C. A. R. Hoare

Acta Informatica, 1972

1970

The Evaluation of Eigenvalues and Eigenvectors of Real Symmetric Matrices by Simultaneous Iteration.

Maurice Clint, Alan Jennings

Comput. J., 1970