Maurice Clint

According to our database1, Maurice Clint
  • authored at least 55 papers between 1970 and 2008.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2008
Assessing the Reliability and Cost of Web and Grid Orchestrations.
Proceedings of the The Third International Conference on Availability, 2008

2007
Bounded Site Failures: An Approach to Unreliable Grid Environments.
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).
Parallel Computing, 2006

Managing Grid Computations: An ORC-Based Approach.
Proceedings of the Parallel and Distributed Processing and Applications, 2006

2004
Barrier synchronisation: Axiomatisation and relaxation.
Formal Asp. Comput., 2004

2003
Computational Models for Web- and Grid-Based Computation.
Proceedings of the Euro-Par 2003. Parallel Processing, 2003

2002
Grab and Go Systems: a CPO approach to concurrent web and grid-based computation.
Electr. Notes Theor. Comput. Sci., 2002

2001
BSP-style Computation: a Semantic Investigation.
Comput. J., 2001

Towards a Semantics For Multidimensional Array Assignment in Fortran 95.
Proceedings of the 5th Irish Workshop on Formal Methods, 2001

Towards Formally Refining BSP Barrier s into Explicit Two-Sided Communications.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000
Axiomatic Frameworks for Developing Bsp-style Programs*.
Parallel Algorithms Appl., 2000

1999
Explicitly restarted Lanczos algorithms in an MPP environment.
Parallel Computing, 1999

Recursive least-squares using a hybrid Householder algorithm on massively parallel SIMD systems.
Parallel Computing, 1999

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

1998
A Case Study on Proving Transformations Correct: Data-Parallel Conversion.
Proceedings of the 2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998, 1998

Numerical and Symbolic Algorithms.
Proceedings of the Euro-Par '98 Parallel Processing, 1998

1997
The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations.
Sci. Comput. Program., 1997

The Parallel Computation of Partial Eigensolutions Using a Modified Lanczos Method.
Parallel Algorithms Appl., 1997

Lanczos Algorithms for Massively Parallel Processors.
Proceedings of the Parallel Computing: Fundamentals, 1997

Robust Parallel Lanczos Methods for Clustered Eigenvalues.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

Synchronising Asynchronous Communications.
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.
Comput. J., 1996

A Highly Parallel Explicitly Restarted Lanczos Algorithm.
Proceedings of the Applied Parallel Computing, 1996

The Parallel Computation of Partial Eigensolutions of Large Matrices on a Massively Parallel Processor.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

The Computation of Partial Eigensolutions on a Distributed Memory Machine Using a Modified Lanzos Method.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995
Monitoring the Convergence of the Lanczos Algorithm in Parallel Computing Environments.
Parallel Algorithms Appl., 1995

Simultaneous Iteration in Parallel Computing Environments: A Comparative Evaluation.
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.
Concurrency - Practice and Experience, 1994

Parallel Algorithms for the Partial Eigensolution of Large Sparse Matrices on Novel Architecture Computers.
Proceedings of the Parallel Scientific Computing, First International Workshop, 1994

A Family of Data-Parallel Derivations.
Proceedings of the High-Performance Computing and Networking, 1994

An algorithm for the Eigensolution of Tridiagonal Sparse Symmetric Matrices on Massively Parallel Processors.
Proceedings of the Massively Parallel Processing Applications and Develompent, 1994

Efficient Gram-Schmidt Orthogonalisation on an Array Processor.
Proceedings of the Parallel Processing: CONPAR 94, 1994

1993
Deriving Processing on SYDAMA-2: Concept and Realization of the Software.
Proceedings of the Parallel Computing: Trends and Applications, 1993

Array Processor Algorithms for the Symmetric Eigenproblem: An Evaluation.
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.
Parallel Computing, 1992

Parallel Implementations of Jacobi's Algorithm for the Eigensolution of Large Matrices Using Array Processors.
Proceedings of the Parallel Processing: CONPAR 92, 1992

Computation of the Eigenvalues of Real Symmetric Matrices Using a Processor Farm.
Proceedings of the Parallel Processing: CONPAR 92, 1992

The Construction of Numerical Mathematical Software for the AMT DAP by Program Transformation.
Proceedings of the Parallel Processing: CONPAR 92, 1992

1991
Parallel Gram-Schmidt orthogonalisation on a network of transputers.
Parallel Computing, 1991

The parallel computation of eigenvalues and eigenvectors of large Hermitian matrices using the AMT DAP 510.
Concurrency - Practice and Experience, 1991

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

The use of functional annotations in verifying imperative programs.
Software Engineering Journal, 1990

Hybrid Algorithms for the Eigensolution of Large Sparse Symmetric Matrices on the AMT DAP 510.
Proceedings of the CONPAR 90, 1990

1988
Towards the construction of an eigenvalue engine.
Parallel Computing, 1988

A Specification-Verification Framework for Distributed Applications Software.
Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988

1987
A Fast Algorithm for the Towers of Hanoi Problem.
Comput. J., 1987

An Improved Parallel Thinning Algorithm.
Commun. ACM, 1987

1986
A Parallel Processing Algorithm for Thinning Digitised Pictures.
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.
Softw., Pract. Exper., 1984

1983
The Influence of Hardware and Software Considerations on the Design of Synchronous Parallel Algorithms.
Softw., Pract. Exper., 1983

1981
On the Use of History Variables.
Acta Inf., 1981

1980
Algorithms for Parallel Computers.
On the Construction of Programs, 1980

1973
Program Proving: Coroutines.
Acta Inf., 1973

1972
Program Proving: Jumps and Functions.
Acta Inf., 1972

1970
The Evaluation of Eigenvalues and Eigenvectors of Real Symmetric Matrices by Simultaneous Iteration.
Comput. J., 1970


  Loading...