• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 25 matches

• 1997
• 
  Olaf Bachmann, Hans Schönemann, Simon Gray:
  A proposal for syntactic data integration math protocols. PASCO 1997: 165-175
• 
  Laurent Bernardin:
  Maple on a massively parallel, distributed memory machine. PASCO 1997: 217-222
• 
  Maria Paola Bonacina:
  Experiments with subdivision of search in distributed theorem proving. PASCO 1997: 88-100
• 
  Giovanni Cesari:
  CALYPSO: a computer algebra library for parallel symbolic computation. PASCO 1997: 204-216
• 
  Vítor Santos Costa, Ricardo Bianchini, Inês de Castro Dutra:
  Evaluating parallel logic programming systems on scalable multiprocessors. PASCO 1997: 58-67
• 
  Wayne Eberly:
  Processor-efficient parallel matrix inversion over abstract fields: two extensions. PASCO 1997: 38-45
• 
  Thierry Gautier, Jean-Louis Roch:
  NC² computation of gcd-free basis and application to parallel algebraic numbers computation. PASCO 1997: 31-37
• 
  Mark Giesbrecht:
  Efficient parallel solution of sparse systems of linear diophantine equations. PASCO 1997: 1-10
• 
  John Glauert:
  Object graph rewriting: an experimental parallel implementation. PASCO 1997: 119-128
• 
  Gopal Gupta, Enrico Pontelli:
  Extended dynamic dependent and-parallelism in ACE. PASCO 1997: 68-79
• 
  Seif Haridi, Peter Van Roy, Gert Smolka:
  An overview of the design of Distributed Oz. PASCO 1997: 176-187
• 
  Xiaohan Huang, Victor Y. Pan:
  Fast rectangular matrix multiplications and improving parallel matrix computations. PASCO 1997: 11-23
• 
  Shohei Kato, Hirohisa Seki, Hidenori Itoh:
  A parallel implementation of cost-based abductive reasoning. PASCO 1997: 111-118
• 
  Monica S. Lam:
  Maximizing performance on parallel machines (abstract). PASCO 1997: 129
• 
  Johan Montelius, Seif Haridi:
  An evaluation of Penny: a system for fine grain implicit parallelism. PASCO 1997: 46-57
• 
  Hirokazu Murao, Tetsuro Fujise:
  Towards an efficient implementation of a fast algorithm for multipoint polynomial evaluation and its parallel processing. PASCO 1997: 24-30
• 
  Arthur Norman, John P. Fitch:
  CABAL: polynomial and power series algebra on a parallel computer. PASCO 1997: 196-203
• 
  Masayuki Noro, John McKay:
  Computation of replicable functions on Risa/Asir. PASCO 1997: 130-138
• 
  Kazuhiko Ohno, Masahiko Ikawa, Shin-ichiro Mori, Hiroshi Nakashima, Shinji Tomita, Masahiro Goshima:
  Improvement of message communication in concurrent logic language. PASCO 1997: 156-164
• 
  Michael Sperber, Peter Thiemann, Herbert Klaeren:
  Distributed partial evaluation. PASCO 1997: 80-87
• 
  Ágnes Szántó:
  Complexity of the Wu-Ritt decomposition. PASCO 1997: 139-149
• 
  Yong Meng Teo, Wei-Ngan Chin, Soon Huat Tan:
  Deriving efficient parallel programs for complex recurrences. PASCO 1997: 101-110
• 
  Paul S. Wang:
  Tools for parallel/distributed mathematical computation. PASCO 1997: 188-195
• 
  Eugene V. Zima:
  Mixed representation of polynomials oriented towards fast parallel shift. PASCO 1997: 150-155
• 
  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 [contents]