Maurice Clint

	2008
53		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
	2007
52		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: 175-187
	2006
51		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		Maurice Clint, Efstratios Gallopoulos, Esmond Ng, Jean Roman: Parallel Matrix Algorithms and Applications (PMAA'04). Parallel Computing 32(2): 113-114 (2006)
	2004
49		Alan Stewart, Maurice Clint, Joaquim Gabarró: Barrier synchronisation: Axiomatisation and relaxation. Formal Asp. Comput. 16(1): 36-50 (2004)
	2003
48		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		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): 1-21 (2002)
	2001
46		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		N. Reid, Peter Kilpatrick, Maurice Clint: Towards a Semantics For Multidimensional Array Assignment in Fortran 95. IWFM 2001
44		Alan Stewart, Maurice Clint: BSP-style Computation: a Semantic Investigation. Comput. J. 44(3): 174-185 (2001)
	2000
43		Alan Stewart, Maurice Clint, Joaquim Gabarró: Axiomatic Frameworks for Developing Bsp-style Programs*. Parallel Algorithms Appl. 14(4): 271-292 (2000)
	1999
42		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		Maurice Clint, Wolfgang Kreuchlin: Numerical and Symbolic Algorithms. Euro-Par 1998: 747-750
38		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		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		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		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		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)

Coauthor Index

1	C. W. Bleakney	[14] [16] [17] [18] [23]
2	Eamonn Boyle	[48]
3	James M. Boyle	[19] [25] [33]
4	Stephen Fitzpatrick	[19] [21] [25] [29] [33]
5	J. B. Flannagan	[27]
6	Joaquim Gabarró	[43] [46] [47] [48] [49] [51] [52] [53]
7	Efstratios Gallopoulos	[50]
8	Alina García	[52]
9	D. Gault	[9]
10	Terence J. Harmer (Terry Harmer)	[19] [25] [29] [33] [51] [53]
11	C. A. R. Hoare (Tony Hoare)	[2]
12	Christopher M. Holt	[6] [8] [10]
13	A. Jennings	[1]
14	Peter Kilpatrick (P. L. Kilpatrick)	[21] [25] [29] [38] [45] [51] [52] [53]
15	Stephen Kilpatrick	[38]
16	Erricos John Kontoghiorghes	[40]
17	Wolfgang Kreuchlin	[39]
18	A. Lee	[22]
19	Kieran Murphy	[24] [28] [30] [31] [32] [34]
20	Hans-Heinrich Naegeli	[40]
21	Esmond Ng	[50]
22	Ronald H. Perrott	[4] [6] [8] [10] [51] [53]
23	N. Reid	[45]
24	Donal Roantree	[11] [12]
25	Jean Roman	[50]
26	Maria J. Serna	[46]
27	Alan Stewart	[6] [8] [10] [11] [33] [37] [43] [44] [46] [47] [48] [49] [51] [52] [53]
28	M. B. Stuart	[26]
29	Marek Szularz	[24] [28] [30] [31] [32] [34] [35] [36] [41] [42]
30	Isabel Vallejo	[48]
31	C. Vicent	[7]
32	L. C. Waring	[15] [20]
33	J. S. Weston	[16] [22] [23]
34	Jim Weston	[13] [14] [17] [18] [24] [27] [28] [30] [31] [32] [34] [35] [36] [41] [42]
35	J. P. Wray	[21]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page