| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Katia Gladitz, Herbert Kuchen |
Parallel Implementation of the Gamma-Operation on Bags.  |
PASCO  |
1994 |
DBLP BibTeX RDF |
|
| 1 | Masaru Takesue |
Parallel Symbolic Processing with the Distributed Lists. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Kurt Siegl |
A Parallel Factorization Tree Gröbner Basis Algorithm. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Thierry Gautier, Jean-Louis Roch |
PAC++ System and Parallel Algebraic Numbers Computation. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Fernando Sáenz-Pérez, José J. Ruz, Werner Hans, Stephan Winkler |
A Stack-based Machine for Parallel Execution of Babel Programs. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Bruce W. Char, Jeremy Johnson 0001, David Saunders 0002, Andrew P. Wack |
Some Experiments with Parallel Bignum Arithmetic. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Schreiner |
A Para-Functional Programming Interface for a Parallel Computer Algebra Package. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Hantao Zhang 0001, Maria Paola Bonacina |
Cumulating Search in a Distributed Computing Environment: A Case Study in Parallel Satisfiability. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Tracy Burke-Perline |
The Parallel Computation of f(x) (p-1)/2 mod h(x) using Sugarbush 1.1. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Paul S. Wang |
Parallel Polynomial Operations: A Progress Report. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Angela C. Sodan, Hua Bi |
A Semi-Automatic Approach for Parallelizing Symbolic Processing Programs. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Francisco Bueno, Maria Garcia de la Banda, Manuel V. Hermenegildo |
A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Kevin Hammond |
Parallel Functional Programming: An Introduction. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Werner Krandick, Tudor Jebelean |
Bidirectional Exact Integer Division. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Hans-Gert Gräbe, Wolfgang Lassner |
The Parallel Gröbner Factorizer. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | P. Lopez Garcia, Manuel V. Hermenegildo, Saumya K. Debray |
Towards Granularity Based Control of Parallelism in Logic Programs. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Mohamed Omar Rayes, Paul S. Wang |
Parallel GCD for Sparse Multivariate Polynomials on Shared Memory Multiprocessors. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jean-Charles Faugère |
Parallelization of Gröbner Basis. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Attardi, Carlo Traverso |
A Strategy-Accurate Parallel Buchberger Algorithm. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Marco Kesseler |
Reducing Graph Copying Costs - Time to Wrap It Up. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Erich L. Kaltofen, Victor Y. Pan |
Parallel Solution of Toeplitz and Toeplitz-Like Linear Systems Over Fields of Small Positive Characteristic. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Kenneth Weber |
Parallel Implementation of the Accelerated Integer GCD Algorithm. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Maria Paola Bonacina |
On the Reconstruction of Proofs in Distributed Theorem Proving with Contraction: A Modified Clause-Diffusion Method. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Antonis C. Kakas, George A. Papadopoulos |
Parallel Abduction in Logic Programming. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Koen De Bosschere, Jean-Marie Jacquet |
Local and Conditional Blackboard Operations in μLog: Semantics, Applicability, and Implementation. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jörg Denzinger, Stephan Schulz 0001 |
Recording, Analyzing and Presenting Distributed Deduction Processes. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Claes Wikström |
Distributed Programming in Erlang. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Dalmas, Marc Gaëtano, Alain Sausse |
Distributed Computer Algebra: the Central Control Approach. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Bart Massey, Evan Tick |
Optimizing Clause Matching Automata in Committed-Choice Languages. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Hoon Hong (eds.) |
First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994. |
PASCO |
1994 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license