377 | -- | 396 | Hirokazu Murao, Tetsuro Fujise. Modular Algorithm for Sparse Multivariate Polynomial Interpolation and its Parallel Implementation |
397 | -- | 410 | Paul S. Wang. Parallel Polynomial Operations on SMPs: an Overview |
411 | -- | 425 | Giuseppe Attardi, Carlo Traverso. Strategy-Accurate Parallel Buchberger Algorithms |
427 | -- | 439 | Stéphane Dalmas, Marc Gaëtano, Alain Sausse. A Distributed and Cooperative Environment for Computer Algebra |
441 | -- | 455 | Werner Krandick, Tudor Jebelean. Bidirectional Exact Integer Division |
457 | -- | 466 | Kenneth Weber. Parallel Implementation of the Accelerated Integer GCD Algorithm |
467 | -- | 473 | Giovanni Cesari, Roman Maeder. Performance Analysis of the Parallel Karatsuba Multiplication Algorithm for Distributed Memory Architectures |
475 | -- | 505 | Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin. Strategy Compliant Multi-Threaded Term Completion |
507 | -- | 522 | Maria Paola Bonacina. On the Reconstruction of Proofs in Distributed Theorem Proving: a Modified Clause-Diffusion Method |
523 | -- | 541 | Jörg Denzinger, Stephan Schulz. Recording and Analysing Knowledge-Based Distributed Deduction Processes |
543 | -- | 560 | Hantao Zhang, Maria Paola Bonacina, Jieh Hsiang. PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems |
561 | -- | 576 | Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat. Parallelizing Imperative Functional Programs: the Vectorization Monad |
577 | -- | 591 | Katia Gladitz, Herbert Kuchen. Shared Memory Implementation of the Gamma-Operation |
593 | -- | 614 | Wolfgang Schreiner. A Para-Functional Programming Interface for a Parallel Computer Algebra Package |
615 | -- | 634 | Angela Sodan. A Semi-Automatic Multiple-Strategy Approach To Mapping Tree-Structured Symbolic Processing Programs |
635 | -- | 667 | Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi. The Constraint-Based Knowledge Broker Model: Semantics, Implementation and Analysis |
669 | -- | 697 | Koenraad De Bosschere, Jean-Marie Jacquet. Extending the µLog Framework with Local and Conditional Blackboard Operations |
699 | -- | 714 | Ho-Fung Leung, Keith L. Clark. Constraint Satisfaction in Distributed Concurrent Logic Programming |
715 | -- | 734 | Pedro López-García, Manuel V. Hermenegildo, Saumya K. Debray. A Methodology for Granularity-Based Control of Parallelism in Logic Programs |