![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Maurice Clint
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2008
- [c29]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
- [c28]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
- [j27]Maurice Clint, Efstratios Gallopoulos, Esmond Ng, Jean Roman:
Parallel Matrix Algorithms and Applications (PMAA'04). Parallel Comput. 32(2): 113-114 (2006) - [c27]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 - 2004
- [j26]Alan Stewart, Maurice Clint, Joaquim Gabarró:
Barrier synchronisation: Axiomatisation and relaxation. Formal Aspects Comput. 16(1): 36-50 (2004) - 2003
- [c26]Joaquim Gabarró, Alan Stewart, Maurice Clint, Eamonn Boyle, Isabel Vallejo:
Computational Models for Web- and Grid-Based Computation. Euro-Par 2003: 640-650 - 2002
- [c25]Joaquim Gabarró, Alan Stewart, Maurice Clint:
Grab and Go Systems: a CPO approach to concurrent web and grid-based computation. F-WAN@ICALP 2002: 1-21 - 2001
- [j25]Alan Stewart, Maurice Clint:
BSP-style Computation: a Semantic Investigation. Comput. J. 44(3): 174-185 (2001) - [c24]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 - [c23]N. Reid, Peter Kilpatrick, Maurice Clint:
Towards a Semantics For Multidimensional Array Assignment in Fortran 95. IWFM 2001 - 2000
- [j24]Alan Stewart, Maurice Clint, Joaquim Gabarró:
Axiomatic Frameworks for Developing Bsp-style Programs*. Parallel Algorithms Appl. 14(4): 271-292 (2000)
1990 – 1999
- 1999
- [j23]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) - [j22]Marek Szularz, Jim Weston, Maurice Clint:
Explicitly restarted Lanczos algorithms in an MPP environment. Parallel Comput. 25(5): 613-631 (1999) - [j21]Erricos John Kontoghiorghes
, Maurice Clint, Hans-Heinrich Naegeli:
Recursive least-squares using a hybrid Householder algorithm on massively parallel SIMD systems. Parallel Comput. 25(9): 1147-1159 (1999) - 1998
- [c22]Maurice Clint, Wolfgang Kreuchlin:
Numerical and Symbolic Algorithms. Euro-Par 1998: 747-750 - [c21]Stephen Kilpatrick, Maurice Clint, Peter Kilpatrick:
A Case Study on Proving Transformations Correct: Data-Parallel Conversion. IWFM 1998 - 1997
- [j20]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) - [j19]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) - [c20]Alan Stewart, Maurice Clint:
Synchronising Asynchronous Communications. Euro-Par 1997: 511-520 - [c19]Marek Szularz, Jim Weston, Maurice Clint:
Robust Parallel Lanczos Methods for Clustered Eigenvalues. Euro-Par 1997: 710-717 - [c18]Marek Szularz, Maurice Clint, Jim Weston:
Lanczos Algorithms for Massively Parallel Processors. PARCO 1997: 619-622 - 1996
- [j18]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) - [c17]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 - [c16]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 - [c15]Marek Szularz, Jim Weston, Maurice Clint, Kieran Murphy:
A Highly Parallel Explicitly Restarted Lanczos Algorithm. PARA 1996: 651-660 - 1995
- [j17]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) - [c14]Kieran Murphy, Maurice Clint, Marek Szularz, J. S. Weston:
Simultaneous Iteration in Parallel Computing Environments: A Comparative Evaluation. PARCO 1995: 521-529 - 1994
- [j16]Maurice Clint, C. W. Bleakney, J. S. Weston:
Comparison of parallel Fortran environments on the AMT DAP510 for a linear algebra application. Concurr. Pract. Exp. 6(3): 193-204 (1994) - [c13]Maurice Clint, Jim Weston, J. B. Flannagan:
Efficient Gram-Schmidt Orthogonalisation on an Array Processor. CONPAR 1994: 218-228 - [c12]M. B. Stuart, Maurice Clint:
An algorithm for the Eigensolution of Tridiagonal Sparse Symmetric Matrices on Massively Parallel Processors. EUROSIM 1994: 415-422 - [c11]Maurice Clint, Stephen Fitzpatrick, Terence J. Harmer, Peter Kilpatrick, James M. Boyle:
A Family of Data-Parallel Derivations. HPCN 1994: 457-462 - [c10]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 - 1993
- [c9]J. S. Weston, Maurice Clint, A. Lee:
Array Processor Algorithms for the Symmetric Eigenproblem: An Evaluation. PARCO 1993: 231-240 - [c8]Johnston Paul Wray, Stephen Fitzpatrick, Maurice Clint, P. L. Kilpatrick:
Deriving Processing on SYDAMA-2: Concept and Realization of the Software. PARCO 1993: 354-360 - [c7]Maurice Clint, Lionel C. Waring:
The Orthogonalisation of Small Sets of Very Long Vectors on Massively Parallel Computers. PARCO 1993: 485-488 - 1992
- [j15]Maurice Clint, Jim Weston, C. W. Bleakney:
A comparison of two Fortran dialects for expressing parallel solutions for a problem in linear algebra. Parallel Comput. 18(12): 1325-1333 (1992) - [c6]Lionel C. Waring, Maurice Clint:
Computation of the Eigenvalues of Real Symmetric Matrices Using a Processor Farm. CONPAR 1992: 355-360 - [c5]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 - [c4]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 - 1991
- [j14]J. S. Weston, Maurice Clint, C. W. Bleakney:
The parallel computation of eigenvalues and eigenvectors of large Hermitian matrices using the AMT DAP 510. Concurr. Pract. Exp. 3(3): 179-185 (1991) - [j13]Lionel C. Waring, Maurice Clint:
Parallel Gram-Schmidt orthogonalisation on a network of transputers. Parallel Comput. 17(9): 1043-1050 (1991) - 1990
- [j12]Robin A. Nicholl, Maurice Clint, David Gray, Tina M. Nicholl:
The use of functional annotations in verifying imperative programs. Softw. Eng. J. 5(5): 280-288 (1990) - [j11]Jim Weston, Maurice Clint:
Two algorithms for the parallel computation of eigenvalues and eigenvectors of large symmetric matrices using the ICL DAP. Parallel Comput. 13(3): 281-288 (1990) - [c3]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
1980 – 1989
- 1988
- [j10]Maurice Clint, Donal Roantree, Alan Stewart:
Towards the construction of an eigenvalue engine. Parallel Comput. 8(1-3): 127-132 (1988) - [c2]Donal Roantree, Maurice Clint:
A Specification-Verification Framework for Distributed Applications Software. Specification and Verification of Concurrent Systems 1988: 153-183 - 1987
- [j9]Christopher M. Holt, Alan Stewart, Maurice Clint, Ronald H. Perrott:
An Improved Parallel Thinning Algorithm. Commun. ACM 30(2): 156-160 (1987) - [j8]D. Gault, Maurice Clint:
A Fast Algorithm for the Towers of Hanoi Problem. Comput. J. 30(4): 376-378 (1987) - 1986
- [c1]Ronald H. Perrott, Christopher M. Holt, Maurice Clint, Alan Stewart:
A Parallel Processing Algorithm for Thinning Digitised Pictures. CONPAR 1986: 183-189 - 1984
- [j7]Maurice Clint, C. Vicent:
The Use of Ghost Variables and Virtual Programming in the Documentation and Verfication of Programs. Softw. Pract. Exp. 14(8): 711-737 (1984) - 1983
- [j6]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. Exp. 13(10): 961-974 (1983) - 1981
- [j5]Maurice Clint:
On the Use of History Variables. Acta Informatica 16: 15-30 (1981) - [j4]K. T. Narayana, Maurice Clint:
On the formal treatment of a permutation finding program. ACM SIGPLAN Notices 16(10): 62-73 (1981) - 1980
- [p1]Maurice Clint, Ronald H. Perrott:
Algorithms for Parallel Computers. On the Construction of Programs 1980: 283-318
1970 – 1979
- 1973
- [j3]Maurice Clint:
Program Proving: Coroutines. Acta Informatica 2: 50-63 (1973) - 1972
- [j2]Maurice Clint, C. A. R. Hoare:
Program Proving: Jumps and Functions. Acta Informatica 1: 214-224 (1972) - 1970
- [j1]Maurice Clint, Alan Jennings:
The Evaluation of Eigenvalues and Eigenvectors of Real Symmetric Matrices by Simultaneous Iteration. Comput. J. 13(1): 76-80 (1970)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint