School of Computing

Initial experiences with occam-pi simulations of blood clotting on the minimum intrusion grid

Peter H. Welch, Brian Vinter, and Frederick R.M. Barnes

In Hamid R. Arabnia, editor, Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'05), pages 182-196, Las Vegas, Nevada, USA, June 2005. CSREA Press.

Abstract

This paper describes our initial experiences of running simple blood-clot simulations on Grid infrastructure. The individual simulations are concurrent process networks programmed in occampi, containing over ten thousand parallel processes. The Minimum intrusion Grid (MiG) infrastructure is used to distribute program execution and result collection automatically across a set of processing nodes.

Download publication 998 kbytes (PostScript)

Bibtex Record

@inproceedings{2248,
author = {Peter H. Welch and Brian Vinter and Frederick R.M. Barnes},
title = {Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion Grid},
month = {June},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2248},
    publication_type = {inproceedings},
    submission_id = {20068_1127483777},
    ISBN = {1-932415-58-0},
    booktitle = {Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'05)},
    editor = {Hamid R. Arabnia},
    address = {Las Vegas, Nevada, USA},
    publisher = {CSREA Press},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014