Parallelism without pain: Orchestrating computational algebra components into a high-performance parallel system

Proceedings of the 2008 International Symposium on Parallel and Distributed Processing with Applications, ISPA 2008

Volumn , Issue , 2008, Pages 99-112

  Al Zain, A D ^a   Trinder, P W ^a   Hammond, K ^b   Konovalov, A ^b   Linton, S ^b   Berthold, J ^c  

^a HERIOT WATT UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF ST ANDREWS   (United Kingdom)

^c PHILIPPS UNIVERSITY MARBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; APPLICATIONS; COMMUNICATION; DISTRIBUTED PARAMETER NETWORKS; PARALLEL PROCESSING SYSTEMS;

COMMUNICATION PROTOCOLS; COMPOSABILITY; COMPUTATIONAL ALGEBRAS; HIGH-LEVEL APPROACHES; HIGH-LEVEL DOMAINS; KEY FEATURES; PARALLEL APPLICATIONS; PARALLEL SYSTEMS; PROCESSOR CLUSTERS; SYMBOLIC COMPUTING;

PARALLEL PROGRAMMING;

EID: 60649119829     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISPA.2008.19     Document Type: Conference Paper

References (41)

1. M. Abramowitz and I.A. Stegun. Handbook of Mathematical Functions. Dover Publications, New York, 1964.
2. A. Al Zain, P. Trinder, H-W. Loidl, and G. Michael- son. Supporting high-level grid parallel programming: the design and implementation of grid-gum2. In Simon J. Cox, editor, UK e-Science Programme All Hands Meeting (AHM), pages 182-189, Nottingham, UK, September 2007. National e-Science Centre.
3. A. Al Zain, P. Trinder, H-W. Loidl, and G. Michael- son. Evaluating a high-level parallel language (gph) for computational grids. IEEE Transactions on Parallel and Distributed Systems, 19(2):219-233, 2008.
4. M. H. Albert and S. A. Linton. Growing at a perfect speed. Combinatorics, Probability and Computing, 2007. Submitted.
5. B. Amrheim, O. Gloor, and W. Küchlin. A Case Study of Multithreaded Gröbner Basis Completion. In Proc. ISSAC '96: International Symposium on Symbolic and Algebraic Computation, pages 95-102. ACM Press, 1996.
6. P. Borwein, R. Ferguson, and M.J. Mossinghoff. Sign changes in sums of the liouville function. Mathematics of Computation, 77(263):1681-1694, January 2008.
7. R. Bündgen, M. Göbel, and W. Küchlin. Multithreaded AC term re-writing. In Proc. PASCO'94: Intl. Symp. on Parallel Symbolic Computation, volume 5, pages 84-93. World Scientific, 1994.
8. B. W. Char et al. Maple V Language Reference Manual. Maple Publishing, Waterloo Canada, 1991.
9. M.I. Cole. Algorithmic Skeletons. In K. Hammond and G. Michaelson, editors, Research Directions in Parallel Functional Programming, chapter 13, pages 289-304. Springer-Verlag, 1999.
10. G. Cooperman. GAP/MPI: Facilitating parallelism. In Proc. DIMACS Workshop on Groups and Computation II, volume 28 of DIMACS Series in Discrete Maths, and Theoretical Comp. Sci, pages 69-84. AMS, 1997.
11. G. Cooperman. Parallel GAP: Mature interactive parallel. Groups and computation, III (Columbus, OH,1999), 2001. de Gruyter, Berlin.
12. M. Daberkow, C. Fieker, J. Klüners, M. Pohst, K. Roegner, M. Schörnig, and K. Wildanger. Kant v4. J Symb. Comput., 24(3/4):267-283, 1997.
13. I. Foster and S. Taylor. A Compiler Approach to Scalable Concurrent-Program Design. ACM TOPIAS, 16(3):577-604, 1994.
14. S. Freundt, P. Horn, A. Konovalov, S. Linton, and D. Roozemond. Symbolic Computation Software Composability Protocol (SCSCP) specification. Version 1.1, 2008 (http://www.symbolic-computation.org/scscp).
15. D. Gelernter and N. Carriero. Coordination Languages and Their Significance. Comm. ACM, 32(2):97-107, February 1992.
16. GEMLCA, http://www.cpc.wmin.ac.uk/gemlca/.
17. GENSS, http://genss.cs.bath.ac.uk/.
18. Geodise, http://www.geodise.org/.
19. GHC. http://www.haskell.org/ghc/.
20. The GHC-Maple Interface, http://www.risc uni-linz.ac.at/software/ghc- maple/.
21. The GAP Group. GAP - Groups, Algorithms, and Programming, 2007. http://www.gap-system.org.
22. K. Hammond, A. Al Zain, G. Cooperman, D. Petcu, and P. Trinder. SymGrid: a Framework for Symbolic Computation on the Grid. In Proc. EuroPar'07, LNCS, Rennes, France, August 2007.
23. K. Hammond, J.S. Mattson Jr., A.S Partridge, S.L. Peyton Jones, and PW. Trinder. GUM: a Portable Parallel Implementation of Haskell. In IFL'95 - Intl Workshop on the Parallel Implementation of Functional Languages, September 1995.
24. R. S. Lehman. On Liouville's function. Math. Comp., 14:311-320, October 1960.
25. H-W. Loidl and P. W. Trinder. Engineering Large Parallel Functional Programs. In Implementation of Functional Languages, 1997, LNCS, St. Andrews, Scotland, September 1997. Springer.
26. H-W. Loidl, P. W. Trinder, K. Hammond, S. B. Junaidu, R. G. Morgan, and S. L. Peyton Jones. Engineering Parallel Symbolic Programs in GPH. Concurrency- Practice and Experience, 11:701-752, 1999.
27. Maple 11. http://www.maplesoft.com/.
28. R. Martínez and R. Pena. Building an Interface Between Eden and Maple. In Proc. IFL 2003, Springer- Verlag LNCS 3145, pages 135-151, 2004.
29. Mathematica. http://www.wolfram.com/producs/mathematica/.
30. G. O. Michler. High performance computations in group representation theory. Preprint, Institut fur Experimentelle Mathematik, Univerisitat GH Essen, 1998.
31. K. Morisse and A. Kemper. The Computer Algebra System MuPAD. Euromath Bulletin, 1(2):95-102, 1994.
32. NetSolve/GridSolve, http://icl.cs.utk.edu/netsolve/.
33. The OpenMath Standard, Version 2.0, http://www.openmath.org/.
34. D. Petcu, M. Paprycki, and D. Dubu. Design and Implementation of a Grid Extension of Maple. Scientific Programming, 13(2): 137-149, 2005.
35. S.L. Peyton Jones, C.V. Hall, K. Hammond, W.D. Par-tain, and PL. Wadler. The Glasgow Haskell Compiler: a Technical Overview. In Proc. JFIT (Joint Framework for Information Technology) Technical Conference, pages 249-257, Keele, UK, March 1993.
36. S.L. Peyton Jones (ed.), J. Hughes, L. Augustsson, D. Barton, B. Boutel, W. Burton, J. Fasel, K. Hammond, R. Hinze, P. Hudak, T. Johnsson, M. Jones, J. Launchbury, E. Meijer, J. Peterson, A. Reid, C. Runciman, and P. Wadler. Haskell 98 Language and Libraries. The Revised Report. Cambridge University Press, April 2003.
37. L. Roch and G. Villard. Parallel computer algebra. In Proc. ISSAC '97: International Symposium on Symbolic and Algebraic Computation. Preprint IMAG Grenoble France, 1997.
38. W. Schreiner, C. Mittermaier, and K. Bosa. Distributed maple: parallel computer algebra in networked environments. J. Symbolic Computation, 35(3):305-347, 2003.
39. M. Tanaka. A numerical investigation on cumulative sum of the Liouville function. Tokyo J. Math., 3(1):187-189, 1980.
40. D. Tepeneu and T. Ida. MathGridLink - Connecting Mathematica to the Grid. In Proc. IMS '04, Banff, Alberta, 2004.
41. P.W. Trinder, K. Hammond, J.S. Mattson Jr., A.S Partridge, and S.L. Peyton Jones. GUM: a Portable Parallel Implementation of Haskell. In Proc. PLDI'96, pages 79-88, Philadelphia, PA, USA, May 1996.