MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "John Darlington" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

50 documents found, showing 1 through 10. Next 10 →

ATOM

Formalising Actors in Linear Logic
by John Darlington, Yi-ke Guo — 1995 — In Proceedings of the International Conference on Object-Oriented Information Systems (OOIS'94
…Formalising Actors in Linear Logic John Darlington Yi-ke Guo Department of Computing Imperial…
Cited by 4 (0 self) – Add To MetaCart

Constraint Functional Programming
by John Darlington, Yi-ke Guo — 1995 — Proc. of 2nd Int
…Constraint Functional Programming John Darlington Yi-ke Guo Department of Computing Imperial…
Cited by 4 (0 self) – Add To MetaCart

Constraint Logic Programming in the Sequent Calculus
by John Darlington, Yike Guo — 1994 — Logic Programming and Automated Reasoning
…Constraint Logic Programming in the Sequent Calculus John Darlington and Yike Guo Dept…
Cited by 4 (0 self) – Add To MetaCart

A Transformation System for Developing Recursive Programs
by R. M. Burstall, John Darlington — 1977
…A Transformation System for Developing Recursive Programs R. M. BURSTALL AND JOHN DARLINGTON…
Cited by 504 (3 self) – Add To MetaCart

Grid Workflow Scheduling In WOSE
by Yash Patel, Andrew Stephen, M Gough, John Darlington
…Grid Workflow Scheduling In WOSE Yash Patel , Andrew Stephen M ¡ Gough ¢ , John Darlington…
Add To MetaCart

Load-balancing EU-DataGrid Resource Brokers. UK e-Science All Hands Meeting
by William Lee, Steve Mcgough, Steven Newhouse, John Darlington — 2003
…-DataGrid Resource Brokers William Lee Steve McGough Steven Newhouse John Darlington London e-Science Centre…
Cited by 2 (0 self) – Add To MetaCart

Building Computational Communities from Federated Resources
by Nathalie Furmento, Steven Newhouse, John Darlington — 2001 — In Proceedings of the 7th International Euro-Par Conference (Euro-Par 2001
…, and John Darlington Parallel Software Group, Department of Computing, Imperial College of Science…
Cited by 6 (1 self) – Add To MetaCart

Functional Programming Languages with Logical Variables: A Linear Logic View
by John Darlington, Yi-ke Guo, Martin Köhler — 1993 — 5th Symposium on Programming Languages Implementation and Logic Programming (PLILP93
…Functional Programming Languages with Logical Variables: A Linear Logic View John Darlington Yi…
Cited by 4 (0 self) – Add To MetaCart

The Parallel Fortran Family and a New Perspective
by John Darlington, Yi-ke Guo, Jin Yang — 1995 — In Massively Parallel Programming Models
…The Parallel Fortran Family and a New Perspective John Darlington Yi-ke Guo Jin Yang Department…
Cited by 1 (0 self) – Add To MetaCart

ICENI Virtual Organisation Management
by Asif Saleem, Marko Krznaric, Steven Newhouse, John Darlington — 2003 — In UK e-Science All Hands Meeting, p. 117–120
…ICENI Virtual Organisation Management Asif Saleem Marko Krznarić Steven Newhouse John Darlington…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB