John Darlington - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 92 from 92

2018

A Collaborative Citizen Science Platform for Real-Time Volunteer Computing and GamesPoonam Yadav, Ioannis Charalampidis, Jeremy Cohen, John Darlington, Francois Grey. tcss, 5(1):9-19, 2018. [doi]

2017

Tackling Complexity in High Performance Computing ApplicationsJohn Darlington, A. J. Field, L. Hakim. ijpp, 45(2):402-420, 2017. [doi]

2016

Understanding Resource Selection Requirements for Computationally Intensive Tasks on Heterogeneous Computing InfrastructureJeremy Cohen, Thierry Rayna, John Darlington. gecon 2017: 250-262 [doi]

Design Guidelines for the User-Centred Collaborative Citizen Science PlatformsPoonam Yadav, John Darlington. hc, 3(1):205-211, 2016. [doi]

Conceptual Frameworks for Building Online Citizen Science ProjectsPoonam Yadav, John Darlington. hc, 3(1):213-223, 2016. [doi]

2015

2013

Nekkloud: A software environment for high-order finite element analysis on clusters and cloudsJeremy Cohen, David Moxey, Chris D. Cantwell, Pavel Burovskiy, John Darlington, Spencer J. Sherwin. cluster 2013: 1-5 [doi]

2012

Access Control for OPM Provenance GraphsRoxana Dánger Mercaderes, Robin Campbell Joy, John Darlington, Vasa Curcin. ipaw 2012: 233-235 [doi]

2009

2008

Capacity planning and scheduling in Grid computing environmentsAli Afzal, Andrew Stephen McGough, John Darlington. fgcs, 24(5):404-414, 2008. [doi]

EMAAS: An extensible grid-based Rich Internet Application for microarray data analysis and managementGeraint Barton, J. C. Abbott, Norie Chiba, D. W. Huang, Y. Huang, Marko Krznaric, J. Mack-Smith, A. Saleem, B. T. Sherman, B. Tiwari, Chris Tomlinson, T. Aitman, John Darlington, Laurence Game, Michael J. E. Sternberg, S. A. Butcher. bmcbi, 9, 2008. [doi]

Payment and negotiation for the next generation Grid and WebJeremy Cohen, John Darlington, William Lee. concurrency, 20(3):239-251, 2008. [doi]

Market Blended Insight: Modeling Propensity to Buy with the Semantic WebManuel Salvadores, Landong Zuo, S. M. Hazzaz Imtiaz, John Darlington, Nicholas Gibbins, Nigel Shadbolt, James Dobree. semweb 2008: 777-789 [doi]

2007

2006

Capacity Planning and Stochastic Scheduling in Large-Scale GridsAli Afzal, John Darlington, Andrew Stephen McGough. eScience 2006: 86 [doi]

Stochastic Workflow Scheduling with QoS Guarantees in Grid Computing EnvironmentsAli Afzal, John Darlington, Andrew Stephen McGough. gcc 2006: 185-194 [doi]

QoS-Constrained Stochastic Workflow Scheduling in Enterprise and Scientific GridsAli Afzal, John Darlington, Andrew Stephen McGough. ccgrid 2006: 1-8 [doi]

An Architecture for a Next-Generation Internet Based on Web Services and Utility ComputingJohn Darlington, Jeremy Cohen, William Lee. wetice 2006: 169-174 [doi]

Running a Production Grid Site at the London e-Science CentreDavid McBride, Marko Krznaric, Olivier van der Aa, Mona Aggarwal, John Darlington, Dave Colling. eScience 2006: 153 [doi]

Workflow Deployment in ICENI IIAndrew Stephen McGough, William Lee, John Darlington. iccS 2006: 964-971 [doi]

A novel approach to allocating QoS-constrained workflow-based jobs in a multi-cluster gridYash Patel, John Darlington. middleware 2006: 2 [doi]

Average-Based Workload Allocation Strategy for QoS-Constrained Jobs In A Web Service-Oriented GridYash Patel, John Darlington. edoc 2006: 11 [doi]

A Novel Approach to Workload Allocation of QoS-Constrained Workflow-Based Jobs in a Utility GridYash Patel, John Darlington. eScience 2006: 150 [doi]

Allocating QOS-Constrained Applications in a Web Service-Oriented GridYash Patel, John Darlington. icdcit 2006: 278-290 [doi]

A Novel Stochastic Algorithm for Scheduling QoS-Constrained Workflows in a Web Service-Oriented GridYash Patel, John Darlington. iat 2006: 437-442 [doi]

Allocating QoS-Constrained Workflow-Based Jobs in a Multi-cluster Grid Through Queueing Theory ApproachYash Patel, John Darlington. ispa 2006: 499-510 [doi]

QoS Support For Workflows In A Volatile GridYash Patel, Andrew Stephen McGough, John Darlington. ccgrid 2006: 64-71 [doi]

A Profitable Broker in a Volatile Utility GridYash Patel, Andrew Stephen McGough, John Darlington. itssa, 2(2):167-176, 2006.

Domain-Specific Metadata for Model Validation and Performance OptimisationJeyarajan Thiyagalingam, Vladimir Getov, Sofia Panagiotidi, Olav Beckmann, John Darlington. coregrid 2008: 165-177 [doi]

2005

An End-to-end Workflow Pipeline for Large-scale Grid ComputingAndrew Stephen McGough, Jeremy Cohen, John Darlington, Eleftheria Katsiri, William Lee, Sofia Panagiotidi, Yash Patel. grid, 3(3-4):259-281, 2005. [doi]

Making the Grid Predictable through Reservations and Performance ModellingAndrew Stephen McGough, Ali Afzal, John Darlington, Nathalie Furmento, Anthony Mayer, Laurie Young. cj, 48(3):358-368, 2005. [doi]

2004

Implementations of a Service-Oriented Architecture on Top of Jini, JXTA and OGSINathalie Furmento, Jeffrey Hau, William Lee, Steven Newhouse, John Darlington. eagc 2004: 90-99 [doi]

2002

2001

Design of Problem-Solving Environment for Contingent Claim ValuationF. Oliver Bunnin, Yike Guo, John Darlington. europar 2001: 935-938 [doi]

Optimisation of component-based applications within a grid environmentNathalie Furmento, Anthony Mayer, Stephen McGough, Steven Newhouse, Tony Field, John Darlington. sc 2001: 30 [doi]

Building Computational Communities from Federated ResourcesNathalie Furmento, Steven Newhouse, John Darlington. europar 2001: 855-863 [doi]

An Integrated Grid Environment for Component ApplicationsNathalie Furmento, Anthony Mayer, Stephen McGough, Steven Newhouse, Tony Field, John Darlington. ccgrid 2001: 26-37 [doi]

A Component Framework for HPC ApplicationsNathalie Furmento, Anthony Mayer, Stephen McGough, Steven Newhouse, John Darlington. europar 2001: 540-548 [doi]

Minimised Geometric Buchberger Algorithm for Integer ProgrammingQiang Li, Yike Guo, John Darlington, Tetsuo Ida. anor, 108(1-4):87-109, 2001. [doi]

Computational Communities: A Marketplace for Federated ResourcesSteven Newhouse, John Darlington. hpcn 2001: 667-674 [doi]

2000

1999

An Architecture for Distributed Enterprise Data MiningJaturon Chattratichat, John Darlington, Yike Guo, S. Hedvall, Martin Köhler, Jameel Syed. hpcn 1999: 573-582

An algorithm for constrained nonlinear optimization under uncertaintyJohn Darlington, Constantinos C. Pantelides, Berc Rustem, B. A. Tanyi. automatica, 35(2):217-228, 1999. [doi]

1998

A Software Architecture for Deploying High Performance Solution on the InternetJaturon Chattratichat, John Darlington, Yike Guo, S. Hedvall, Martin Köhler, A. Saleem, Janjao Sutiwaraphun, Dan Yang. hpcn 1998: 545-555

1997

Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data ParallelismK. T. P. Au, Manuel M. T. Chakravarty, John Darlington, Yike Guo, Stefan Jähnichen, Martin Köhler, Gabriele Keller, W. Pfannenstiel, Martin Simons. apdc 1997: 66-73 [doi]

Large Scale Data Mining: Challenges and ResponsesJaturon Chattratichat, John Darlington, Moustafa Ghanem, Yike Guo, Harald Hüning, Martin Köhler, Janjao Sutiwaraphun, Hing Wing To, Dan Yang. kdd 1997: 143-146

Parallel Induction Algorithms for Data MiningJohn Darlington, Yike Guo, Janjao Sutiwaraphun, Hing Wing To. ida 1997: 437-445 [doi]

The Minimised Geometric Buchberger Algorithm: An Optimal Algebraic Algorithm for Integer ProgrammingQiang Li, Yike Guo, Tetsuo Ida, John Darlington. issac 1997: 331-338

Parallelization of a Nonlinear Robust Optimization AlgorithmB. A. Tanyi, Berc Rustem, John Darlington. parco 1997: 171-178

1996

Co-ordinating Heterogeneous Parallel ComputationPeter Au, John Darlington, Moustafa Ghanem, Yike Guo, Hing Wing To, Jin Yang. europar 1996: 601-614

A Higher-Order Removal MethodWei-Ngan Chin, John Darlington. lisp, 9(4):287-322, 1996.

Parallelizing Conditional RecurrencesWei-Ngan Chin, John Darlington, Yike Guo. europar 1996: 579-586

1995

Functional Skeletons for Parallel CoordinationJohn Darlington, Yike Guo, Hing Wing To, Jin Yang. europar 1995: 55-66

Parallel Skeletons for Structured CompositionJohn Darlington, Yike Guo, Hing Wing To, Jin Yang. ppopp 1995: 19-28

1994

Formalising Actors in Linear LogicJohn Darlington, Yike Guo. oois 1994: 37-53

Constraint Logic Programming in the Sequent CalculusJohn Darlington, Yike Guo. lpar 1994: 200-214

1993

Functional Programming Languages with Logical Variables: A Linear Logic ViewJohn Darlington, Yike Guo, Martin Köhler. plilp 1993: 201-219

Parallel Programming Using Skeleton FunctionsJohn Darlington, A. J. Field, Peter G. Harrison, Paul H. J. Kelly, David W. N. Sharp, Qian Wu. parle 1993: 146-160

1992

A New Perspective on Integrating Functional and Logic LanguagesJohn Darlington, Yike Guo, Helen Pull. fgcs 1992: 682-693

Parallel-architecture-directed program transformationDavid W. N. Sharp, Martin Cripps, John Darlington. pc, 18(12):1363-1380, 1992.

1991

A Design Space for Integrating Declarative LanguagesJohn Darlington, Yike Guo, Helen Pull. phoenix 1992: 3-19

A General Computational Scheme for Constraint Logic ProgrammingJohn Darlington, Yike Guo, Qian Wu. alpuk 1991: 56-77

Introducing Constraint Functional Logic ProgrammingJohn Darlington, Yike Guo, Helen Pull. phoenix 1992: 20-34

1990

Declarative Languages and Program Transformation for Programming Parallel SystemsJohn Darlington, Mike Reeve, Sue Wright. concurrency, 2(3):149-170, 1990.

Constrained Equational DeductionJohn Darlington, Yike Guo. ctrs 1991: 424-435

1989

Narrowing and Unification in Functional Programming - An Evaluation Mechanism for Absolute Set AbstractionJohn Darlington, Yike Guo. RTA 1989: 92-108

A Functional Programming Environment Supporting Execution, Partial Execution and TransformationJohn Darlington, Peter G. Harrison, Hessam Khoshnevisan, Lee McLoughlin, Nigel Perry, Helen Pull, Mike Reeve, Keith Sephton, R. Lyndon While, Sue Wright. parle 1989: 286-305

1987

Controlling the behaviour of functional language systemsJohn Darlington, R. Lyndon While. fpca 1987: 278-300

1986

The Unification of Functional and Logic LanguagesJohn Darlington, A. J. Field, Helen Pull. In Logic Programming: Functions, Relations, and Equations. pages 37-70, 1986.

1981

An Experimental Program Transformation and Synthesis SystemJohn Darlington. ai, 16(1):1-46, 1981.

ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languagesJohn Darlington, Mike Reeve. fpca 1981: 65-76 [doi]

1980

Algorithm Classification Through SynthesisKeith L. Clark, John Darlington. cj, 23(1):61-65, 1980.

1978

A Synthesis of Several Sorting AlgorithmsJohn Darlington. ACTA, 11:1-30, 1978.

1977

A Transformation System for Developing Recursive ProgramsRod M. Burstall, John Darlington. JACM, 24(1):44-67, 1977. [doi]

1976

A System which Automatically Improves ProgramsJohn Darlington, Rod M. Burstall. ACTA, 6:41-60, 1976.

1975

Some transformations for developing recursive programsRod M. Burstall, John Darlington. relsoft 1975: 465-472 [doi]

1973

A System which Automatically Improves ProgramsJohn Darlington, Rod M. Burstall. IJCAI 1973: 479-485

1972

A semantic approach to automatic program improvementJohn Darlington. PhD thesis, University of Edinburgh, UK, 1972. [doi]

Sign in or sign up to see more results.

runs on WebDSL