Liangxiu Han, Stephen Potter, George Beckett, Gavin Pringle, Sung-han Koo, Gerhard Wickler, ...
The FireGrid project aims to harness the potential of advanced forms of computation to support the response to large-scale emergencies (with an initial focus on the response to fires in the built...
Lin Yang, Alan Bundy, Dave Berry, Conrad Hughes
National e-Science Centre Workflows are playing a crucial role in e-Science systems. In many cases, e-Scientists need to do average case estimates of the performance of workflows. Quality of Service...
Grid Services Supporting the Usage of Secure Federated, Distributed Biomedical Data (2008)
Richard Sinnott, Malcolm Atkinson, Micha Bayer, Dave Berry, Magnus Ferrier, David Gilbert, ...
The BRIDGES project is a UK e-Science project that provides grid based support for biomedical research into the genetics of hypertension – the Cardiovascular Functional Genomics Project (CFG). Its...
Introduction to FireGrid (2007)
Welch, Stephen, Usmani, Asif, Upadhyay, Rochan, Berry, Dave, Potter, Stephen, Torero, Jose L
Chapter 1 in the book: The Dalmarnock Fire Tests: Experiments and Modelling, Edited by G. Rein, C. Abecassis Empis and R. Carvel, Published by the School of Engineering and Electronics, University of...
Paul Brebner, Paul Brebner, Jake Wu, Oliver Malham, Paul Brebner, Wolfgang Emmerich, ...
The goal of the UK OGSA Evaluation Project was to establish a Globus Toolkit Version 3.2 (GT3.2) test-bed across four organisations, and then conduct experiments to learn about the...
Paul Brebner, Wolfgang Emmerich, Jake Wu, Savas Parastatidis, Mark Hewitt, ...
The initial goal of the UK OGSA Evaluation Project was to establish a Globus Toolkit Version 3.2 (GT3.2) test-bed across four organisations. This report details our experiences to date installing,...
A semantics for ML concurrency primitives (1992)
Dave Berry, Robin Milner, David N. Turner
We present a set of concurrency primitives for Standard ML. We define these by giving the transitional semantics of a simple language. We prove that our semantics preserves the expected behaviour of...
The Edinburgh SML Library (1991)
The Edinburgh Standard ML Library provides more than 200 functions on a range of types. It is written in portable Standard ML. Optimised versions exist for Standard ML of New Jersey, Poly/ML and...