M. Clint

发表

International Workshop on Parallel Matrix Algorithms and Applications Parallel Restricted Maximum Likelihood Estimation for Linear Models with a Dense Exogenous Matrix. Iterative Methods Least-squares Polynomial Preconditioners for Symmetric Indefinite Linear Parallel Computation of Generalized Eige

G. Stewart, Y. Saad, A. Sameh, 2000 .

Iterative Methods for the Partial Eigensolution of Symmetric Matrices on Parallel Machines

M. Clint, 2005 .

Practical aspects and experiences Parallel G r a m-Schmidt orthogonalisation on a network of transputers

M. Clint, Waring, 2005 .

A Simultaneous Iteration Method for the Unsymmetric Eigenvalue Problem

Maurice Clint, Alan Jennings, A. Jennings, 1971 .

Title Multiple organ system defects and transcriptional dysregulation in the Nipbl + /-mouse , a model of Cornelia de Lange syndrome

Young, B. Hallgrímsson, A. Lander, 2009 .

Array Form Transformations: Proofs of Correctness 1

S. Fitzpatrick, M. Clint, P. Kilpatrick, 1995 .

The Automated Transformation of Abstract Specifications

Maurice Clint, James M. Boyle, Terence J. Harmer, 1997 .

Remarks on “program proving: Jumps and functions by M. Clint and C. A. R. Hoare”

C. A. R. Hoare, E. A. Ashcroft, M. Clint, 1976, Acta Informatica.

Barrier synchronisation: Axiomatisation and relaxation

Alan Stewart, Maurice Clint, Joaquim Gabarró, 2004, Formal Aspects of Computing.

Program proving: Jumps and functions

C. A. R. Hoare, Maurice Clint, C. Hoare, 1972, Acta Informatica.

Managing Grid Computations: An ORC-Based Approach

Ronald H. Perrott, Peter Kilpatrick, Alan Stewart, 2006, ISPA.

Re-engineering statistical software for efficient parallel execution

Maurice Clint, R. H. Perrott, K. Murphy, 1999 .

Explicitly restarted Lanczos algorithms in an MPP environment

Maurice Clint, Marek Szularz, Jim Weston, 1999, Parallel Comput..

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

Alan Stewart, Maurice Clint, James M. Boyle, 1997, Sci. Comput. Program..

The Automated Derivation of Sparse Implementations of Numerical Algorithms through Program Transformation 1

Peter Kilpatrick, Maurice Clint, Stephen Fitzpatrick, 1995 .

An Algebra for Deriving Efficient Implementations for an Array Processor Parallel Computer from Functional Specifications

Alan Stewart, Maurice Clint, Stephen Fitzpatrick, 1995 .

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

Maurice Clint, Alan Jennings, A. Jennings, 1970, Comput. J..

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

Maurice Clint, Marek Szularz, Jim Weston, 1999, Parallel Algorithms Appl..

A Highly Parallel Explicitly Restarted Lanczos Algorithm

Maurice Clint, Marek Szularz, Jim Weston, 1996, PARA.

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

Maurice Clint, Marek Szularz, Jim Weston, 1994, PARA.

Bounded Site Failures: An Approach to Unreliable Grid Environments

Peter Kilpatrick, Alan Stewart, Maurice Clint, 2008, CoreGRID Workshop - Making Grids Work.

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

Alan Stewart, Maurice Clint, Joaquim Gabarró, 2002, F-WAN@ICALP.

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

Maria J. Serna, Alan Stewart, Maurice Clint, 2001, Euro-Par.

AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS*

Alan Stewart, Maurice Clint, Joaquim Gabarró, 2000, Parallel Algorithms Appl..

Synchronising Asynchronous Communications

Alan Stewart, Maurice Clint, M. Clint, 1997, Euro-Par.

Towards the construction of an eigenvalue engine

Alan Stewart, Maurice Clint, Donal Roantree, 1988, Parallel Comput..

On the use of history variables

Maurice Clint, M. Clint, 1981, Acta Informatica.

Efficient Gram-Schmidt Orthogonalisation on an Array Processor

Maurice Clint, Jim Weston, J. B. Flannagan, 1994, CONPAR.

Lanczos Algorithms for Massively Parallel Processors

Maurice Clint, Marek Szularz, Jim Weston, 1997, PARCO.

The Parallel Computation of Partial Eigensolutions Using a Modified Lanczos Method

Maurice Clint, Marek Szularz, Jim Weston, 1997, Parallel Algorithms Appl..

Monitoring the Convergence of the Lanczos Algorithm in Parallel Computing Environments

Maurice Clint, Marek Szularz, Jim Weston, 1995, Parallel Algorithms Appl..

An improved parallel thinning algorithm

Ronald H. Perrott, Alan Stewart, Maurice Clint, 1987, CACM.

Assessing the Reliability and Cost of Web and Grid Orchestrations

Ronald H. Perrott, Peter Kilpatrick, Alan Stewart, 2008, 2008 Third International Conference on Availability, Reliability and Security.