Maurice Clint

Maurice Clint

Maurice Clint was professor of Computer Science at Queen's University Belfast, Northern Ireland. His research interests include parallel algorithms for numerical linear algebra and the use of formal methods in the development of parallel and distributed mathematical software.[1] He received his PhD in 1970 from Queen's University Belfast on The eigensolution of unsymmetric matrices by simultaneous iteration,[2] supervised by Alan Jennings. His publications have covered topics including proving properties of programs (e.g., in work with C. A. R. Hoare), program transformation, and distributed computation of eigensolutions.

Publications

  • 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
  • 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
  • Maurice Clint, Efstratios Gallopoulos, Esmond Ng, Jean Roman: Parallel Matrix Algorithms and Applications (PMAA'04). Parallel Computing 32(2): 113-114 (2006)
  • Alan Stewart, Maurice Clint, Joaquim Gabarró: Barrier synchronisation: Axiomatisation and relaxation. Formal Asp. Comput. 16(1): 36-50 (2004)
  • Joaquim Gabarró, Alan Stewart, Maurice Clint, Eamonn Boyle, Isabel Vallejo: Computational Models for Web- and Grid-Based Computation. Euro-Par 2003: 640-650
  • 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)
  • 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
  • N. Reid, Peter Kilpatrick, Maurice Clint: Towards a Semantics For Multidimensional Array Assignment in Fortran 95. IWFM 2001
  • Alan Stewart, Maurice Clint: BSP-style Computation: a Semantic Investigation. Comput. J. 44(3): 174-185 (2001)
  • Alan Stewart, Maurice Clint, Joaquim Gabarró: Axiomatic Frameworks for Developing Bsp-style Programs. Parallel Algorithms Appl. 14(4): 271-292 (2000)
  • 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)
  • Marek Szularz, Jim Weston, Maurice Clint: Explicitly restarted Lanczos algorithms in an MPP environment. Parallel Computing 25(5): 613-631 (1999)
  • 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)
  • Maurice Clint, Wolfgang Kreuchlin: Numerical and Symbolic Algorithms. Euro-Par 1998: 747-750
  • Stephen Kilpatrick, Maurice Clint, Peter Kilpatrick: A Case Study on Proving Transformations Correct: Data-Parallel Conversion. IWFM 1998
  • Alan Stewart, Maurice Clint: Synchronising Asynchronous Communications. Euro-Par 1997: 511-520
  • Marek Szularz, Jim Weston, Maurice Clint: Robust Parallel Lanczos Methods for Clustered Eigenvalues. Euro-Par 1997: 710-717
  • Marek Szularz, Maurice Clint, Jim Weston: Lanczos Algorithms for Massively Parallel Processors. PARCO 1997: 619-622
  • 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)
  • 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)
  • 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
  • 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
  • Marek Szularz, Jim Weston, Maurice Clint, Kieran Murphy: A Highly Parallel Explicitly Restarted Lanczos Algorithm. PARA 1996: 651-660
  • 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)
  • 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)
  • Maurice Clint, Jim Weston, J. B. Flannagan: Efficient Gram-Schmidt Orthogonalisation on an Array Processor. CONPAR 1994: 218-228
  • M. B. Stuart, Maurice Clint: An algorithm for the Eigensolution of Tridiagonal Sparse Symmetric Matrices on Massively Parallel Processors. EUROSIM 1994: 415-422
  • Maurice Clint, Stephen Fitzpatrick, Terence J. Harmer, Peter Kilpatrick, James M. Boyle: A Family of Data-Parallel Derivations. HPCN 1994: 457-462
  • 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
  • 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)
  • J. S. Weston, Maurice Clint, A. Lee: Array Processor Algorithms for the Symmetric Eigenproblem: An Evaluation. PARCO 1993: 231-240
  • 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
  • L. C. Waring, Maurice Clint: Computation of the Eigenvalues of Real Symmetric Matrices Using a Processor Farm. CONPAR 1992: 355-360
  • 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
  • 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
  • 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)
  • 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)
  • L. C. Waring, Maurice Clint: Parallel Gram-Schmidt orthogonalisation on a network of transputers. Parallel Computing 17(9): 1043-1050 (1991)
  • 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
  • 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)
  • Donal Roantree, Maurice Clint: A Specification-Verification Framework for Distributed Applications Software. Specification and Verification of Concurrent Systems 1988: 153-183
  • Maurice Clint, Donal Roantree, Alan Stewart: Towards the construction of an eigenvalue engine. Parallel Computing 8(1-3): 127-132 (1988)
  • Christopher M. Holt, Alan Stewart, Maurice Clint, Ronald H. Perrott: An Improved Parallel Thinning Algorithm. Commun. ACM 30(2): 156-160 (1987)
  • D. Gault, Maurice Clint: A Fast Algorithm for the Towers of Hanoi Problem. Comput. J. 30(4): 376-378 (1987)
  • Ronald H. Perrott, Christopher M. Holt, Maurice Clint, Alan Stewart: A Parallel Processing Algorithm for Thinning Digitised Pictures. CONPAR 1986: 183-189
  • Maurice Clint, C. Vicent: The Use of Ghost Variables and Virtual Programming in the Documentation and Verification of Programs. Softw., Pract. Exper. 14(8): 711-737 (1984)
  • 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)
  • Maurice Clint: On the Use of History Variables. Acta Inf. 16: 15-30 (1981)
  • Maurice Clint, Ronald H. Perrott: Algorithms for Parallel Computers. On the Construction of Programs 1980: 283-318
  • Maurice Clint: Program Proving: Coroutines Acta Inf. 2: 50-63 (1973)
  • Maurice Clint, C. A. R. Hoare: Program Proving: Jumps and Functions Acta Inf. 1: 214-224 (1972)
  • Maurice Clint, A. Jennings: The Evaluation of Eigenvalues and Eigenvectors of Real Symmetric Matrices by Simultaneous Iteration. Comput. J. 13(1): 76-80 (1970)

Web pages

Notes

  1. ^ Maurice Clint's home page in 1997.
  2. ^ Maurice Clint (1970). The eigensolution of unsymmetric matrices by simultaneous iteration. PhD thesis, Queen's University Belfast.

Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Maurice Jones-Drew — at ESPN The Weekend in February 2010 No. 32     Jacksonville Jaguars Running back …   Wikipedia

  • Clint Richardson — No. 4 Shooting guard Personal information Date of birth July 7, 1956 (1956 07 07) (age 55) Place of birth Seattle, Washington …   Wikipedia

  • Clint Ingram — No.       Free Agent Linebacker Personal information Date of birth: March 21, 1983 (1983 03 21) (age 28) Place of …   Wikipedia

  • Clint Session — No. 55     Jacksonville Jaguars Linebacker Personal information Date of birth: September 22, 1984 (1984 09 22) (age 27) …   Wikipedia

  • Clint Oldenburg — No. 73     Virginia Destroyers Offensive tackle Personal information Date of birth: September 9, 1983 (1983 09 09) (age 28) …   Wikipedia

  • Maurice Chevalier — Maurice Chevalier, ca.1920 Born Maurice Auguste Chevalier September 12, 1888(1888 09 12) Menilmontant, Paris, Franc …   Wikipedia

  • Maurice Cheeks — Cheeks (right) with Thunder head coach Scott Brooks No. 10, 1 Point guard Person …   Wikipedia

  • Maurice Hicks — No. 43     Virginia Destroyers Running back Personal information Date of birth: July 22, 1978 (1978 07 22) (age 33) …   Wikipedia

  • Maurice Fountain — No. 70     Seattle Seahawks Defensive tackle Personal information Date of birth: September 22, 1982 (1982 09 22) (age 29) …   Wikipedia

  • Clint Eastwood — For other uses, see Clint Eastwood (disambiguation). Clint Eastwood Eastwood at the 2010 Toronto International Film Festival Born C …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”