John Darlington

According to our database1, John Darlington authored at least 87 papers between 1972 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 





A Collaborative Citizen Science Platform for Real-Time Volunteer Computing and Games.
IEEE Trans. Comput. Social Systems, 2018

Tackling Complexity in High Performance Computing Applications.
International Journal of Parallel Programming, 2017

Understanding Resource Selection Requirements for Computationally Intensive Tasks on Heterogeneous Computing Infrastructure.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2016

Pricing music using personal data: mutually advantageous first-degree price discrimination.
Electronic Markets, 2015

Ensuring an Effective User Experience When Managing and Running Scientific HPC Software.
Proceedings of the 1st IEEE/ACM International Workshop on Software Engineering for High Performance Computing in Science, 2015

TemPSS: A Service Providing Software Parameter Templates and Profiles for Scientific HPC.
Proceedings of the 11th IEEE International Conference on e-Science, 2015

Nekkloud: A software environment for high-order finite element analysis on clusters and clouds.
Proceedings of the 2013 IEEE International Conference on Cluster Computing, 2013

Access Control for OPM Provenance Graphs.
Proceedings of the Provenance and Annotation of Data and Processes, 2012

Supporting Multi-view User Ontology to Understand Company Value Chains.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

LinksB2N: Automatic Data Integration for the Semantic Web.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009, 2009

Towards an Open, Self-Adaptive and P2P Based e-Market Infrastructure.
Proceedings of the 2009 IEEE International Conference on e-Business Engineering, 2009

Node-level Architecture Design and Simulation of the MAGOG Grid Middleware.
Proceedings of the Seventh Australasian Symposium on Grid Computing and e-Research, 2009

Capacity planning and scheduling in Grid computing environments.
Future Generation Comp. Syst., 2008

Payment and negotiation for the next generation Grid and Web.
Concurrency and Computation: Practice and Experience, 2008

EMAAS: An extensible grid-based Rich Internet Application for microarray data analysis and management.
BMC Bioinformatics, 2008

Market Blended Insight: Modeling Propensity to Buy with the Semantic Web.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Novel Stochastic Profitable Techniques For Brokers In A Web-Service Based Grid Market.
Proceedings of the 2007 IEEE / WIC / ACM International Conference on Web Intelligence, 2007

Unlocking the Potential of Public Sector Information with Semantic Web Technology.
Proceedings of the Semantic Web, 2007

GridEcon - The Economic-Enhanced Next-Generation Internet.
Proceedings of the Grid Economics and Business Models, 4th International Workshop, 2007

A Profitable Broker in a Volatile Utility Grid.
ITSSA, 2006

An Architecture for a Next-Generation Internet Based on Web Services and Utility Computing.
Proceedings of the 15th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2006), 2006

A novel approach to allocating QoS-constrained workflow-based jobs in a multi-cluster grid.
Proceedings of the 4th international workshop on Middleware for grid computing, 2006

Allocating QoS-Constrained Workflow-Based Jobs in a Multi-cluster Grid Through Queueing Theory Approach.
Proceedings of the Parallel and Distributed Processing and Applications, 2006

Allocating QOS-Constrained Applications in a Web Service-Oriented Grid.
Proceedings of the Distributed Computing and Internet Technology, 2006

Workflow Deployment in ICENI II.
Proceedings of the Computational Science, 2006

A Novel Stochastic Algorithm for Scheduling QoS-Constrained Workflows in a Web Service-Oriented Grid.
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

QoS Support For Workflows In A Volatile Grid.
Proceedings of the 7th IEEE/ACM International Conference on Grid Computing (GRID 2006), 2006

QoS-Constrained Stochastic Workflow Scheduling in Enterprise and Scientific Grids.
Proceedings of the 7th IEEE/ACM International Conference on Grid Computing (GRID 2006), 2006

Stochastic Workflow Scheduling with QoS Guarantees in Grid Computing Environments.
Proceedings of the Grid and Cooperative Computing, 2006

Average-Based Workload Allocation Strategy for QoS-Constrained Jobs In A Web Service-Oriented Grid.
Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

A Novel Approach to Workload Allocation of QoS-Constrained Workflow-Based Jobs in a Utility Grid.
Proceedings of the Second International Conference on e-Science and Grid Technologies (e-Science 2006), 2006

Running a Production Grid Site at the London e-Science Centre.
Proceedings of the Second International Conference on e-Science and Grid Technologies (e-Science 2006), 2006

Capacity Planning and Stochastic Scheduling in Large-Scale Grids.
Proceedings of the Second International Conference on e-Science and Grid Technologies (e-Science 2006), 2006

Domain-Specific Metadata for Model Validation and Performance Optimisation.
Proceedings of the Achievements in European Research on Grid Systems: CoreGRID Integration Workshop 2006, 2006

An End-to-end Workflow Pipeline for Large-scale Grid Computing.
J. Grid Comput., 2005

Making the Grid Predictable through Reservations and Performance Modelling.
Comput. J., 2005

Implementations of a Service-Oriented Architecture on Top of Jini, JXTA and OGSI.
Proceedings of the Grid Computing, 2004

ICENI: Optimisation of component applications within a Grid environment.
Parallel Computing, 2002

ICENI: an open grid service architecture implemented with Jini.
Proceedings of the 2002 ACM/IEEE conference on Supercomputing, 2002

Meaning and Behaviour in Grid Oriented Components.
Proceedings of the Grid Computing, 2002

Implementing a Scientific Visualisation Capability within a Grid Enabled Component Framework (Research Note).
Proceedings of the Euro-Par 2002, 2002

Minimised Geometric Buchberger Algorithm for Integer Programming.
Annals OR, 2001

Optimisation of component-based applications within a grid environment.
Proceedings of the 2001 ACM/IEEE conference on Supercomputing, 2001

Computational Communities: A Marketplace for Federated Resources.
Proceedings of the High-Performance Computing and Networking, 9th International Conference, 2001

An Integrated Grid Environment for Component Applications.
Proceedings of the Grid Computing, 2001

Building Computational Communities from Federated Resources.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001

A Component Framework for HPC Applications.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001

Design of Problem-Solving Environment for Contingent Claim Valuation.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001

Design of high performance financial modelling environment.
Parallel Computing, 2000

Parallel pseudospectral solution of financial partial differential equations.
Parallel Algorithms Appl., 2000

Decreasing the sensitivity of open-loop optimal solutions in decision making under uncertainty.
European Journal of Operational Research, 2000

A Software Architecture for HPC Grid Applications (Research Note).
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

An algorithm for constrained nonlinear optimization under uncertainty.
Automatica, 1999

An Architecture for Distributed Enterprise Data Mining.
Proceedings of the High-Performance Computing and Networking, 7th International Conference, 1999

A Software Architecture for Deploying High Performance Solution on the Internet.
Proceedings of the High-Performance Computing and Networking, 1998

Parallelization of a Nonlinear Robust Optimization Algorithm.
Proceedings of the Parallel Computing: Fundamentals, 1997

Large Scale Data Mining: Challenges and Responses.
Proceedings of the Third International Conference on Knowledge Discovery and Data Mining (KDD-97), 1997

The Minimised Geometric Buchberger Algorithm: An Optimal Algebraic Algorithm for Integer Programming.
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 1997

Parallel Induction Algorithms for Data Mining.
Proceedings of the Advances in Intelligent Data Analysis, 1997

Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism.
Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997

A Higher-Order Removal Method.
Lisp and Symbolic Computation, 1996

Parallelizing Conditional Recurrences.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

Co-ordinating Heterogeneous Parallel Computation.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

Parallel Skeletons for Structured Composition.
Proceedings of the Fifth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1995

Functional Skeletons for Parallel Coordination.
Proceedings of the Euro-Par '95 Parallel Processing, 1995

Formalising Actors in Linear Logic.
OOIS, 1994

Constraint Logic Programming in the Sequent Calculus.
Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

Functional Programming Languages with Logical Variables: A Linear Logic View.
Proceedings of the Programming Language Implementation and Logic Programming, 1993

Parallel Programming Using Skeleton Functions.
Proceedings of the PARLE '93, 1993

Parallel-architecture-directed program transformation.
Parallel Computing, 1992

A New Perspective on Integrating Functional and Logic Languages.
FGCS, 1992

Introducing Constraint Functional Logic Programming.
Proceedings of the Declarative Programming, 1991

A Design Space for Integrating Declarative Languages.
Proceedings of the Declarative Programming, 1991

A General Computational Scheme for Constraint Logic Programming.
Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991, 1991

Declarative Languages and Program Transformation for Programming Parallel Systems.
Concurrency - Practice and Experience, 1990

Constrained Equational Deduction.
Proceedings of the Conditional and Typed Rewriting Systems, 1990

Narrowing and Unification in Functional Programming - An Evaluation Mechanism for Absolute Set Abstraction.
Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

A Functional Programming Environment Supporting Execution, Partial Execution and Transformation.
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

Controlling the behaviour of functional language systems.
Proceedings of the Functional Programming Languages and Computer Architecture, 1987

The Unification of Functional and Logic Languages.
Logic Programming: Functions, Relations, and Equations, 1986

An Experimental Program Transformation and Synthesis System.
Artif. Intell., 1981

ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages.
Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981

Algorithm Classification Through Synthesis.
Comput. J., 1980

A Synthesis of Several Sorting Algorithms.
Acta Inf., 1978

A Transformation System for Developing Recursive Programs.
J. ACM, 1977

A System which Automatically Improves Programs.
Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973

A semantic approach to automatic program improvement.
PhD thesis, 1972