previous up next
Go backward to 5 Implementation
Go up to Top
Go forward to A The Scheduler Protocol
RISC-Linz logo

References

 [1]
Angel Diaz and Erich Kaltofen. FoxBox: A System for Manipulating Symbolic Objects in Black Box Representation. In O. Gloor, editor, ISSAC 98 International Symposium on Symbolic and Algebraic Computation. ACM Press, New York, 1998. http://www.math.ncsu.edu/~kaltofen/bibliography/98/DiKa98.ps.gz.
 [2]
Leslie Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994. http://www.acm.org/pubs/citations/journals/toplas/1994-16-3/p872-lamport/.
 [3]
MapleSoft. Maple V Release 5, April 1998. http://www.maplesoft.com/maplevr5.html.
 [4]
Kurt Siegl. Parallelizing Algorithms for Symbolic Computation Using ||MAPLE||. In Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 179-186, San Diego, California, May 19-22, 1993. ACM Press, New York. ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1993/93-08.ps.gz.
 [5]
Quoc-Nam Tran and Franz Winkler. CASA Reference Manual (Version 2.3). Technical Report 97-33, Research Institute for Symbolic Computation (RISC-Linz), Johannes Kepler University, Linz, Austria, October 1997. ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1997/97-33.ps.gz.
 [6]
Dongming Wang. On the Parallelization of Characteristic-Set-Based Algorithms. In H.P. Zima, editor, Parallel Computation -- First International ACPC Conference, volume 591 of Lecture Notes in Computer Science, pages 338-349, Salzburg, Austria, September 30-October 2, 1991. Springer, Berlin.

Maintainer: Wolfgang Schreiner
Last Modification: July 6, 2001

previous up next