{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:09Z","timestamp":1725663789262},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573142"},{"type":"electronic","value":"9783540480556"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57314-3_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:46:24Z","timestamp":1330260384000},"page":"204-218","source":"Crossref","is-referenced-by-count":3,"title":["The design of the PACLIB kernel for parallel algebraic computation"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Schreiner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hoon","family":"Hong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"unstructured":"A. V. Aho, J. E. Hopcroft, and J. D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974.","key":"17_CR1"},{"key":"17_CR2","volume-title":"Computation Structures Group Memo 269","author":"R. S. Ni N. Arvind","year":"1987","unstructured":"Arvind, R. S. Nikhil, and K. K. Pingali. I-Structures: Data Structures for Parallel Computing. Computation Structures Group Memo 269, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA, February 1987. Also in: Proceedings of the Workshop on Graph Reduction, Los Alamos, New Mexico, September 28\u2013October 1, 1986."},{"key":"17_CR3","doi-asserted-by":"crossref","first-page":"538","DOI":"10.1007\/3540543961_26","volume-title":"Functional Programming Languages and Computer Architectures, volume 523 of Lecture Notes in Computer Science","author":"P. S. Barth","year":"1991","unstructured":"P. S. Barth, R. S. Nikhil, and Arvind. M-Structures: Extending a Parallel, Nonstrict, Functional Language with State. In Functional Programming Languages and Computer Architectures, volume 523 of Lecture Notes in Computer Science, pages 538\u2013568, Harvard, Massachusetts, USA, 1991. Springer, Berlin."},{"key":"17_CR4","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-94-009-5225-6_6","volume-title":"Recent trends in Multidimensional Systems","author":"B. Buchberger","year":"1985","unstructured":"B. Buchberger. Gr\u00f6bner Bases: An Algorithmic Method in Polynomial Ideal Theory. In N. K. Bose and D. Reidel, editors, Recent trends in Multidimensional Systems, chapter 6, pages 184\u2013232. D. Reidel Publishing Company, Dordrecht-Boston-Lancaster, 1985."},{"key":"17_CR5","volume-title":"A SACLIB Primer. Technical Report 92-34","author":"B. Buchberger","year":"1992","unstructured":"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."},{"volume-title":"Computer Algebra \u2014 Symbolic and Algebraic Computation","year":"1982","unstructured":"B. Buchberger, G. E. Collins, R. Loos, and R. Albrecht, editors. Computer Algebra \u2014 Symbolic and Algebraic Computation. Springer, Vienna, New York, 1982.","key":"17_CR6"},{"issue":"9","key":"17_CR7","doi-asserted-by":"crossref","first-page":"929","DOI":"10.1002\/spe.4380200906","volume":"20","author":"P. A. Buhr","year":"1990","unstructured":"P. A. Buhr and R. A. Stroobosscher. The \u03bcSystem: Providing Light-weight Concurrency on Shared-Memory Multiprocessor Computers Running UNIX. Software \u2014 Practice and Experience, 20(9):929\u2013964, September 1990.","journal-title":"Software \u2014 Practice and Experience"},{"unstructured":"N. Carriero and D. Gelernter. How to Write Parallel Programs. MIT Press, 1990.","key":"17_CR8"},{"key":"17_CR9","first-page":"96","volume-title":"Proceedings of the ISSAC'90, Tokyo, Japan, August 20\u201324","author":"B. W. Char","year":"1990","unstructured":"B. W. Char. Progress Report on a System for General-Purpose Parallel Symbolic Algebraic Computation. In Proceedings of the ISSAC'90, Tokyo, Japan, August 20\u201324, pages 96\u2013103, Department of Computer Science, University of Tennessee, Knoxville, TN 37996\u20131301, 1990. ACM Press, New York."},{"key":"17_CR10","volume-title":"Technical Report OSU-CISRC-10\/89 TR 45","author":"G. E. Collins","year":"1987","unstructured":"G. E. Collins and H. Hong. Partial CAD Construction in Quantifier Elimination. Technical Report OSU-CISRC-10\/89 TR 45, Computer and Information Science Research Center, Ohio State University, Columbus, OH, 1987."},{"key":"17_CR11","volume-title":"Strand \u2014 New Concepts in Parallel Programming","author":"I. Foster","year":"1989","unstructured":"I. Foster and S. Taylor. Strand \u2014 New Concepts in Parallel Programming. Prentice-Hall, Englewood Cliffs, New Jersey, 1989."},{"issue":"4","key":"17_CR12","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"R. H. Halstead Jr.","year":"1985","unstructured":"R. H. Halstead, Jr. Multilisp: A Language for Concurrent Symbolic Computation. ACM Trans. Prog. Lang. Syst., 7(4):501\u2013538, October 1985.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"17_CR13","volume-title":"Technical Report 92-32","author":"H. Hong","year":"1992","unstructured":"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 ACPC\/TR 92-9, ACPC Technical Report Series, Austrian Center for Parallel Computation, July 1992."},{"key":"17_CR14","volume-title":"Occam 2 Reference Manual","author":"Inmos","year":"1988","unstructured":"Inmos. Occam 2 Reference Manual. Prentice Hall, New York, 1988."},{"key":"17_CR15","series-title":"Volume 584 of Lecture Notes in Computer Science","first-page":"1","volume-title":"Computer Algebra and Parallelism, Second International Workshop","author":"W. K\u00fcchlin","year":"1990","unstructured":"W. K\u00fcchlin. The S-Threads Environment for Parallel Symbolic Computation. In Computer Algebra and Parallelism, Second International Workshop, pages 1\u201318, Ithaca, USA, May, 1990. Springer, Berlin. Volume 584 of Lecture Notes in Computer Science."},{"key":"17_CR16","volume-title":"ID (Version 88.0) Reference Manual. Computation Structures Group Memo 284","author":"R. S. Nikhil","year":"1988","unstructured":"R. S. Nikhil. ID (Version 88.0) Reference Manual. Computation Structures Group Memo 284, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA, March 1988."},{"key":"17_CR17","first-page":"104","volume-title":"Supercomputer '92 \u2014 Anwendungen, Architekturen, Trends (Applications, Architectures, Trends)","author":"J. Rothnie","year":"1992","unstructured":"J. Rothnie. Kendall Square Research Introduction to the KSR1. In H.-W. Meuer, editor, Supercomputer '92 \u2014 Anwendungen, Architekturen, Trends (Applications, Architectures, Trends), pages 104\u2013113, Mannheim, Germany, June 25\u201327, 1992. Springer, Berlin."},{"key":"17_CR18","volume-title":"PhD thesis","author":"M. Rudalics","year":"1988","unstructured":"M. Rudalics. Multiprocessor List Memory Management. PhD thesis, Johannes Kepler University, Linz, Austria, 1988. Also: Technical Report 88-87, RISC-Linz, Johannes Kepler University, Linz, Austria, 1988."},{"key":"17_CR19","volume-title":"Technical Report 92-33","author":"W. Schreiner","year":"1992","unstructured":"W. Schreiner. The Design of the PACLIB Kernel. Technical Report 92-33, RISC-Linz, Johannes Kepler University, Linz, Austria, 1992. Also: Technical Report ACPC\/TR 93-4, ACPC Technical Report Series, Austrian Center for Parallel Computation, February 1993."},{"key":"17_CR20","first-page":"776","volume-title":"A New Library for Parallel Algebraic Computation","author":"W. Schreiner","year":"1993","unstructured":"W. Schreiner and H. Hong. A New Library for Parallel Algebraic Computation. In R. F. Sincovec et al., editors, Sixth SIAM Conference on Parallel Processing for Scientific Computing, volume II, pages 776\u2013783, Norfolk, Virginia, March 22\u201324, 1993. SIAM. Also: Technical Report 92-73, RISC-Linz, Johannes Kepler University, Linz, Austria, 1992. Also: Technical Report ACPC\/TR 93-9, ACPC Technical Report Series, Austrian Center for Parallel Computation, February 1993."},{"unstructured":"W. Schreiner and H. Hong. PACLIB \u2014 A System for Parallel Algebraic Computation on Shared Memory Computers. In H. M. Alnuweiri, editor, Parallel Systems Fair at the Seventh International Parallel Processing Symposium, pages 56\u201361, Newport Beach, CA, April 14, 1993. IPPS '93. Also: Technical Report 93-03, RISC-Linz, Johannes Kepler University, Linz, Austria, February 1993. Also: Technical Report ACPC\/TR 93-12, ACPC Technical Report Series, Austrian Center for Parallel Computation, February 1993.","key":"17_CR21"},{"key":"17_CR22","volume-title":"Technical report, RISC-Linz","author":"W. Schreiner","year":"1992","unstructured":"W. Schreiner and V. Stahl. The Exact Solution of Linear Equation Systems on a Shared Memory Multiprocessor. Technical report, RISC-Linz, Johannes Kepler University, Linz, Austria, 1992."},{"key":"17_CR23","first-page":"179","volume-title":"Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"K. Siegl","year":"1993","unstructured":"K. Siegl. Parallelizing Algorithms for Symbolic Computation Using \u2225MAPLE\u2225. In Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 179\u2013186, San Diego, California, May 19\u201322, 1993. ACM Press. Also: Technical Report 93-08, RISC-Linz, Johannes Kepler University, Linz, Austria, February 1993."},{"unstructured":"Sun Microsystems. System Services Overview, Lightweight Processes, May 1988.","key":"17_CR24"},{"doi-asserted-by":"crossref","unstructured":"B. K. Szymanski, editor. Parallel Functional Languages and Compilers. Frontier Series. ACM Press, 1991.","key":"17_CR25","DOI":"10.1145\/107214"},{"key":"17_CR26","volume-title":"Technical Report CMU-CS-87-139","author":"A. Tevanian Jr.","year":"1987","unstructured":"A. Tevanian, Jr. and R. F. Rashid. MACH: A Basis for Future UNIX Development. Technical Report CMU-CS-87-139, Computer Science Department, Carnegie-Mellon University, Pittsburgh, PA, June 1987."},{"unstructured":"University of Illinois. The CHARM (3.2) Programming Language Manual, December 1992.","key":"17_CR27"},{"key":"17_CR28","volume-title":"Technical Report 88-88, RISC-Linz","author":"F. Winkler","year":"1988","unstructured":"F. Winkler. Computer Algebra I. Technical Report 88-88, RISC-Linz, Johannes Kepler University, Linz, Austria, 1988."},{"key":"17_CR29","volume-title":"Supercompilers for Parallel and Vector Computers","author":"H. Zima","year":"1990","unstructured":"H. Zima and B. Chapman. Supercompilers for Parallel and Vector Computers. Addison Wesley, New York, 1990."}],"container-title":["Lecture Notes in Computer Science","Parallel Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57314-3_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:03:36Z","timestamp":1619571816000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57314-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573142","9783540480556"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-57314-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}