SymGrid: A framework for symbolic computation on the grid

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4641 LNCS, Issue , 2007, Pages 457-466

  Hammond, Kevin ^a   Al Zain, Abdallah ^b   Cooperman, Gene ^c   Petcu, Dana ^d   Trinder, Phil ^b  

^a UNIVERSITY OF ST ANDREWS   (United Kingdom)

^b HERIOT WATT UNIVERSITY   (United Kingdom)

^c NORTHEASTERN UNIVERSITY   (United States)

^d Institute e Austria   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; DATA STRUCTURES; ELECTRONIC DATA INTERCHANGE;

COMPUTATIONAL STEERING; GRID APPLICATION; SYMBOLIC SYSTEMS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 38049132022     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74466-5_49     Document Type: Conference Paper

References (32)

1. Dean, J.: Experiences with MapReduce, an abstraction for large-scale computation. In: Proc. PACT 2006 - Intl. Conf. on Parallel Architectures and Compilation Techniques, p. 1 (2006)
2. Dean, J., Ghemawat, S.: MapReduce: Simplified data processing on large clusters. In: Proc. OSDI '04 - Sixth Symp. on Operating System Design and Implementation, pp. 137-150 (2004)
3. Char, B.W., et al.: Maple V Language Reference Manual. Maple Publishing, Waterloo, Canada (1991)
4. Group, T.G.: Gap - groups, algorithms, and programming, version 4.2 St Andrews, (2000) http://www.gap-system.org/gap
5. Daberkow, M., Fieker, C. Klüners, J., Pohst, M., Roegner, K., Schörnig, M., Wildanger, K.: Kant v4. J. Symb. Comput. 24(3/4), 267-283 (1997)
6. Morisse, K., Kemper, A.: The Computer Algebra System MuPAD. Euromath Bulletin 1(2), 95-102 (1994)
7. Al Zain, A., Trinder, P., Loidl, H.W., Michaelson, G.: Managing Heterogeneity in a Grid Parallel Haskell. J. Scalable Comp.: Practice and Experience 6(4) (2006)
8. Cooperman, G.: STAR/MPI: Binding a parallel library to interactive symbolic algebra systems. In: Proc. Intl. Symp. on Symbolic and Algebraic Computation (ISSAC '95). Lecture Notes in Control and Information Sciences, vol. 249, pp. 126-132. ACM Press, New York (1995)
9. Cooperman, G.: GAP/MPI: Facilitating parallelism. In: Proc. DIMACS Workshop on Groups and Computation II. DIMACS Series in Discrete Maths, and Theoretical Comp. Sc., vol. 28, pp. 69-84. AMS, Providence, RI (1997)
10. Petcu, D., Paprycki, M., Dubu, D.: Design and Implementation of a Grid Extension of Maple. Scientific Programming 13(2), 137-149 (2005)
11. The OpenMath Format (2007), http://www.openmath.org/
12. Cole, M.I.: Algorithmic Skeletons. In: Hammond, K., Michaelson, G. (eds.) Research Directions in Parallel Functional Programming; ch.13, pp. 289-304. Springer, Heidelberg (1999)
13. Alt, M., Dünnweber, J., Müller, J., Gorlatch, S.: HOCs: Higher-Order Components for grids. In: Getov, T., Kielmann, T. (eds.) Components Models and Systems for Grid Applications. CoreGRID, pp. 157-166 (2004)
14. Cole, M.: Algorithmic Skeletons: Structured Management of Parallel Computation. The MIT Press, Cambridge, MA (1989)
15. Cooperman, G.: Parallel GAP: Mature interactive parallel. Groups and computation, III (Columbus, OH, 1999) de Gruyter, Berlin (2001)
16. Roch, L., Villard, G.: Parallel computer algebra. In: ISSAC'97, IMAG Grenoble, France (1997) (Preprint)
17. Amrheim, B., Gloor, O., Küchlin, W.: A case study of multithreaded Gröbner basis completion. In: In Proc. of ISSAC'96, pp. 95-102. ACM Press, New York (1996)
18. Bündgen, R., Göbel, M., Küchlin, W.: Multi-threaded AC term re-writing. In: Proc. PASCO'94, vol. 5, pp. 84-93. World Scientific, Singapore (1994)
19. Michler, C.O.: High performance computations in group representation theory. Institut fur Experimentelle Mathematik, Univerisitat GH Essen (1998) (Preprint)
20. Bernardin, L.: Maple on a massively parallel, distributed memory machine. In: Proc. PASCO '97, pp. 217-222. ACM Press, New York (1997)
21. Char, B.: A user's guide to Sugarbush -Parallel Maple through Linda. Technical report, Drexel University, Dept. of Mathematics and Comp. Sci. (1994)
22. Chan, K., Díaz, A., Kaltofen, E.: A Distributed Approach to Problem Solving in Maple. In: Proc. 5th Maple Summer Workshop and Symp., pp. 13-21 (1994)
23. Küchlin, W.: PARSAC-2: A parallel SAC-2 based on threads. In: Sakata, S. (ed.) AAECC-8 1990. LNCS, vol. 508, pp. 341-353. Springer, Heidelberg (1991)
24. The GpH-Maple Interface (2007), http://www.risc.uni-linz.ac.at/software/ ghc-maple/
25. GENSS (2007), http://genss.cs.bath.ac.uk/index.htm
26. Delaitre, T., Goyeneche, A., Kacsuk, P., Kiss, T., Terstyanszky, G., Winter, S.: GEMLCA: Grid Execution Management for Legacy Code Architecture Design. In: Proc. 30th EUROMICRO Conference, pp. 305-315 (2004)
27. Agrawal, S., Dongarra, J., Seymour, K., Vadhiyar, S.: NetSolve: past, present, and future; a look at a Grid enabled server. In: Making the Global Infrastructure a Reality, pp. 613-622. Wiley, Chichester (2003)
28. Geodise (2007), http://www.geodise.org/
29. Tepeneu, D., Ida, T.: MathGridLink - Connecting Mathematica to the Grid. In: Proc. IMS '04, Banff, Alberta (2004)
30. GridMathematica2, http://www.wolfram.com/products/gridmathematica/
31. Petcu, D., Tepeneu, D., Paprzycki, M., Ida, I.: In: Engineering the Grid: status and perspective, pp. 91-107, American Scientific Publishers (2006)
32. Cooperman, G., Ansel, J., Ma, X.: Transparent adaptive library-based checkpointing for master-worker style parallelism. In: Proc. IEEE Intl. Symp. on Cluster Computing and the Grid (CCGrid06), pp. 283-291. IEEE Computer Society Press, Los Alamitos (2006)