PASCO 1997: Kihei, Hawaii, USA
Hoon Hong, Erich Kaltofen, Markus A. Hitz (Eds.): Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA. ACM 1997 ISBN 0-89791-951-3- Mark Giesbrecht: Efficient parallel solution of sparse systems of linear diophantine equations. 1-10
- Xiaohan Huang, Victor Y. Pan: Fast rectangular matrix multiplications and improving parallel matrix computations. 11-23
- Hirokazu Murao, Tetsuro Fujise: Towards an efficient implementation of a fast algorithm for multipoint polynomial evaluation and its parallel processing. 24-30
- Thierry Gautier, Jean-Louis Roch: NC2 computation of gcd-free basis and application to parallel algebraic numbers computation. 31-37
- Wayne Eberly: Processor-efficient parallel matrix inversion over abstract fields: two extensions. 38-45
- Johan Montelius, Seif Haridi: An evaluation of Penny: a system for fine grain implicit parallelism. 46-57
- Vítor Santos Costa, Ricardo Bianchini, Inês de Castro Dutra: Evaluating parallel logic programming systems on scalable multiprocessors. 58-67
- Maria Paola Bonacina: Experiments with subdivision of search in distributed theorem proving. 88-100
- Yong Meng Teo, Wei-Ngan Chin, Soon Huat Tan: Deriving efficient parallel programs for complex recurrences. 101-110
- Shohei Kato, Hirohisa Seki, Hidenori Itoh: A parallel implementation of cost-based abductive reasoning. 111-118
- John Glauert: Object graph rewriting: an experimental parallel implementation. 119-128
- Monica Lam: Maximizing performance on parallel machines (abstract). 129
- Ágnes Szántó: Complexity of the Wu-Ritt decomposition. 139-149
- Eugene V. Zima: Mixed representation of polynomials oriented towards fast parallel shift. 150-155
- Kazuhiko Ohno, Masahiko Ikawa, Shin-ichiro Mori, Hiroshi Nakashima, Shinji Tomita, Masahiro Goshima: Improvement of message communication in concurrent logic language. 156-164
- Olaf Bachmann, Hans Schönemann, Simon Gray: A proposal for syntactic data integration math protocols. 165-175
- Paul S. Wang: Tools for parallel/distributed mathematical computation. 188-195
- Arthur Norman, John Fitch: CABAL: polynomial and power series algebra on a parallel computer. 196-203
- Giovanni Cesari: CALYPSO: a computer algebra library for parallel symbolic computation. 204-216
- Laurent Bernardin: Maple on a massively parallel, distributed memory machine. 217-222
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team