The design of the SACLIB/PACLIB kernels

1. B. Buchberger, G. Collins, M. Encarnation, H. Hong, J. Johnson, W. Krandick, R. Loos, A. Mandache, A. Neubacher, and H. Vielhaber. A SACLIB Primer. Technical Report 92-34, RISC-Linz, Johannes Kepler University, Linz, Austria, 1992.

   Google Scholar 

2. P. A. Buhr and R. A. Stroobosscher. The πSystem: Providing Light-weight Concurrency on Shared-Memory Multiprocessor Computers Running UNIX. Software — Practice and Experience, 20(9):929–964, September 1990.

   Google Scholar 

3. G. E. Collins and R. Loos. ALDES/SAC-2 now available. ACM SIGSAM Bull., 1982.

   Google Scholar 

4. H. Hong. Parallel Computation of Modular Multivariant Polynomial Resultants on Shared Memory Machine. In Submitted to the 2nd International Conference of the Austrian Center for Parallel Computation, Gmunden, Austria, October 4–6, 1993.

   Google Scholar 

5. H. Hong, W. Schreiner, A. Neubacher, K. Siegl, H.-W. Loidl, T. Jebelean, and P. Zettler. PACLIB User Manual. Technical Report 92-32, RISC-Linz, Johannes Kepler University, Linz, Austria, May 1992. Also: Technical Report 92-9, ACPC Technical Report Series, Austrian Center for Parallel Computation, July 1992.

   Google Scholar 

6. H. Kredel. From SAC-2 to Modula-2. In Proceedings of ISSAC, pages 447–455. Springer, Berlin, 1988. Volume 358 of Lecture Notes in Computer Science.

   Google Scholar 

7. W. Küchlin. The S-Threads Environment for Parallel Symbolic Computation. In Computer Algebra and Parallelism, Second International Workshop, pages 1–18, Ithaca, USA, May, 1990. Springer, Berlin. Volume 584 of Lecture Notes in Computer Science.

   Google Scholar 

8. W. Küchlin and N. Nevin. On Multi-Threaded List-Processing and Garbage Collection. In 3rd IEEE Symposium on Parallel and Distributed Processing, Dallas, TX, December, 1991. IEEE Press.

   Google Scholar 

9. W. Küchlin and J. Ward. Experiments with Virtual C Threads. In 4th IEEE Symposium on Parallel and Distributed Processing, Arlington, TX, December, 1992. IEEE Press.

   Google Scholar 

10. L. Langemyr. Converting SAC-2 Code to Lisp. In Proceedings of EUROCAL 87, pages 50–51. Springer-Verlag, 1989.

    Google Scholar 

11. R. G. K. Loos. The Algorithm Description Language ALDES (Report). ACM SIGSAM Bull., 10(1):15–39, 1976.

    Google Scholar 

12. W. Schreiner. The Design of the PACLIB Kernel. Technical Report 92-33, RISC-Linz, Johannes Kepler University, Linz, Austria, 1992.

    Google Scholar 

13. W. Schreiner. The Correctness of the PACLIB Kernel — A Case Study in Parallel Program Verification by Temporal Logic. Technical report, RISC-Linz, Johannes Kepler University, Linz, Austria, 1993. To appear.

    Google Scholar 

14. W. Schreiner and H. Hong. A New Library for Parallel Algebraic Computation. In Sixth SIAM Conference on Parallel Processing for Scientific Computing, Norfolk, Virginia, March 22–24, 1993. Also: Technical Report 92-73, RISC-Linz, Johannes Kepler University, Linz, Austria, 1992.

    Google Scholar 

15. W. Schreiner and H. Hong. PACLIB — A Library for Parallel Algebraic Computation on Shared Memory Computers. In Parallel Systems Fair at the Seventh International Parallel Processing Symposium, Newport Beach, CA, April 13–16, 1993.

    Google Scholar 

16. W. Schreiner and V. Stahl. The Exact Solution of Linear Equation Systems on a Shared Memory Multiprocessor. In Submitted to the PARLE 93, Munich, Germany, June 14–18, 1993.

    Google Scholar 

17. S. Seitz. Algebraic Computation on a Local Net. In Computer Algebra and Parallelism, Second International Workshop, pages 19–32, Ithaca, USA, May, 1990. Springer, Berlin. Volume 584 of Lecture Notes in Computer Science.

    Google Scholar 

Download references