John Darlington

Affiliations:
  • Imperial College London, UK


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

2017
Tackling Complexity in High Performance Computing Applications.
Int. J. Parallel Program., 2017

CitizenGrid: An Online Middleware for Crowdsourcing Scientific Research.
CoRR, 2017

A Collaborative Citizen Science Platform to Bring Together Scientists, Volunteers, and Game Players.
CoRR, 2017

2016
Conceptual Frameworks for Building Online Citizen Science Projects.
Hum. Comput., 2016

Design Guidelines for the User-Centred Collaborative Citizen Science Platforms.
Hum. Comput., 2016

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

2015
Pricing music using personal data: mutually advantageous first-degree price discrimination.
Electron. Mark., 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

2013
Simplifying the Development, Use and Sustainability of HPC Software.
CoRR, 2013

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

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

2009
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

2008
Capacity planning and scheduling in Grid computing environments.
Future Gener. Comput. Syst., 2008

Payment and negotiation for the next generation Grid and Web.
Concurr. Comput. Pract. Exp., 2008

EMAAS: An extensible grid-based Rich Internet Application for microarray data analysis and management.
BMC Bioinform., 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

2007
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

ICENI.
Proceedings of the Workflows for e-Science, Scientific Workflows for Grids., 2007

2006
A Profitable Broker in a Volatile Utility Grid.
Int. Trans. Syst. Sci. Appl., 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

2005
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

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

2002
ICENI: Optimisation of component applications within a Grid environment.
Parallel Comput., 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

2001
Minimised Geometric Buchberger Algorithm for Integer Programming.
Ann. Oper. Res., 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

2000
Design of high performance financial modelling environment.
Parallel Comput., 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.
Eur. J. Oper. Res., 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

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

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

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

1997
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

1996
A Higher-Order Removal Method.
LISP Symb. Comput., 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

1995
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

1994
Formalising Actors in Linear Logic.
Proceedings of the 1994 International Conference on Object Oriented Information Systems, 1994

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

1993
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

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

A New Perspective on Integrating Functional and Logic Languages.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991
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

1990
Declarative Languages and Program Transformation for Programming Parallel Systems.
Concurr. Pract. Exp., 1990

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

1989
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

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

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

1981
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

1980
Algorithm Classification Through Synthesis.
Comput. J., 1980

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

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

1976
A System which Automatically Improves Programs.
Acta Informatica, 1976

1975
Some transformations for developing recursive programs.
Proceedings of the International Conference on Reliable Software 1975, 1975

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


  Loading...