Skip to content

Research at St Andrews

SymGrid: A framework for symbolic computation on the grid

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

Author(s)

Kevin Hammond, Abdallah Al Zain, Gene Cooperman, Dana Petcu, Phil Trinder

School/Research organisations

Abstract

This paper introduces the design of SyrnGrid, a new Grid framework that will, for the first time, allow multiple invocations of symbolic computing applications to interact via the Grid. SyrnGrid is designed to support the specific needs of symbolic computation, including computational steering (greater interactivity), complex data structures, and domain-specific computational patterns (for irregular parallelism). A key issue is heterogeneity: SymGrid is designed to orchestrate components from different symbolic systems into a single coherent (possibly parallel) Grid application, building on the OpenMath standard for data exchange between mathematically-oriented applications. The work is being developed as part of a major EU infrastructure project.

Close

Details

Original languageEnglish
Title of host publicationEuro-Par 2007 Parallel Processing: 13th International Euro-Par Conference, Rennes, France, August 28-31, 2007, Proceedings
EditorsA-M. Kermarrec, L. Bougé, T. Priol
PublisherSpringer
Pages457-466
Number of pages10
ISBN (Print)978-3-540-74465-8
DOIs
StatePublished - 2007
Event13th International Euro-Par Conference - Rennes, France
Duration: 28 Aug 200731 Aug 2007

Publication series

NameLecture Notes in Computer Science
Volume4641
ISSN (Print)0302-9743

Conference

Conference13th International Euro-Par Conference
CountryFrance
CityRennes
Period28/08/0731/08/07

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Automatically deriving cost models for structured parallel processes using hylomorphisms

    Castro, D., Hammond, K., Sarkar, S. & Alguwaifli, Y. Feb 2018 In : Future Generation Computer Systems. 79, Part 2, p. 653-668

    Research output: Contribution to journalArticle

  2. The Missing Link! A new skeleton for evolutionary multi-agent systems in Erlang

    Stypka, J., Turek, W., Byrski, A., Kisiel-Dorohinicki, M., Barwell, A. D., Brown, C. M., Hammond, K. & Janjic, V. Feb 2018 In : International Journal of Parallel Programming. 46, 1, p. 4-22 19 p.

    Research output: Contribution to journalArticle

  3. Proof-relevant Horn clauses for dependent type inference and term synthesis

    Farka, F., Komendantskya, E. & Hammond, K. 2018 In : Theory and Practice of Logic Programming. 18, 3-4, p. 484-501

    Research output: Contribution to journalArticle

  4. Type-based cost analysis for lazy functional languages

    Jost, S., Vasconcelos, P., Florido, M. & Hammond, K. Jun 2017 In : Journal of Automated Reasoning. 59, 1, p. 87-120 34 p.

    Research output: Contribution to journalArticle

ID: 6640738