Остановите войну!
for scientists:
default search action
Maurice Clint
- > Home > Persons > Maurice Clint
Publications
- 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
- [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) - 1998
- [c21]Stephen Kilpatrick, Maurice Clint, Peter Kilpatrick:
A Case Study on Proving Transformations Correct: Data-Parallel Conversion. IWFM 1998 - 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 - 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) - 1994
- [c11]Maurice Clint, Stephen Fitzpatrick, Terence J. Harmer, Peter Kilpatrick, James M. Boyle:
A Family of Data-Parallel Derivations. HPCN 1994: 457-462 - 1993
- [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
- [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 - 1991
- [j13]Lionel C. Waring, Maurice Clint:
Parallel Gram-Schmidt orthogonalisation on a network of transputers. Parallel Comput. 17(9): 1043-1050 (1991) - 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) - 1986
- [c1]Ronald H. Perrott, Christopher M. Holt, Maurice Clint, Alan Stewart:
A Parallel Processing Algorithm for Thinning Digitised Pictures. CONPAR 1986: 183-189 - 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) - 1980
- [p1]Maurice Clint, Ronald H. Perrott:
Algorithms for Parallel Computers. On the Construction of Programs 1980: 283-318 - 1972
- [j2]Maurice Clint, C. A. R. Hoare:
Program Proving: Jumps and Functions. Acta Informatica 1: 214-224 (1972)
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-09 00:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint