| 2008 |
|---|
| 52 | EE | 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: 428-433 |
| 2006 |
|---|
| 51 | EE | Alan Stewart,
Joaquim Gabarró,
Maurice Clint,
Terence J. Harmer,
Peter Kilpatrick,
Ronald H. Perrott:
Managing Grid Computations: An ORC-Based Approach.
ISPA 2006: 278-291 |
| 50 | EE | Maurice Clint,
Efstratios Gallopoulos,
Esmond Ng,
Jean Roman:
Parallel Matrix Algorithms and Applications (PMAA'04).
Parallel Computing 32(2): 113-114 (2006) |
| 2004 |
|---|
| 49 | EE | Alan Stewart,
Maurice Clint,
Joaquim Gabarró:
Barrier synchronisation: Axiomatisation and relaxation.
Formal Asp. Comput. 16(1): 36-50 (2004) |
| 2003 |
|---|
| 48 | EE | Joaquim Gabarró,
Alan Stewart,
Maurice Clint,
Eamonn Boyle,
Isabel Vallejo:
Computational Models for Web- and Grid-Based Computation.
Euro-Par 2003: 640-650 |
| 2002 |
|---|
| 47 | EE | Joaquim Gabarró,
Alan Stewart,
Maurice Clint:
Grab and Go Systems: a CPO approach to concurrent web and grid-based computation.
Electr. Notes Theor. Comput. Sci. 66(3): (2002) |
| 2001 |
|---|
| 46 | EE | Alan Stewart,
Maurice Clint,
Joaquim Gabarró,
Maria J. Serna:
Towards Formally Refining BSP Barrier s into Explicit Two-Sided Communications.
Euro-Par 2001: 549-559 |
| 45 | EE | N. Reid,
Peter Kilpatrick,
Maurice Clint:
Towards a Semantics For Multidimensional Array Assignment in Fortran 95.
IWFM 2001 |
| 44 | EE | Alan Stewart,
Maurice Clint:
BSP-style Computation: a Semantic Investigation.
Comput. J. 44(3): 174-185 (2001) |
| 2000 |
|---|
| 43 | EE | Alan Stewart,
Maurice Clint,
Joaquim Gabarró:
Axiomatic Frameworks for Developing Bsp-style Programs*.
Parallel Algorithms Appl. 14(4): 271-292 (2000) |
| 1999 |
|---|
| 42 | EE | 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): 57-77 (1999) |
| 41 | | Marek Szularz,
Jim Weston,
Maurice Clint:
Explicitly restarted Lanczos algorithms in an MPP environment.
Parallel Computing 25(5): 613-631 (1999) |
| 40 | | Erricos John Kontoghiorghes,
Maurice Clint,
Hans-Heinrich Naegeli:
Recursive least-squares using a hybrid Householder algorithm on massively parallel SIMD systems.
Parallel Computing 25(9): 1147-1159 (1999) |
| 1998 |
|---|
| 39 | EE | Maurice Clint,
Wolfgang Kreuchlin:
Numerical and Symbolic Algorithms.
Euro-Par 1998: 747-750 |
| 38 | EE | Stephen Kilpatrick,
Maurice Clint,
Peter Kilpatrick:
A Case Study on Proving Transformations Correct: Data-Parallel Conversion.
IWFM 1998 |
| 1997 |
|---|
| 37 | | Alan Stewart,
Maurice Clint:
Synchronising Asynchronous Communications.
Euro-Par 1997: 511-520 |
| 36 | | Marek Szularz,
Jim Weston,
Maurice Clint:
Robust Parallel Lanczos Methods for Clustered Eigenvalues.
Euro-Par 1997: 710-717 |
| 35 | | Marek Szularz,
Maurice Clint,
Jim Weston:
Lanczos Algorithms for Massively Parallel Processors.
PARCO 1997: 619-622 |
| 34 | EE | 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): 299-323 (1997) |
| 33 | | 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): 1-41 (1997) |
| 1996 |
|---|
| 32 | | 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: 22-25 |
| 31 | | 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: 26-33 |
| 30 | | Marek Szularz,
Jim Weston,
Maurice Clint,
Kieran Murphy:
A Highly Parallel Explicitly Restarted Lanczos Algorithm.
PARA 1996: 651-660 |
| 29 | | 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): 145-168 (1996) |
| 1995 |
|---|
| 28 | EE | Marek Szularz,
Jim Weston,
Kieran Murphy,
Maurice Clint:
Monitoring the Convergence of the Lanczos Algorithm in Parallel Computing Environments.
Parallel Algorithms Appl. 6(4): 287-302 (1995) |
| 1994 |
|---|
| 27 | | Maurice Clint,
Jim Weston,
J. B. Flannagan:
Efficient Gram-Schmidt Orthogonalisation on an Array Processor.
CONPAR 1994: 218-228 |
| 26 | | M. B. Stuart,
Maurice Clint:
An algorithm for the Eigensolution of Tridiagonal Sparse Symmetric Matrices on Massively Parallel Processors.
EUROSIM 1994: 415-422 |
| 25 | | Maurice Clint,
Stephen Fitzpatrick,
Terence J. Harmer,
Peter Kilpatrick,
James M. Boyle:
A Family of Data-Parallel Derivations.
HPCN 1994: 457-462 |
| 24 | | Marek Szularz,
Jim Weston,
Kieran Murphy,
Maurice Clint:
Parallel Algorithms for the Partial Eigensolution of Large Sparse Matrices on Novel Architecture Computers.
PARA 1994: 469-482 |
| 23 | EE | Maurice Clint,
C. W. Bleakney,
J. S. Weston:
Comparison of parallel Fortran environments on the AMT DAP510 for a linear algebra application.
Concurrency - Practice and Experience 6(3): 193-204 (1994) |
| 1993 |
|---|
| 22 | | J. S. Weston,
Maurice Clint,
A. Lee:
Array Processor Algorithms for the Symmetric Eigenproblem: An Evaluation.
PARCO 1993: 231-240 |
| 21 | | J. P. Wray,
Stephen Fitzpatrick,
Maurice Clint,
P. L. Kilpatrick:
Deriving Processing on SYDAMA-2: Concept and Realization of the Software.
PARCO 1993: 354-360 |
| 1992 |
|---|
| 20 | | L. C. Waring,
Maurice Clint:
Computation of the Eigenvalues of Real Symmetric Matrices Using a Processor Farm.
CONPAR 1992: 355-360 |
| 19 | | 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: 761-767 |
| 18 | | Jim Weston,
Maurice Clint,
C. W. Bleakney:
Parallel Implementations of Jacobi's Algorithm for the Eigensolution of Large Matrices Using Array Processors.
CONPAR 1992: 787-788 |
| 17 | | Maurice Clint,
Jim Weston,
C. W. Bleakney:
A comparison of two Fortran dialects for expressing parallel solutions for a problem in linear algebra.
Parallel Computing 18(12): 1325-1333 (1992) |
| 1991 |
|---|
| 16 | EE | J. S. Weston,
Maurice Clint,
C. W. Bleakney:
The parallel computation of eigenvalues and eigenvectors of large Hermitian matrices using the AMT DAP 510.
Concurrency - Practice and Experience 3(3): 179-185 (1991) |
| 15 | | L. C. Waring,
Maurice Clint:
Parallel Gram-Schmidt orthogonalisation on a network of transputers.
Parallel Computing 17(9): 1043-1050 (1991) |
| 1990 |
|---|
| 14 | | Maurice Clint,
Jim Weston,
C. W. Bleakney:
Hybrid Algorithms for the Eigensolution of Large Sparse Symmetric Matrices on the AMT DAP 510.
CONPAR 1990: 766-773 |
| 13 | | Jim Weston,
Maurice Clint:
Two algorithms for the parallel computation of eigenvalues and eigenvectors of large symmetric matrices using the ICL DAP.
Parallel Computing 13(3): 281-288 (1990) |
| 1988 |
|---|
| 12 | | Donal Roantree,
Maurice Clint:
A Specification-Verification Framework for Distributed Applications Software.
Specification and Verification of Concurrent Systems 1988: 153-183 |
| 11 | | Maurice Clint,
Donal Roantree,
Alan Stewart:
Towards the construction of an eigenvalue engine.
Parallel Computing 8(1-3): 127-132 (1988) |
| 1987 |
|---|
| 10 | | Christopher M. Holt,
Alan Stewart,
Maurice Clint,
Ronald H. Perrott:
An Improved Parallel Thinning Algorithm.
Commun. ACM 30(2): 156-160 (1987) |
| 9 | | D. Gault,
Maurice Clint:
A Fast Algorithm for the Towers of Hanoi Problem.
Comput. J. 30(4): 376-378 (1987) |
| 1986 |
|---|
| 8 | | Ronald H. Perrott,
Christopher M. Holt,
Maurice Clint,
Alan Stewart:
A Parallel Processing Algorithm for Thinning Digitised Pictures.
CONPAR 1986: 183-189 |
| 1984 |
|---|
| 7 | | Maurice Clint,
C. Vicent:
The Use of Ghost Variables and Virtual Programming in the Documentation and Verfication of Programs.
Softw., Pract. Exper. 14(8): 711-737 (1984) |
| 1983 |
|---|
| 6 | | 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. Exper. 13(10): 961-974 (1983) |
| 1981 |
|---|
| 5 | | Maurice Clint:
On the Use of History Variables.
Acta Inf. 16: 15-30 (1981) |
| 1980 |
|---|
| 4 | | Maurice Clint,
Ronald H. Perrott:
Algorithms for Parallel Computers.
On the Construction of Programs 1980: 283-318 |
| 1973 |
|---|
| 3 | | Maurice Clint:
Program Proving: Coroutines
Acta Inf. 2: 50-63 (1973) |
| 1972 |
|---|
| 2 | | Maurice Clint,
C. A. R. Hoare:
Program Proving: Jumps and Functions
Acta Inf. 1: 214-224 (1972) |
| 1970 |
|---|
| 1 | | Maurice Clint,
A. Jennings:
The Evaluation of Eigenvalues and Eigenvectors of Real Symmetric Matrices by Simultaneous Iteration.
Comput. J. 13(1): 76-80 (1970) |
