Alan Stewart

Maria J. Serna

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

Architecture for Compliance Analysis of Distributed Service based Systems.

[BibT_eX]

Proceedings of the CLOSER 2011, 2011

2010

Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung.

[BibT_eX]

[DOI]

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

2010 CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing.

[BibT_eX]

[DOI]

Marco Danelutto

Frédéric Desprez

Paraskevi Fragopoulou

Proceedings of the Euro-Par 2010 Parallel Processing Workshops, 2010

2008

Analysing Orchestrations Using Risk Profiles And Angel-Daemon Games.

[BibT_eX]

[DOI]

Proceedings of the Grid Computing, 2008

Assessing the Reliability and Cost of Web and Grid Orchestrations.

[BibT_eX]

[DOI]

Proceedings of the The Third International Conference on Availability, 2008

2007

Bounded Site Failures: An Approach to Unreliable Grid Environments.

[BibT_eX]

[DOI]

Proceedings of the Making Grids Work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, 2007

2006

Managing Grid Computations: An ORC-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Parallel and Distributed Processing and Applications, 2006

2004

Barrier synchronisation: Axiomatisation and relaxation.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2004

2003

Computational Models for Web- and Grid-Based Computation.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

2002

Grab and Go Systems: a CPO approach to concurrent web and grid-based computation.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Wide Area Network Computing, 2002

2001

BSP-style Computation: a Semantic Investigation.

[BibT_eX]

[DOI]

Comput. J., 2001

Towards Formally Refining BSP Barrier s into Explicit Two-Sided Communications.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000

Axiomatic Frameworks for Developing Bsp-style Programs*.

[BibT_eX]

[DOI]

Parallel Algorithms Appl., 2000

1997

The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1997

An Axiomatic Semantics for Data Parallel Computation.

[BibT_eX]

[DOI]

Proceedings of the 1st Irish Workshop on Formal Methods, 1997

Synchronising Asynchronous Communications.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1994

A one-pass thinning algorithm with interference guards.

[BibT_eX]

[DOI]

Pattern Recognit. Lett., 1994

1990

An Axiomatic Treatment of SIMD Assignment.

[BibT_eX]

[DOI]

BIT, 1990

1989

A parallel thinning algorithm with fine grain subtasking.

[BibT_eX]

[DOI]

Christopher M. Holt

Parallel Comput., 1989

1988

Towards the construction of an eigenvalue engine.

[BibT_eX]

[DOI]

Donal Roantree

Parallel Comput., 1988

SIMD Language Design Using Prescriptive Semantics.

[BibT_eX]

[DOI]

BIT, 1988

1987

An Improved Parallel Thinning Algorithm.

[BibT_eX]

[DOI]

Commun. ACM, 1987

1986

The formal specification of computational structures.

[BibT_eX]

[DOI]

PhD thesis, 1986

A Parallel Processing Algorithm for Thinning Digitised Pictures.

[BibT_eX]

[DOI]

Proceedings of the CONPAR 86: Conference on Algorithms and Hardware for Parallel Processing, 1986

1983

The Influence of Hardware and Software Considerations on the Design of Synchronous Parallel Algorithms.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1983

1974

A New Type of VF Repeater for Two-Wire Transmission Loops.

[BibT_eX]

[DOI]