default search action
PASCO 1994, Hagenberg/Linz, Austria
- Hoon Hong:
First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994. World Scientific 1994, ISBN 978-981-4533-58-4 - Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi:
Constraint-Based Knowledge Brokers. PASCO 1994: 1-11 - Giuseppe Attardi, Carlo Traverso:
A Strategy-Accurate Parallel Buchberger Algorithm. PASCO 1994: 12-21 - Maria Paola Bonacina:
On the Reconstruction of Proofs in Distributed Theorem Proving with Contraction: A Modified Clause-Diffusion Method. PASCO 1994: 22-33 - Koen De Bosschere, Jean-Marie Jacquet:
Local and Conditional Blackboard Operations in μLog: Semantics, Applicability, and Implementation. PASCO 1994: 34-43 - Tore A. Bratvold:
Parallelising a Functional Program Using a List-Homomorphism Skeleton. PASCO 1994: 44-53 - Srecko Brlek, Antoine Rauzy:
Synchronization of Constrained Transition Systems. PASCO 1994: 54-62 - 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: 63-73 - Tracy Burke-Perline:
The Parallel Computation of f(x) (p-1)/2 mod h(x) using Sugarbush 1.1. PASCO 1994: 74-83 - Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin:
Multi-Threaded AC Term Rewriting. PASCO 1994: 84-93 - Bruce W. Char, Jeremy Johnson, David Saunders, Andrew P. Wack:
Some Experiments with Parallel Bignum Arithmetic. PASCO 1994: 94-103 - Stéphane Dalmas, Marc Gaëtano, Alain Sausse:
Distributed Computer Algebra: the Central Control Approach. PASCO 1994: 104-113 - Jörg Denzinger, Stephan Schulz:
Recording, Analyzing and Presenting Distributed Deduction Processes. PASCO 1994: 114-123 - Jean-Charles Faugère:
Parallelization of Gröbner Basis. PASCO 1994: 124-132 - Pedro López-García, Manuel V. Hermenegildo, Saumya K. Debray:
Towards Granularity Based Control of Parallelism in Logic Programs. PASCO 1994: 133-144 - Thierry Gautier, Jean-Louis Roch:
PAC++ System and Parallel Algebraic Numbers Computation. PASCO 1994: 145-153 - Katia Gladitz, Herbert Kuchen:
Parallel Implementation of the Gamma-Operation on Bags. PASCO 1994: 154-163 - Antonio González, Jordi Tubella:
The Multipath Parallel Execution Model for Prolog. PASCO 1994: 164-173 - Hans-Gert Gräbe, Wolfgang Lassner:
The Parallel Gröbner Factorizer. PASCO 1994: 174-180 - Kevin Hammond:
Parallel Functional Programming: An Introduction. PASCO 1994: 181-193 - Ryuzo Hasegawa, Miyuki Koshimura:
An AND Parallelization Method for MGTP and Its Evaluation. PASCO 1994: 194-203 - Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat:
The Vectorisation Monad. PASCO 1994: 204-213 - Antonis C. Kakas, George A. Papadopoulos:
Parallel Abduction in Logic Programming. PASCO 1994: 214-224 - Erich L. Kaltofen, Victor Y. Pan:
Parallel Solution of Toeplitz and Toeplitz-Like Linear Systems Over Fields of Small Positive Characteristic. PASCO 1994: 225-233 - Owen Kaser, C. R. Ramakrishnan, R. C. Sekar:
A High Performance Runtime System for Parallel Evaluation of Lazy Languages. PASCO 1994: 234-243 - Marco Kesseler:
Reducing Graph Copying Costs - Time to Wrap It Up. PASCO 1994: 244-253 - Kazuhiro Konno, Masaaki Nagatsuka, Naoki Kobayashi, Satoshi Matsuoka, Akinori Yonezawa:
PARCS: An MPP-Oriented CLP Language. PASCO 1994: 254-263 - Werner Krandick, Tudor Jebelean:
Bidirectional Exact Integer Division. PASCO 1994: 264-272 - Ho-fung Leung, Keith L. Clark:
Constraint Solving in Distributed Concurrent Logic Programming. PASCO 1994: 273-283 - Philippe Marti, Michel Rueher:
A Cooperative Scheme for Solving Constraints over the Reals. PASCO 1994: 284-293 - Bart Massey, Evan Tick:
Optimizing Clause Matching Automata in Committed-Choice Languages. PASCO 1994: 294-303 - Hirokazu Murao, Tetsuro Fujise:
Modular Algorithm for Sparse Multivariate Polynomial Interpolation and its Parallel Implementation. PASCO 1994: 304-315 - Andrés del Pozo-Prieto, Juan José Moreno-Navarro:
Independent Subexpression Parallelism with Delayed Synchronization for Functional Logic Languages. PASCO 1994: 316-325 - Mohamed Omar Rayes, Paul S. Wang:
Parallel GCD for Sparse Multivariate Polynomials on Shared Memory Multiprocessors. PASCO 1994: 326-335 - Fernando Sáenz-Pérez, José J. Ruz, Werner Hans, Stephan Winkler:
A Stack-based Machine for Parallel Execution of Babel Programs. PASCO 1994: 336-345 - Wolfgang Schreiner:
A Para-Functional Programming Interface for a Parallel Computer Algebra Package. PASCO 1994: 346-355 - Kurt Siegl:
A Parallel Factorization Tree Gröbner Basis Algorithm. PASCO 1994: 356-362 - Angela C. Sodan, Hua Bi:
A Semi-Automatic Approach for Parallelizing Symbolic Processing Programs. PASCO 1994: 363-372 - Masaru Takesue:
Parallel Symbolic Processing with the Distributed Lists. PASCO 1994: 373-381 - Bo-Ming Tong, Ho-fung Leung:
Implementation of a Data-Parallel Concurrrent Constraint Programming System. PASCO 1994: 382-393 - Paul S. Wang:
Parallel Polynomial Operations: A Progress Report. PASCO 1994: 394-404 - Kenneth Weber:
Parallel Implementation of the Accelerated Integer GCD Algorithm. PASCO 1994: 405-411 - Claes Wikström:
Distributed Programming in Erlang. PASCO 1994: 412-421 - Hantao Zhang, Maria Paola Bonacina:
Cumulating Search in a Distributed Computing Environment: A Case Study in Parallel Satisfiability. PASCO 1994: 422-431
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.