Browse Publications

  1. 1995
  2. Publications content icon
    Published

    Understanding LOLITA: Experiences in teaching large scale functional programming

    Stephen Jarvis, & , 1995, Funtional Programming Languages in Education - 1st International Symposium, FPLE 1995, Proceedings. Hartel, P. H. & Plasmeijer, R. (eds.). Springer Verlag, p. 103-119 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1022).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. 1997
  4. Publications content icon

    The results of: Profiling large-scale lazy functional programs

    1997, Implementation of Functional Languages - 8th International Workshop, IFL 1996, Selected Papers. Kluge, W. (ed.). Springer Verlag, p. 200-221 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1268).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. 1998
  6. Publications content icon
    Published

    Analysing an SQL application with a BSPlib call-graph profiling tool

    Stephen Jarvis, & , 1998, Euro-Par 1998 Parallel Processing - 4th International Conference, Proceedings. Springer Verlag, p. 157-164 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1470 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. 1999
  8. Publications content icon
    Published

    An implemented context system that combines belief reasoning, metaphor-based reasoning and uncertainty handling

    John Barnden & Mark Lee, 1 Jan 1999, Modeling and Using Context - 2nd International and Interdisciplinary Conference, CONTEXT 1999, Proceedings. Springer Verlag, p. 28-41 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1688).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Publications content icon
    Published

    Human factors of multi-modal ubiquitous computing

    David Haniff, Chris Baber & William Edmondson, 1 Jan 1999, Handheld and Ubiquitous Computing - 1st International Symposium, HUC 1999, Proceedings. Gellersen, H-W. (ed.). Springer Verlag, p. 346-348 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1707).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. 2000
  11. Publications content icon
    Published

    Cayley type graphs and cubic graphs of large girth

    John Bray, Chris Parker & , 21 Mar 2000, In: Discrete Mathematics. 214, 1-3, p. 113-121 9 p.

    Research output: Contribution to journalArticlepeer-review

  12. 2001
  13. Publications content icon
    Published

    Hausdorff compactifications of topological function spaces via the theory of continuous lattices

    Martin Escardo, Mar 2001, In: Electronic Notes in Theoretical Computer Science. 40, p. 161 1 p.

    Research output: Contribution to journalConference articlepeer-review

  14. 2002
  15. Publications content icon
    Published

    Portable and architecture independent parallel performance tuning using BSP

    Stephen Jarvis, , & , Nov 2002, In: Parallel Computing. 28, 11, p. 1587-1609 23 p.

    Research output: Contribution to journalArticlepeer-review

  16. 2003
  17. Publications content icon
    Published

    Agent-based grid load balancing using performance-driven task scheduling

    Stephen Jarvis, & , 2003, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003. Institute of Electrical and Electronics Engineers (IEEE), 1213139. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. Publications content icon
    Published

    Performance prediction and its use in parallel and distributed computing systems

    Stephen Jarvis, , , , & , 2003, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003. Institute of Electrical and Electronics Engineers (IEEE), 1213495. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. Publications content icon
    Published

    Local grid scheduling techniques using performance prediction

    Stephen Jarvis, , & , Mar 2003, In: IEE Proceedings: Computers and Digital Techniques. 150, 2, p. 87-96 10 p.

    Research output: Contribution to journalArticlepeer-review

  20. 2004
  21. Publications content icon
    Published

    Hybrid Performance-Oriented Scheduling of Moldable Jobs with QoS Demands in Multiclusters and Grids

    Stephen Jarvis, , & , 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jin, H., Sun, J., Pan, Y. & Xiao, N. (eds.). Springer Verlag, p. 217-224 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3251).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  22. Publications content icon
    Published
  23. Publications content icon
    Published
  24. Publications content icon
    Published

    Parametric limits

    Uday Reddy, 1 Jan 2004, p. 242-253. 12 p.

    Research output: Contribution to conference (unpublished)Paperpeer-review

  25. Publications content icon
    Published

    Electronic Notes in Theoretical Computer Science: Preface

    Martin Escardo & Achim Jung, 25 Oct 2004, In: Electronic Notes in Theoretical Computer Science. 73, p. 1-2 2 p.

    Research output: Contribution to journalConference articlepeer-review

  26. 2005
  27. Publications content icon
    Published

    Automatic detection of meddies through texture analysis of sea surface temperature maps

    Marco Castellani & , 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3808 LNCS. p. 359-370 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3808 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  28. Publications content icon
    Published

    Performance-based middleware for Grid computing

    Stephen Jarvis, Feb 2005, In: Concurrency Computation Practice and Experience. 17, 2-4, p. 215-234 20 p.

    Research output: Contribution to journalArticlepeer-review

  29. Publications content icon
    Published

    Guest editors' introduction: Special issue on practical development of exact real number computation

    Martin Escardo & , Jul 2005, In: Journal of Logic and Algebraic Programming. 64, 1, p. 1-2 2 p.

    Research output: Contribution to journalArticlepeer-review

  30. Publications content icon
    Published

    An investigation into the application of different performance prediction methods to distributed enterprise applications

    Stephen Jarvis, , , & , Nov 2005, In: Journal of Supercomputing. 34, 2, p. 93-111 19 p.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 3 4 5 6 7 8 ...13 Next