Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Fatima K. Abu Salem, Khalil El-Harake, Karl Gemayel |
Cache oblivious sparse polynomial factoring using the funnel heap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, PASCO 2015, Bath, United Kingdom, July 10-12, 2015, pp. 7-15, 2015, ACM, 978-1-4503-3599-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hiroki Hayakawa, Naoaki Ishida, Hirokazu Murao |
GPU-acceleration of optimal permutation-puzzle solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, PASCO 2015, Bath, United Kingdom, July 10-12, 2015, pp. 61-69, 2015, ACM, 978-1-4503-3599-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dereje Kifle Boku, Wolfram Decker, Claus Fieker, Andreas Steenpaß |
Gröbner bases over algebraic number fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, PASCO 2015, Bath, United Kingdom, July 10-12, 2015, pp. 16-24, 2015, ACM, 978-1-4503-3599-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lingchuan Meng, Jeremy Johnson 0001 |
High performance implementation of the inverse TFT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, PASCO 2015, Bath, United Kingdom, July 10-12, 2015, pp. 87-94, 2015, ACM, 978-1-4503-3599-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Gibson, Michael B. Monagan |
Optimizing and parallelizing the modular GCD algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, PASCO 2015, Bath, United Kingdom, July 10-12, 2015, pp. 44-52, 2015, ACM, 978-1-4503-3599-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Gautier, Jean-Louis Roch, Ziad Sultan, Bastien Vialla |
Parallel algebraic linear algebra dedicated interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, PASCO 2015, Bath, United Kingdom, July 10-12, 2015, pp. 34-43, 2015, ACM, 978-1-4503-3599-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marshall Law, Michael B. Monagan |
A parallel implementation for polynomial multiplication modulo a prime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, PASCO 2015, Bath, United Kingdom, July 10-12, 2015, pp. 78-86, 2015, ACM, 978-1-4503-3599-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guillaume Dumas, Erich L. Kaltofen, Clément Pernet (eds.) |
Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, PASCO 2015, Bath, United Kingdom, July 10-12, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![ACM, 978-1-4503-3599-7 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jan Verschelde, Xiangcheng Yu |
Accelerating polynomial homotopy continuation on a graphics processing unit with double double and quad double arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, PASCO 2015, Bath, United Kingdom, July 10-12, 2015, pp. 109-118, 2015, ACM, 978-1-4503-3599-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mickaël Gastineau, Jacques Laskar |
Parallel sparse multivariate polynomial division. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, PASCO 2015, Bath, United Kingdom, July 10-12, 2015, pp. 25-33, 2015, ACM, 978-1-4503-3599-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Khochtali, Daniel S. Roche, Xisen Tian |
Parallel sparse interpolation using small primes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, PASCO 2015, Bath, United Kingdom, July 10-12, 2015, pp. 70-77, 2015, ACM, 978-1-4503-3599-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Novocin, David Saunders 0002, Alexander Stachnik, Bryan S. Youse |
3-ranks for strongly regular graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, PASCO 2015, Bath, United Kingdom, July 10-12, 2015, pp. 101-108, 2015, ACM, 978-1-4503-3599-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan D. Hauenstein, Alan C. Liddell Jr. |
A hybrid symbolic-numeric approach to exceptional sets of generically zero-dimensional systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, PASCO 2015, Bath, United Kingdom, July 10-12, 2015, pp. 53-60, 2015, ACM, 978-1-4503-3599-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael B. Monagan, Roman Pearce |
A compact parallel implementation of F4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, PASCO 2015, Bath, United Kingdom, July 10-12, 2015, pp. 95-100, 2015, ACM, 978-1-4503-3599-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Allan K. Steel |
Direct solution of the (11, 9, 8)-MinRank problem by the block Wiedemann algorithm in magma with a tesla GPU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, PASCO 2015, Bath, United Kingdom, July 10-12, 2015, pp. 2-6, 2015, ACM, 978-1-4503-3599-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kinji Kumura, Hirokazu Anai |
Parallel computation of determinants of matrices with polynomial entries for robust control design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 173-174, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Charles E. Leiserson, Marc Moreno Maza, Liyun Li, Yuzhen Xie |
Parallel computation of the minimal elements of a poset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 53-62, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Arnold, Michael B. Monagan |
A high-performance algorithm for calculating cyclotomic polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 112-120, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy R. Johnson |
Automated performance tuning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 20-21, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fatima K. Abu Salem |
Cache-oblivious polygon indecomposability testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 150-159, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Reimer Behrends, Alexander Konovalov 0001, Steve Linton, Frank Lübeck, Max Neunhöffer |
Parallelising the computational algebra system GAP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 177-178, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan Verschelde, Genady Yoffe |
Polynomial homotopies on multicore workstations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 131-140, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Jacquin, Vincent Roca, Jean-Louis Roch, Mohamed Al Ali |
Parallel arithmetic encryption for high-bandwidth communications on multicore/GPGPU platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 73-79, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Langlois, Matthieu Martel, Laurent Thévenoux |
Accuracy versus time: a case study with summation algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 121-130, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Faugère, Sylvain Lachartre |
Parallel Gaussian elimination for Gröbner bases computations in finite fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 89-97, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Seyed Mohammad Mahdi Javadi, Michael B. Monagan |
Parallel sparse polynomial interpolation over finite fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 160-168, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael B. Monagan, Roman Pearce |
Parallel sparse polynomial division using heaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 105-111, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hong Diep Nguyen, Nathalie Revol |
High performance linear algebra using interval arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 171-172, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kunkle, Vlad Slavici, Gene Cooperman |
Parallel disk-based computation for large, monolithic binary decision diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 63-72, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kunkle |
Roomy: a system for space limited computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 22-25, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yue Li, Gabriel Dos Reis |
A quantitative study of reductions in algebraic libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 98-104, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi |
Exact sparse matrix-vector multiplication on GPU's and multicore architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 80-88, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Claude-Pierre Jeannerod, Christophe Mouilleron, Jean-Michel Muller, Guillaume Revy, Christian Bertin, Jingyan Jourdan-Lu, Herve Knochel, Christophe Monat |
Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 1-9, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Lewin-Berlin |
Exploiting multicore systems with Cilk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 18-19, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sardar Anisul Haque, Shahadat Hossain, Marc Moreno Maza |
Cache friendly sparse matrix-vector multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 175-176, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch |
Generic design of Chinese remaindering schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 26-34, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Emeliyanenko |
A complete modular resultant algorithm targeted for realization on graphics hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 35-43, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Konovalov 0001, Steve Linton |
Parallel computations in modular group algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 141-149, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Lingchuan Meng, Yevgen Voronenko, Jeremy R. Johnson, Marc Moreno Maza, Franz Franchetti, Yuzhen Xie |
Spiral-generated modular FFT algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 169-170, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen |
Fifteen years after DSC and WLSS2 what parallel computations I do today: invited lecture at PASCO 2010. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 10-17, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mickaël Gastineau |
Parallel operations of sparse polynomials on multicores: I. multiplication and Poisson bracket. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pp. 44-52, 2010, ACM, 978-1-4503-0067-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marc Moreno Maza, Jean-Louis Roch (eds.) |
Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![ACM, 978-1-4503-0067-4 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt |
Generation and optimisation of code using coxeter lattice paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 1-10, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
coxeter groups, code generation, stencils, data-parallel computing |
1 | Marc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie |
Multiprocessed parallelism support in ALDOR on SMPs and multicores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 60-68, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
aldor, categorical parallelism, dynamic process management, multiprocessor parallelism, shared memory |
1 | Marc Moreno Maza, Yuzhen Xie |
Component-level parallelization of triangular decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 69-77, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
component-level, parallelization, triangular decompositions, polynomial system solving |
1 | Anton Leykin, Frank Sottile |
Computing monodromy via parallel homotopy continuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 97-98, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Schubert problems, polynomial homotopy continuation monodromy, parallel processing, distributed computing, Galois group |
1 | Jean-Louis Roch, Sébastien Varrette |
Probabilistic certification of divide & conquer algorithms on global computing platforms: application to fault-tolerant exact matrix-vector product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 88-92, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
divide & conquer algorithms, fork-join macro-data flow graph, global computing, result-checking |
1 | Ilias S. Kotsireas, Christos Koukouvinos |
Inequivalent Hadamard matrices from orthogonal designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 95-96, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
orthogonal designs, systems of polynomial equations, Hadamard matrices |
1 | Katherine A. Yelick, Dan Bonachea, Wei-Yu Chen, Phillip Colella, Kaushik Datta, Jason Duell, Susan L. Graham, Paul Hargrove, Paul N. Hilfinger, Parry Husbands, Costin Iancu, Amir Kamil, Rajesh Nishtala, Jimmy Su, Michael L. Welcome, Tong Wen |
Productivity and performance using partitioned global address space languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 24-32, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
GASNet, titanium, UPC, PGAS, NAS parallel benchmarks, one-sided communication, partitioned global address space |
1 | Shutaro Inoue, Yosuke Sato |
On the parallel computation of comprehensive Gröbner systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 99-101, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
comprehensive Gröbner system |
1 | Vincent Danjean, Roland Gillard, Serge Guelton, Jean-Louis Roch, Thomas Roche |
Adaptive loops with kaapi on multicore and grid: applications in symmetric cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 33-42, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
parallel STL, workstealing, grid computation, symmetric cryptography, adaptive parallelism |
1 | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
Towards a high-level implementation of flexible parallelism primitives for symbolic languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 93-94, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
parallelism, logic programming, symbolic computation |
1 | Michael A. Bauer 0001 |
High performance computing: the software challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 11-12, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Frigo |
Multithreaded programming in Cilk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 13-14, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
spawn, sync, cilk |
1 | Eric Robinson, Daniel Kunkle, Gene Cooperman |
A comparative analysis of parallel disk-based Methods for enumerating implicit graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 78-87, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
disk-based, implicit graphs, parallel, search, enumeration |
1 | Thierry Gautier, Xavier Besseron, Laurent Pigeon |
KAAPI: A thread scheduling runtime system for data flow computations on cluster of multi-processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 15-23, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
cluster, multi-core, data flow, work-stealing, multi-processor |
1 | Xin Li 0009, Marc Moreno Maza |
Multithreaded parallel implementation of arithmetic operations modulo a triangular set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 53-59, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
algorithms, parallelization, polynomials, high-performance, normal form |
1 | Bruce W. Char, B. David Saunders, Bryan S. Youse |
LinBox and future high performance computer algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 102-103, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
parallel computation, multi-core, high performance |
1 | Marc Moreno Maza, Stephen M. Watt (eds.) |
Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![ACM, 978-1-59593-741-4 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Jean-Guillaume Dumas, Philippe Elbaz-Vincent, Pascal Giorgi, Anna Urbanska |
Parallel computation of the rank of large sparse matrices from algebraic K-theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 43-52, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
algebraic K-theory, block Wiedemann, cohomology computation, parallel rank and Smith form, sparse matrix |
1 | Mohab Safey El Din, Philippe Trebuchet |
POSIX threads polynomials(PTPol): a scalable implementation of univariate arithmetic operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 104-106, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
univariate polynomial, scalability, symbolic-numeric computation |
1 | Monica S. Lam |
Maximizing performance on parallel machines (abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 129, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Seif Haridi, Peter Van Roy, Gert Smolka |
An overview of the design of Distributed Oz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 176-187, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Xiaohan Huang, Victor Y. Pan |
Fast rectangular matrix multiplications and improving parallel matrix computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 11-23, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Yong Meng Teo, Wei-Ngan Chin, Soon Huat Tan |
Deriving efficient parallel programs for complex recurrences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 101-110, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Shohei Kato, Hirohisa Seki, Hidenori Itoh |
A parallel implementation of cost-based abductive reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 111-118, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | John Glauert |
Object graph rewriting: an experimental parallel implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 119-128, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Kazuhiko Ohno, Masahiko Ikawa, Shin-ichiro Mori, Hiroshi Nakashima, Shinji Tomita, Masahiro Goshima |
Improvement of message communication in concurrent logic language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 156-164, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Gopal Gupta 0001, Enrico Pontelli |
Extended dynamic dependent and-parallelism in ACE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 68-79, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mark Giesbrecht |
Efficient parallel solution of sparse systems of linear diophantine equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 1-10, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Bachmann, Hans Schönemann, Simon Gray |
A proposal for syntactic data integration math protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 165-175, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Gautier, Jean-Louis Roch |
NC2 computation of gcd-free basis and application to parallel algebraic numbers computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 31-37, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Paul S. Wang |
Tools for parallel/distributed mathematical computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 188-195, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Hirokazu Murao, Tetsuro Fujise |
Towards an efficient implementation of a fast algorithm for multipoint polynomial evaluation and its parallel processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 24-30, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Michael Sperber, Peter Thiemann 0001, Herbert Klaeren |
Distributed partial evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 80-87, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Hoon Hong, Erich L. Kaltofen, Markus A. Hitz (eds.) |
Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![ACM, 0-89791-951-3 The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Johan Montelius, Seif Haridi |
An evaluation of Penny: a system for fine grain implicit parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 46-57, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Cesari |
CALYPSO: a computer algebra library for parallel symbolic computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 204-216, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Wayne Eberly |
Processor-efficient parallel matrix inversion over abstract fields: two extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 38-45, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Bernardin |
Maple on a massively parallel, distributed memory machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 217-222, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Norman, John P. Fitch |
CABAL: polynomial and power series algebra on a parallel computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 196-203, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Eugene V. Zima |
Mixed representation of polynomials oriented towards fast parallel shift. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 150-155, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Masayuki Noro, John McKay 0001 |
Computation of replicable functions on Risa/Asir. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 130-138, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Maria Paola Bonacina |
Experiments with subdivision of search in distributed theorem proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 88-100, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ágnes Szántó |
Complexity of the Wu-Ritt decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 139-149, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Vítor Santos Costa, Ricardo Bianchini, Inês de Castro Dutra |
Evaluating parallel logic programming systems on scalable multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA, pp. 58-67, 1997, ACM, 0-89791-951-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Kazuhiro Konno, Masaaki Nagatsuka, Naoki Kobayashi 0001, Satoshi Matsuoka, Akinori Yonezawa |
PARCS: An MPP-Oriented CLP Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994., pp. 254-263, 1994, World Scientific, 978-981-4533-58-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat |
The Vectorisation Monad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994., pp. 204-213, 1994, World Scientific, 978-981-4533-58-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Andrés del Pozo-Prieto, Juan José Moreno-Navarro |
Independent Subexpression Parallelism with Delayed Synchronization for Functional Logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994., pp. 316-325, 1994, World Scientific, 978-981-4533-58-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Srecko Brlek, Antoine Rauzy |
Synchronization of Constrained Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994., pp. 54-62, 1994, World Scientific, 978-981-4533-58-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Bo-Ming Tong, Ho-fung Leung |
Implementation of a Data-Parallel Concurrrent Constraint Programming System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994., pp. 382-393, 1994, World Scientific, 978-981-4533-58-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Philippe Marti, Michel Rueher |
A Cooperative Scheme for Solving Constraints over the Reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994., pp. 284-293, 1994, World Scientific, 978-981-4533-58-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Ryuzo Hasegawa, Miyuki Koshimura |
An AND Parallelization Method for MGTP and Its Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994., pp. 194-203, 1994, World Scientific, 978-981-4533-58-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Hirokazu Murao, Tetsuro Fujise |
Modular Algorithm for Sparse Multivariate Polynomial Interpolation and its Parallel Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994., pp. 304-315, 1994, World Scientific, 978-981-4533-58-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Owen Kaser, C. R. Ramakrishnan 0001, R. C. Sekar 0001 |
A High Performance Runtime System for Parallel Evaluation of Lazy Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994., pp. 234-243, 1994, World Scientific, 978-981-4533-58-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Ho-fung Leung, Keith L. Clark |
Constraint Solving in Distributed Concurrent Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994., pp. 273-283, 1994, World Scientific, 978-981-4533-58-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi |
Constraint-Based Knowledge Brokers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994., pp. 1-11, 1994, World Scientific, 978-981-4533-58-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin |
Multi-Threaded AC Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994., pp. 84-93, 1994, World Scientific, 978-981-4533-58-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Tore A. Bratvold |
Parallelising a Functional Program Using a List-Homomorphism Skeleton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994., pp. 44-53, 1994, World Scientific, 978-981-4533-58-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Antonio González 0001, Jordi Tubella |
The Multipath Parallel Execution Model for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994., pp. 164-173, 1994, World Scientific, 978-981-4533-58-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|