The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Comput.
1996, volume: 21, number: 4

  1. Hirokazu Murao, Tetsuro Fujise
    Modular Algorithm for Sparse Multivariate Polynomial Interpolation and its Parallel Implementation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:377-396 [Journal]
  2. Paul S. Wang
    Parallel Polynomial Operations on SMPs: an Overview. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:397-410 [Journal]
  3. Giuseppe Attardi, Carlo Traverso
    Strategy-Accurate Parallel Buchberger Algorithms. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:411-425 [Journal]
  4. Stéphane Dalmas, Marc Gaëtano, Alain Sausse
    A Distributed and Cooperative Environment for Computer Algebra. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:427-439 [Journal]
  5. Werner Krandick, Tudor Jebelean
    Bidirectional Exact Integer Division. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:441-455 [Journal]
  6. Kenneth Weber
    Parallel Implementation of the Accelerated Integer GCD Algorithm. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:457-466 [Journal]
  7. Giovanni Cesari, Roman Maeder
    Performance Analysis of the Parallel Karatsuba Multiplication Algorithm for Distributed Memory Architectures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:467-473 [Journal]
  8. Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
    Strategy Compliant Multi-Threaded Term Completion. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:475-505 [Journal]
  9. Maria Paola Bonacina
    On the Reconstruction of Proofs in Distributed Theorem Proving: a Modified Clause-Diffusion Method. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:507-522 [Journal]
  10. Jörg Denzinger, Stephan Schulz
    Recording and Analysing Knowledge-Based Distributed Deduction Processes. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:523-541 [Journal]
  11. Hantao Zhang, Maria Paola Bonacina, Jieh Hsiang
    PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:543-560 [Journal]
  12. Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat
    Parallelizing Imperative Functional Programs: the Vectorization Monad. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:561-576 [Journal]
  13. Katia Gladitz, Herbert Kuchen
    Shared Memory Implementation of the Gamma-Operation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:577-591 [Journal]
  14. Wolfgang Schreiner
    A Para-Functional Programming Interface for a Parallel Computer Algebra Package. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:593-614 [Journal]
  15. Angela Sodan
    A Semi-Automatic Multiple-Strategy Approach To Mapping Tree-Structured Symbolic Processing Programs. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:615-634 [Journal]
  16. Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi
    The Constraint-Based Knowledge Broker Model: Semantics, Implementation and Analysis. [Citation Graph (1, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:635-667 [Journal]
  17. Koenraad De Bosschere, Jean-Marie Jacquet
    Extending the µLog Framework with Local and Conditional Blackboard Operations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:669-697 [Journal]
  18. Ho-fung Leung, Keith L. Clark
    Constraint Satisfaction in Distributed Concurrent Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:699-714 [Journal]
  19. Pedro López-García, Manuel V. Hermenegildo, Saumya K. Debray
    A Methodology for Granularity-Based Control of Parallelism in Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:715-734 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002