default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd PASCO 1997: Kihei, Hawaii, USA
- Hoon Hong, Erich L. Kaltofen, Markus A. Hitz:
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 - Gopal Gupta, Enrico Pontelli:
Extended dynamic dependent and-parallelism in ACE. 68-79 - Michael Sperber, Peter Thiemann, Herbert Klaeren:
Distributed partial evaluation. 80-87 - 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 S. Lam:
Maximizing performance on parallel machines (abstract). 129 - Masayuki Noro, John McKay:
Computation of replicable functions on Risa/Asir. 130-138 - Á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 - Seif Haridi, Peter Van Roy, Gert Smolka:
An overview of the design of Distributed Oz. 176-187 - Paul S. Wang:
Tools for parallel/distributed mathematical computation. 188-195 - Arthur Norman, John P. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-07 20:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
