Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2000
  2. Published

    Evaluation strategies for irregular parallel programming

    Hammond, K., 2000, PARALLEL AND DISTRIBUTED COMPUTING FOR SYMBOLIC AND IRREGULAR APPLICATIONS. SINGAPORE: World Scientific Publishing Co. Pte Ltd, p. 56-71 16 p.

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

  3. Published

    GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster

    Loidl, H. W., Klusik, U., Hammond, K., Loogen, R. & Trinder, P. W., 2000, TRENDS IN FUNCTIONAL PROGRAMMING, VOL 2. OXFORD: INTELLECT LTD, p. 39-52 14 p.

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

  4. Published

    Parallel heuristic search in Haskell

    Cope, M., Gent, I. & Hammond, K., 2000, TRENDS IN FUNCTIONAL PROGRAMMING, VOL 2. OXFORD: INTELLECT LTD, p. 65-76 12 p.

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

  5. Published

    The multi-architecture performance of the parallel functional language GPH

    Trinder, P. W., Loidl, H. W., Barry, E., Davis, M. K., Hammond, K., Klusik, U., Jones, S. L. P. & Portillo, A. J. R., 2000, Euro-Par 2000 Parallel Processing: Proceedings of the 6th International Euro-Par Conference. Springer-Verlag, p. 739-743 5 p. (Lecture Notes in Computer Science; vol. 1900).

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

  6. 2001
  7. Published

    Computer Algebra meets Automated Reasoning: Integrating Maple and PVS

    Adams, A. A., Dunstan, M. N., Gottliebsen, H., Kelsey, T. W., Martin, U. & Owre, S., 2001, Proceedings of Theorem Proving in Higher Order Logics. Springer-Verlag, p. 27-42 (Lecture Notes in Computer Science; vol. 2152).

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

  8. Published

    Computer algebra meets automated theorem proving: Integrating maple and PVS

    Adams, A., Dunstan, M., Gottliebsen, H., Kelsey, T., Martin, U. & Owre, S., 1 Jan 2001, Theorem Proving in Higher Order Logics - 14th International Conference, TPHOLs 2001, Proceedings. Boulton, R. J. & Jackson, P. B. (eds.). Springer-Verlag, p. 27-42 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2152).

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

  9. 2002
  10. Published

    Groups and Constraints: Symmetry Breaking During Search

    Gent, I. P., Harvey, W. & Kelsey, T. W., 2002, Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming. Van Hentenryck, P. (ed.). Springer-Verlag, p. 415-430 (Lecture Notes in Computer Science; vol. 2470).

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

  11. Published

    Parallel programming: models, methods and programming languages

    Hammond, K., 2002, Euro-Par 2002. Parallel Processing: Euro-Par 2002. Parallel Processing 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002 Proceedings. Monien, B. & Feldmann, R. (eds.). Springer, p. 603-604 2 p. (Lecture Notes in Computer Science; vol. 2400).

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

  12. 2003
  13. Published

    Generic SBDD Using Computational Group Theory

    Gent, I. P., Harvey, W., Kelsey, T. W. & Linton, S. A., Oct 2003, Principles and Practice of Constraint Programming – CP 2003: 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; Proceedings. Rossi, F. (ed.). Springer, p. 333-347 15 p. ( Lecture Notes in Computer Science; vol. 2833).

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

  14. Published

    Hume: a Domain-Specific Language for Real-Time Embedded Systems

    Hammond, K. & Michaelson, GJ., 2003, Generative programming and component engineering : second International Conference, GPCE 2003, Erfurt, Germany, September 2003 : proceedings . Pfenning, F. & Smaragdakis, Y. (eds.). Springer-Verlag, p. 37-56 (Lecture notes in computer science; vol. 2830).

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

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

ID: 1395

Top