Supporting Multi-view Network Analysis to Understand Company Value Chains (2009)
Zuo, Landong, Salvadores, Manuel, Imtiaz, Hazzaz, Darlington, John, Gibbins, Nicholas, Shadbolt, Nigel, ...
The analysis of company value chains is a fundamental task within the MBI (Market Blended Insight) project whose objective is to develop web based techniques to improve performance of UK Business to...
Imtiaz, Hazzaz, Darlington, John, Zuo, Landong
The Market Blended Insight project1 has the objective of improving the UK business to business marketing performance using the semantic web technologies. In this project, we are implementing an...
LinksB2N: Automatic Data Integration for the Semantic Web (2009)
Salvadores, Manuel, Correndo, Gianluca, Rodriguez-Castro, Benedicto, Gibbins, Nicholas, Darlington, John, Shadbolt, Nigel
The ongoing trend towards open data embraced by the Semantic Web has started to produce a large number of data sources. These data sources are published using RDF vocabularies, and it is possible to...
LinksB2N: Automatic Data Integration for the Semantic Web (2009)
Salvadores, Manuel, Correndo, Gianluca, Rodriguez-Castro, Benedicto, Gibbins, Nicholas, Darlington, John, Shadbolt, Nigel
The ongoing trend towards open data embraced by the Semantic Web has started to produce a large number of data sources. These data sources are published using RDF vocabularies, and it is possible to...
Grid Workflow Scheduling In WOSE (2008)
Yash Patel, Andrew Stephen, M Gough, John Darlington
Abstract — The success of web services has infuenced the way in which grid applications are being written. Grid users seek to use combinations of web services to perform the overall task they need...
RealityGrid: An Integrated Approach to Middleware through ICENI (2008)
Jeremy Cohen, Nathalie Furmento, Gary Kong, Anthony Mayer, Steven Newhouse, John Darlington
The advancement of modelling and simulation within complex scientific applications is currently constrained by the rate at which knowledge can be extracted from the data produced. As Grid Computing...
A. Stephen Mcgough, William Lee, John Darlington
Abstract. The Imperial College e-Science Networked Infrastructure (ICENI) has been developed by the London e-Science Centre for over four years. ICENI has prototyped many novel ideas for providing an...
Market Blended Insight: modeling propensity to buy with the Semantic Web (2008)
Salvadores, Manuel, Zuo, Landong, Imtiaz, Hazzaz, Darlington, John, Gibbins, Nicholas, Shadbolt, Nigel
MBI is a project with a clear objective of making a significant performance improvement in UK business to business (B2B) marketing activities in the 5-7 year timeframe. The project plans to aggregate...
Market Blended Insight: modeling propensity to buy with the Semantic Web (2008)
Salvadores, Manuel, Zuo, Landong, Imtiaz, Hazzaz, Darlington, John, Gibbins, Nicholas, Shadbolt, Nigel
MBI is a project with a clear objective of making a significant performance improvement in UK business to business (B2B) marketing activities in the 5-7 year timeframe. The project plans to aggregate...
David W Walker, Robert J. Allan, John Darlington
The Grid computing community is now converging on a service-oriented architecture in which applications are composed from geographically dispersed, interacting Web services, and expressed in a...
Unlocking the Potential of Public Sector Information with Semantic Web Technology (2008)
Harith Alani, John Sheridan, John Darlington, Nigel Shadbolt, Carol Tullo
Abstract. Governments often hold very rich data and whilst much of this information is published and available for re-use by others, it is often trapped by poor data structures, locked up in legacy...
Umversity of Edinburgh, Edinburgh, Scotland (2008)
R. M. Burstall, John Darlington
ABSTRACT A system of rules for transforming programs is described, with the programs in the form of recurslon equations An imtlally very simple, lucid, and hopefully correct program is transformed...
Workflow Expression: Comparison of Spatial and Temporal Approaches (2008)
Anthony Mayer, Steve Mcgough, Nathalie Furmento, William Lee, Murtaza Gulamali, Steven Newhouse, ...
We identify two forms of workflow expression, temporal, in which relations may imply temporal dependencies, and spatial, in which they do not. Spatial expressions enable the dynamic modification of...
Profess: A Portable System for Prototyping the Performance of Parallel Programs (2007)
John Darlington, Moustafa M. Ghanem, Shamimabi Paurobally
Profess is a parallel program simulation tool designed to help application programmers in evaluating the performance of candidate implementations of their programs on a parallel machine. Users...
Guided Resource Organisation in Heterogeneous Parallel Computing (2007)
John Darlington, Moustafa Ghanem, Yi-ke Guo, Hing Wing To
Heterogeneous structures are becoming an important aspect of high performance computing. Examples of these structures arise from clustering together pools of non-uniform workstations and from using...
Supporting Irregular Applications in SPF (2007)
The SPP(X) model and its Fortran instantiation, as described in PCW'94 and PCW'96, presents a powerful parallel co-ordination framework for expressing regular applications over rectilinear...
SPF: Structured Parallel Fortran (2007)
John Darlington, Yi-ke Guo, Hing Wing To, Jin Yang
This paper introduces Structured Parallel Fortran (SPF). SPF is based on the principle of structured co-ordination in which a set of functional co-ordination primitives are used to organise...
Scalable Query Assistance for Search Engines (2007)
John Darlington, Yike Guo, Stefan Rüger
We present a novel algorithm that computes related words to a query by analysing the subset of hit documents w.r.t. the whole document collection. 1 Introduction Search engines such as Fujitsu's...
Transaction Ratio, Andrew J Bennett, John Darlington
line size (cells) Wave-5 128PEs 64PEs 32PEs 16PEs 8PEs 4PEs 2PEs Figure 1: Tidal simulation example: proportion of heap accesses involving access to the network using simplified Berkeley protocol,...
Definitional Concurrent Constraint Programming (2007)
Machine, Linear Objects [AP89] and Maude [Mes91], which is a concurrent programming language proposed by Meseguer based on his general rewriting logic modulo an ACI (commutativity, associativity and...
Co-ordinating Combined Parallel Vector and Scalar Computation (2007)
John Darlington, Yike Guo, Moustafa M. Ghanem, Jin Yang, Kwok Tat Au, Rami Sik
A new parallel programming approach based on the structured co-ordination of parallel behaviour is applied to programming the Fujitsu AP1000 for mixed parallel vector and scalar computation. With...
Umversity of Edinburgh, Edinburgh, Scotland (2007)
R. M. Burstall, John Darlington
ABSTRACT A system of rules for transforming programs is described, with the programs in the form of recurslon equations An imtlally very simple, lucid, and hopefully correct program is transformed...
Exploiting Vector and Heterogeneous Systems (2007)
Kwok Tat, Peter Au, John Darlington, Moustafa Ghanem, Yi-ke Guo, Hing Wing To
Programming parallel systems is difficult especially when such systems incorporate heterogeneous components. This paper describes some approaches we are developing to cope effectively with various...
Unlocking the Potential of Public Sector Information with Semantic Web Technology (2007)
Alani, Harith, Dupplaw, David, Sheridan, John, O'Hara, Kieron, Darlington, John, Shadbolt, Nigel, ...
Governments often hold very rich data and whilst much of this information is published and available for re-use by others, it is often trapped by poor data structures, locked up in legacy data...
Unlocking the Potential of Public Sector Information with Semantic Web Technology (2007)
Alani, Harith, Dupplaw, David, Sheridan, John, O'Hara, Kieron, Darlington, John, Shadbolt, Nigel, ...
Governments often hold very rich data and whilst much of this information is published and available for re-use by others, it is often trapped by poor data structures, locked up in legacy data...
Jeyarajan Thiyagalingam, Vladimir Getov, Sofia Panagiotidi, Olav Beckmann, John Darlington, Jeyarajan Thiyagalingam, ...
Interactive problem solving environments are gaining widespread acceptance within the Grid community. While developing applications and frameworks to support and to integrate with these interactive...
GridEcon - The Economic-Enhanced Next-Generation Internet (2007)
Jörn Altmann, Costas Courcoubetis, John Darlington, Jeremy Cohen
Abstract. The major shortcoming of Grid middleware systems is the lack of economic-enhanced Grid services. These new services are necessary in order to let Grid users benefit from the properties of...
Service-enabling legacy applications for the genie project (2006)
Sofia Panagiotidi, Jeremy Cohen, John Darlington, Marko Krznarić, Eleftheria Katsiri
Abstract. We present work done within the Grid ENabled Integrated Earth system model (GENIE) project to take the original, complex, tightly-coupled Fortran earth modeling application that has been...
Performance evaluation of the GridSAM job submission and monitoring system (2005)
William Lee, A. Stephen Mcgough, John Darlington
Abstract. Existing Distributed Resource Managers (DRMs) lack support for a standard submission language and interoperable interface for describing and launching jobs. This paper presents a...
Payment and Negotiation for the Next Generation Grid and Web (2005)
Jeremy Cohen, John Darlington, William Lee
Abstract. We present a proposal for a next-generation Internet based on chargeable Web Services and Utility Computing realised by a series of open but interacting markets. We demonstrate through the...
A Semantic Similarity Measure for Semantic Web Services (2005)
Jeffrey Hau, William Lee, John Darlington
Establishing the compatibility of services is an essential prerequisite to service composition. By formally defining the similarity of semantic services, useful information can be obtained about...
Making the Grid Predictable through Reservations and Performance Modelling (2005)
McGough, Andrew Stephen, Afzal, Ali, Darlington, John, Furmento, Nathalie, Mayer, Anthony, Young, Laurie
Unpredictable job execution environments pose a significant barrier to the widespread adoption of the Grid paradigm, because of the innate risk of jobs failing to execute at the time specified by the...
Implementations of a service-oriented architecture on top (2004)
Nathalie Furmento, Jeffrey Hau, William Lee, Steven Newhouse, John Darlington
Abstract. This paper presents the design of an implementation-independent, Service-Oriented Architecture (SOA), which is the main basis of the ICENI Grid middleware. Three implementations of this...
Performance Architecture within ICENI (2004)
Stephen Mcgough, Laurie Young, Ali Afzal, Steven Newhouse, John Darlington
Abstract. This paper describes the architecture built into the Imperial College e-Science Infrastructure (ICENI) for handling performance meta-data. The architecture provides a means to gathering...
A Standard Based Approach to Job Submission through Web Services (2004)
William Lee, Stephen Mcgough, Steven Newhouse, John Darlington
Abstract. The ability to submit jobs to foreign computational resources is a core requirement in Grid Computing. There are many Distributed Resources Managers (DRM) in existence for deploying jobs to...
Using the VOM portal to manage policy within Globus Toolkit (2004)
Asif Saleem, Marko Krznarić, Jeremy Cohen, Steven Newhouse, John Darlington
The emergence of computational and data grids has led to resources within a single organisation being exposed to other users within a ‘virtual organisation ’ (VO) that encompasses a dynamic...
Workflow enactment in iceni (2004)
Stephen Mcgough, Laurie Young, Ali Afzal, Steven Newhouse, John Darlington
Abstract. Workflow specification and enactment is a critical operation in e-science. In this paper we describe how an abstract workflow, specified by an end-user in the form of an Execution Plan, is...
Implementations of a service-oriented architecture on top (2004)
Nathalie Furmento, Jeffrey Hau, William Lee, Steven Newhouse, John Darlington
That paper presents the design of an implementation independent Service-Oriented Architecture (SOA) that is the main basis of the ICENI grid middleware. Three implementations of this architecture...
Implementations of a service-oriented architecture on top (2004)
Nathalie Furmento, Jeffrey Hau, William Lee, Steven Newhouse, John Darlington
Abstract. This paper presents the design of an implementation-independent Service-Oriented Architecture (SOA) which is the main basis of the ICENI Grid middleware. Three implementations of this...
Load-balancing EU-DataGrid Resource Brokers. UK e-Science All Hands Meeting (2003)
William Lee, Steve Mcgough, Steven Newhouse, John Darlington
The European DataGrid (EDG)[17] project aims to provide a platform to satisfy the ever-growing demand of high computation and storage requirements across scientific disciplines. Its resource broker...
Load-balancing EU-DataGrid Resource Brokers. UK e-Science All Hands Meeting (2003)
William Lee, Steve Mcgough, Steven Newhouse, John Darlington
The European DataGrid (EDG)[17] project aims to provide a platform to satisfy the ever-growing demand of high computation and storage requirements across scientific disciplines. Its resource broker...
ICENI Dataflow and Workflow: Composition and Scheduling in Space and Time (2003)
Anthony Mayer, Steve Mcgough, Nathalie Furmento, William Lee, Steven Newhouse, John Darlington
With the prevalence of component based and service oriented architectures used to support e-Science activities, we examine different views of application composition supported within these systems,...
ICENI Virtual Organisation Management (2003)
Asif Saleem, Marko Krznaric, Steven Newhouse, John Darlington
Recent advances in high performance distributed computing have led to the emergence of computational and data grids. The resources within a single organisation are being exposed to other users within...
Scheduling Architecture and Algorithms within the ICENI Grid Middleware (2003)
Laurie Young, Stephen Mcgough, Steven Newhouse, John Darlington
The ICENI Grid Middleware system enables the use of component based applications in a distributed heterogeneous environment and is implemented as a layered service oriented architecture. The...
Test and Deployment of ICENI, An Integrated Grid Middleware on the UK e-Science Grid (2003)
Nathalie Furmento, William Lee, Steven Newhouse, John Darlington
This paper presents a test and deployment infrastructure that has been developed to validate the ICENI Grid Middleware. Services have been developed to monitor the different steps in the life of the...
Trading Grid Services Within the UK e-Science Grid (2003)
Steven Newhouse John, John Darlington, Miqdad Asaria, Anthony Mayer, William Lee, Jon Maclaren, ...
The Open Grid Services Architecture (OGSA) presents the Grid community with an opportunity to define standard interfaces to enable the construction of an interoperable Grid infrastructure. The...
Laying the Foundations for the Semantic Grid (2002)
Steven Newhouse, Anthony Mayer, Nathalie Furmento, Stephen Mcgough, James Stanton, John Darlington
Information relating to the resources, applications and the user’s wishes are key to the transparent and effective exploitation of the federated resources within Computational Grids. These...
ICENI: An Open Grid Service Architecture Implemented with Jini (2002)
Nathalie Furmento, William Lee, Anthony Mayer, Steven Newhouse, John Darlington
Abstract. The move towards Service Grids, where services are composed to meet the requirements of a user community within constraints specified by the resource provider, present many challenges to...
Laying the Foundations for the Semantic Grid (2002)
Steven Newhouse, Anthony Mayer, Nathalie Furmento, Stephen Mcgough, James Stanton, John Darlington
Information relating to the resources, applications and the user's wishes are key to the transparent and effective exploitation of the federated resources within Computational Grids. These...
Meaning and Behaviour in Grid Oriented Components (2002)
Anthony Mayer, Stephen Mcgough, Murtaza Gulamali, Laurie Young, Jim Stanton, Steven Newhouse, ...
Abstract. The ICENI middleware utilises information captured within a component based application in order to facilitate Grid-based scheduling. We describe a system of application related meta-data...
An integrated grid environment for component applications (2001)
Nathalie Furmento, Anthony Mayer, Stephen Mcgough, Steven Newhouse, Tony Field, John Darlington
Abstract. Computational grids present many obstacles to their effective exploitation by non-trivial applications. We present a grid middleware, implemented using Java and Jini, that eliminates these...
A Component Framework for HPC Applications (2001)
Nathalie Furmento, Anthony Mayer, Stephen Mcgough, Steven Newhouse, John Darlington
Abstract. We describe a general component software framework designed for demanding grid environments that provides optimal performance for the assembled component application. This is achieved by...
Optimisation of Component-based Applications within a Grid Environment (2001)
Nathalie Furmento, Anthony Mayer, Stephen Mcgough, Steven Newhouse, Tony Field, John Darlington
Abstract. Effective exploitation of computational grids can only be achieved when applications are fully integrated with the grid middleware and the underlying computational resources. Fundamental to...
Building Computational Communities from Federated Resources (2001)
Nathalie Furmento, Steven Newhouse, John Darlington
Abstract. We describe the design and the implementation in Java and Jini of a Computational Community, which supports the federation of resources from different organisations. Resources from the...
An integrated grid environment for component applications (2001)
Nathalie Furmento, Anthony Mayer, Stephen Mcgough, Steven Newhouse, Tony Field, John Darlington
Abstract. Computational grids present many obstacles to their eective exploitation by non-trivial applications. We present a grid middleware, implemented using Java and Jini, that eliminates these...
Optimisation of Component-based Applications within a Grid Environment (2001)
Nathalie Furmento, Anthony Mayer, Stephen Mcgough, Steven Newhouse, Tony Field, John Darlington
Effective exploitation of computational grids can only be achieved when applications are fully integrated with the grid middleware and the underlying computational resources. Fundamental to this...
Optimisation of Component-based Applications within a Grid Environment (2001)
Nathalie Furmento, Anthony Mayer, Stephen Mcgough, Steven Newhouse, Tony Field, John Darlington
EFFECTS OF A LARGE MAGNETIC FIELD ON ENERGY TRANSFER IN WHITE DWARF STARS. (1998)
The thesis is concerned with possible effects of a large magnetic field (in the range of approximately 100,000 to approximately 10 to the 13th power gauss) on the transfer of thermal energy out of a...
Pulse: A Framework for Continuous-Time Data Stream Processing Pulse is a data stream framework for processing continuous queries over models of continuous-time data, which can compactly and...
Performance Models for Co-ordinating Parallel Data Classification (1997)
John Darlington, Moustafa M. Ghanem, Yike Guo, Hing Wing To
In this paper we investigate the use of performance models for structuring parallel programs through a case study in data mining. Performance models have been shown to be an integral part of...
Accuracy in Decision Making with Performance Models (1997)
John Darlington, Moustafa Ghanem, Hing Wing To
This paper investigates the effect of the accuracy of performance models against their ability to make resource allocation decisions. The matrix vector product operation is taken as a case study for...
Large Scale Data Mining: The Challenges and The Solutions (1997)
Jaturon Chattratichat, John Darlington, Moustafa Ghanem, Yike Guo, Harald Huning, Martin Kohler, ...
Data mining over large data sets is considered to be a very important research subject due to its obvious commercial potential. However, it is also a major challenge due to its complexity and...
Structured parallel programming: Theory meets practice (1996)
John Darlington, Yi-ke Guo, Hing Wing To
We address the issue of what should be the proper relationship between theoretical computer science and practical computing. Starting from an analysis of what we perceive of as the failure of...
Co-ordinating heterogeneous parallel computation (1996)
Peter Au, John Darlington, Moustafa Ghanem, Yi-ke Guo, Hing Wing, To Jin Yang
Abstract. There is a growing interest in heterogeneous high performance computing environments. These systems are difficult to program owing to the complexity of choosing the appropriate resource...
Co-ordinating Heterogeneous Parallel Computation (1996)
Peter Au, John Darlington, Moustafa Ghanem, Yi-ke Guo, Hing Wing To, Jin Yang, ...
There is a growing interest in heterogeneous high performance computing environments. These systems are difficult to program owing to the complexity of choosing the appropriate resource allocations...
Guided Resource Organisation in Heterogeneous Parallel Computing (1996)
John Darlington, Moustafa Ghanem, Yi-ke Guo, Hing Wing To
In this paper we describe how performance models can be used as a more structured approach to the problem of resource allocation when programming heterogeneous parallel systems. Functional skeletons...
Co-ordinating Combined Parallel Vector and Scalar Computation (1996)
John Darlington, Yike Guo, Moustafa M. Ghanem, Jin Yang, Kwok Tat Au, Rami Sik
A new parallel programming approach based on the structured co-ordination of parallel behaviour is applied to programming the Fujitsu AP1000 for mixed parallel vector and scalar computation. With...
A Parallel Algebraic Constraint Solver for Integer Programming (1996)
John Darlington, Yi-ke Guo, Tetsuo Ida, Qiang Li, Hing Wing To
Conventional methods for solving integer programming (IP) are based on heuristic searching algorithms. Recently, the tools of commutative algebra and algebraic geometry have bought new insights to...
Profess: A Portable System for Prototyping the Performance of Parallel Programs (1996)
John Darlington, Moustafa M. Ghanem, Shamimabi Paurobally
Profess is a parallel program simulation tool designed to help application programmers in evaluating the performance of candidate implementations of their programs on a parallel machine. Users...
Functional Skeletons for Parallel Coordination (1995)
John Darlington, Yi-ke Guo, Hing Wing To, Jin Yang, Hing Wing, To Jin Yang
. In this paper we propose a methodology for structured parallel programming using functional skeletons to compose and coordinate concurrent activities written in a standard imperative language....
Parallel Skeletons for Structured Composition (1995)
John Darlington, Yi-ke Guo, Hing Wing, To Jin Yang
In this paper, we propose a straightforward solution to the problems of compositional parallel programming by using skeletons as the uniform mechanism for structured composition. In our approach...
The Parallel Fortran Family and a New Perspective (1995)
John Darlington, Yi-ke Guo, Jin Yang
Various parallel Fortran languages have been developed over the years. The research work in creating this Parallel Fortran Family has made significant contributions to parallel programming language...
Parallel Skeletons for Structured Composition (1995)
John Darlington, Yi-ke Guo, Hing Wing To, Jin Yang, Hing Wing, To Jin Yang
In this paper, we propose a straightforward solution to the problems of compositional parallel programming by using skeletons as the uniform mechanism for structured composition. In our approach...
Constraint Functional Programming (1995)
In this paper, we present the framework of constraint functional programming (CFP) for constructing constraint systems over functional programs. The idea is that functional programs can be used in a...
Functional Skeletons for Parallel Coordination (1995)
John Darlington, Yi-ke Guo, Hing Wing To, Jin Yang, Hing Wing, To Jin Yang
In this paper we propose a methodology for structured parallel programming using functional skeletons to compose and co-ordinate concurrent activities themselves defined in a standard imperative...
Formalising Actors in Linear Logic (1995)
We present a logical formalism of the actor-based concurrent object oriented computation in terms of the deduction in linear logic. By encoding messages and objects in the actor model as formulae of...
Fortran-S: A Uniform Functional Interface to Parallel Imperative Languages (1994)
John Darlington, Yike Guo, Hing Wing To, Qian Wu, Jin Yang, Martin Köhler
ing commonly occurring parallel computation and communication patterns as skeletons makes specifying parallel computation structures extremely simple. Using configuration skeletons, Fortran-S...
Constraint Logic Programming in the Sequent Calculus (1994)
. In this paper, we are developing a new logical semantics of CLP. It is shown that CLP is based on an amalgamated logic embedding the entailment relation of constraints into a fragment of...
John Darlington, Yi-ke Guo, Martin Köhler
ion as server [x := N ] ffi = !(8m:x(m) \Gammaffi [N ] ffi m ) Stored environment entry [(MN )] ffi z = 9x; y; u:([N ] ffi u\Omega (8v:u(v) \Gammaffi [M ] ffi x\Omega (8f:x(f) \Gammaffi f(y; z)\Omega...
John Darlington, Yi-ke Guo, Martin Köhler
ion as server [x := N ] ffi = !(8m:x(m) \Gammaffi [N ] ffi m ) Stored environment entry [(MN )] ffi z = 9x; y; u:([N ] ffi u\Omega (8v:u(v) \Gammaffi [M ] ffi x\Omega (8f:x(f) \Gammaffi f(y; z)\Omega...
Functional Programming Languages with Logical Variables: A Linear Logic View (1993)
John Darlington, Yi-ke Guo, Martin Köhler
The idea of introducing logical variables into functional programming languages has been proposed for some years, and many concrete languages with this feature have been developed. Recently the...
A New Perspective on Integrating Functional and Logic Languages (1992)
John Darlington, Yi-ke Guo, Helen Pull
Traditionally the integration of functional and logic languages is performed by attempting to integrate their semantic logics in some way. Many languages have been developed by taking this approach,...
A General Computational Scheme for Constraint Logic Programming (1991)
John Darlington, Yike Guo, Qian Wu
In this paper we propose a novel computational model for constraint logic programming (CLP) languages. The model provides an efficient mechanism for executing CLP programs by exploiting constraint...
A semantic approach to automatic program improvement [microform] / (1973)
Thesis (doctoral)--University of Edinburgh, 1973.
Parallel Induction Algorithms for Data Mining
John Darlington, Yi-ke Guo, Janjao Sutiwaraphun, Hing Wing To
. In the last decade, there has been an explosive growth in the generation and collection of data. Nonetheless, the quality of information inferred from this voluminous data has not been proportional...
Parallel Induction Algorithms for Data Mining
John Darlington, Yi-ke Guo, Janjao Sutiwaraphun, Hing Wing To
In the last decade, there has been an explosive growth in the generation and collection of data. Nonetheless, the quality of information inferred from this voluminous data has not been proportional...