A master-slave approach to parallel term rewriting on a hierarchical multiprocessor-Reference-Cited by-同舟云学术

A master-slave approach to parallel term rewriting on a hierarchical multiprocessor

Published:1996 Issue: Volume: Page:183-194
ISSN:0302-9743
Container-title:Design and Implementation of Symbolic Computation Systems
language:
Short-container-title:

Author:

Bündgen Reinhard,Göbel Manfred,Küchlin Wolfgang

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61697-7_17.pdf

Reference36 articles.

1. S. Anantharaman and N. Andrianarievelo. Heuristical criteria in refutational theorem proving. In A. Miola, editor, Design and Implementation of Symbolic Computation Systems, 1994. Springer-Verlag.

2. G. Attardi and C. Traverso. A strategy-accurate parallel Buchberger algorithm. In Hong [19].

3. volume 690 of LNCS;J. Avenhaus,1993

4. L. Bachmair, N. Dershowitz, and D. Plaisted. Completion without failure. In H. Aït-Kaci and M. Nivat, editors, Resolution of Equations in Algebraic Structures, volume 2 of Rewriting Techniques, chapter 1. Academic Press, 1989.

5. M. Bonacina and J. Hsiang. Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Acquarius Prover. J. Symbolic Computation, 19(1/2/3), 1995.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A self-adaptive computing framework for parallel maximum likelihood evaluation;The Journal of Supercomputing;2011-07-13

2. An object-oriented platform for distributed high-performance symbolic computation;Mathematics and Computers in Simulation;1999-08

3. Parallel Completion Techniques;Symbolic Rewriting Techniques;1998