TY  - Generic
T1  - Varpy: A python library for volcanology and rock physics data analysis. EGU2014-3699
Y1  - 2014
A1  - Rosa Filgueira
A1  - Malcolm Atkinson
A1  - Andrew Bell
A1  - Branwen Snelling
ER  - 

TY  - CONF
T1  - V-BOINC: The Virtualization of BOINC
T2  - In Proceedings of the 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2013).
Y1  - 2013
A1  - Gary McGilvary
A1  - Barker, Adam
A1  - Ashley Lloyd
A1  - Malcolm Atkinson
AB  - The Berkeley Open Infrastructure for Network Computing (BOINC) is an open source client-server middleware system created to allow projects with large computational requirements, usually set in the scientific domain, to utilize a technically unlimited number of volunteer machines distributed over large physical distances. However various problems exist deploying applications over these heterogeneous machines using BOINC: applications must be ported to each machine architecture type, the project server must be trusted to supply authentic applications,  applications that do not regularly checkpoint may lose execution progress upon volunteer machine termination and applications that have dependencies may find it difficult to run under BOINC.    To solve such problems we introduce virtual BOINC, or V-BOINC, where virtual machines are used to run computations on volunteer machines. Application developers can then compile their applications on a single architecture, checkpointing issues are solved through virtualization API's and many security concerns are addressed via the virtual machine's sandbox environment. In this paper we focus on outlining a unique approach on how virtualization can be introduced into BOINC and demonstrate that V-BOINC offers acceptable computational performance when compared to regular BOINC. Finally we show that applications with dependencies can easily run under V-BOINC in turn increasing the computational potential volunteer computing offers to the general public and project developers.    V-BOINC can be downloaded at http://garymcgilvary.co.uk/vboinc.html
JF  - In Proceedings of the 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2013).
CY  - Delft, The Netherlands
ER  - 

TY  - JOUR
T1  - Validation and mismatch repair of workflows through typed data streams
JF  - Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Y1  - 2011
A1  - Yaikhom, Gagarine
A1  - Malcolm Atkinson
A1  - van Hemert, Jano
A1  - Oscar Corcho
A1  - Krause, Amy
AB  - The type system of a language guarantees that all of the operations on a set of data comply with the rules and conditions set by the language. While language typing is a fundamental requirement for any programming language, the typing of data that flow between processing elements within a workflow is currently being treated as optional. In this paper, we introduce a three-level type system for typing workflow data streams. These types are parts of the Data Intensive System Process Engineering Language programming language, which empowers users with the ability to validate the connections inside a workflow composition, and apply appropriate data type conversions when necessary. Furthermore, this system enables the enactment engine in carrying out type-directed workflow optimizations.
VL  - 369
IS  - 1949
ER  - 

TY  - Generic
T1  - VLDB'99, Proceedings of 25th International Conference on Very Large Data Bases, September 7-10, 1999, Edinburgh, Scotland, UK
Y1  - 1999
A1  - Atkinson, Malcolm P.
A1  - Maria E. Orlowska
A1  - Patrick Valduriez
A1  - Stanley B. Zdonik
A1  - Michael L. Brodie
ED  - Atkinson, Malcolm P.
ED  - Maria E. Orlowska
ED  - Patrick Valduriez
ED  - Stanley B. Zdonik
ED  - Michael L. Brodie
PB  - Morgan Kaufmann
SN  - 1-55860-615-7
ER  -