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. |
PASCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hiroki Hayakawa, Naoaki Ishida, Hirokazu Murao |
GPU-acceleration of optimal permutation-puzzle solving. |
PASCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dereje Kifle Boku, Wolfram Decker, Claus Fieker, Andreas Steenpaß |
Gröbner bases over algebraic number fields. |
PASCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lingchuan Meng, Jeremy Johnson 0001 |
High performance implementation of the inverse TFT. |
PASCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Gibson, Michael B. Monagan |
Optimizing and parallelizing the modular GCD algorithm. |
PASCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Gautier, Jean-Louis Roch, Ziad Sultan, Bastien Vialla |
Parallel algebraic linear algebra dedicated interface. |
PASCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marshall Law, Michael B. Monagan |
A parallel implementation for polynomial multiplication modulo a prime. |
PASCO |
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 |
PASCO |
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. |
PASCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mickaël Gastineau, Jacques Laskar |
Parallel sparse multivariate polynomial division. |
PASCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Khochtali, Daniel S. Roche, Xisen Tian |
Parallel sparse interpolation using small primes. |
PASCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Novocin, David Saunders 0002, Alexander Stachnik, Bryan S. Youse |
3-ranks for strongly regular graphs. |
PASCO |
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. |
PASCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael B. Monagan, Roman Pearce |
A compact parallel implementation of F4. |
PASCO |
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. |
PASCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kinji Kumura, Hirokazu Anai |
Parallel computation of determinants of matrices with polynomial entries for robust control design. |
PASCO |
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. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Arnold, Michael B. Monagan |
A high-performance algorithm for calculating cyclotomic polynomials. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy R. Johnson |
Automated performance tuning. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fatima K. Abu Salem |
Cache-oblivious polygon indecomposability testing. |
PASCO |
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. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan Verschelde, Genady Yoffe |
Polynomial homotopies on multicore workstations. |
PASCO |
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. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Langlois, Matthieu Martel, Laurent Thévenoux |
Accuracy versus time: a case study with summation algorithms. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Faugère, Sylvain Lachartre |
Parallel Gaussian elimination for Gröbner bases computations in finite fields. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Seyed Mohammad Mahdi Javadi, Michael B. Monagan |
Parallel sparse polynomial interpolation over finite fields. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael B. Monagan, Roman Pearce |
Parallel sparse polynomial division using heaps. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hong Diep Nguyen, Nathalie Revol |
High performance linear algebra using interval arithmetic. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kunkle, Vlad Slavici, Gene Cooperman |
Parallel disk-based computation for large, monolithic binary decision diagrams. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kunkle |
Roomy: a system for space limited computations. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yue Li, Gabriel Dos Reis |
A quantitative study of reductions in algebraic libraries. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi |
Exact sparse matrix-vector multiplication on GPU's and multicore architectures. |
PASCO |
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. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Lewin-Berlin |
Exploiting multicore systems with Cilk. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sardar Anisul Haque, Shahadat Hossain, Marc Moreno Maza |
Cache friendly sparse matrix-vector multiplication. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch |
Generic design of Chinese remaindering schemes. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Emeliyanenko |
A complete modular resultant algorithm targeted for realization on graphics hardware. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Konovalov 0001, Steve Linton |
Parallel computations in modular group algebras. |
PASCO |
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. |
PASCO |
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. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mickaël Gastineau |
Parallel operations of sparse polynomials on multicores: I. multiplication and Poisson bracket. |
PASCO |
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 |
PASCO |
2010 |
DBLP BibTeX RDF |
|
1 | Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt |
Generation and optimisation of code using coxeter lattice paths. |
PASCO |
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. |
PASCO |
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. |
PASCO |
2007 |
DBLP DOI BibTeX RDF |
component-level, parallelization, triangular decompositions, polynomial system solving |
1 | Anton Leykin, Frank Sottile |
Computing monodromy via parallel homotopy continuation. |
PASCO |
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. |
PASCO |
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. |
PASCO |
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. |
PASCO |
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. |
PASCO |
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. |
PASCO |
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. |
PASCO |
2007 |
DBLP DOI BibTeX RDF |
parallelism, logic programming, symbolic computation |
1 | Michael A. Bauer 0001 |
High performance computing: the software challenges. |
PASCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Frigo |
Multithreaded programming in Cilk. |
PASCO |
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. |
PASCO |
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. |
PASCO |
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. |
PASCO |
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. |
PASCO |
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 |
PASCO |
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. |
PASCO |
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. |
PASCO |
2007 |
DBLP DOI BibTeX RDF |
univariate polynomial, scalability, symbolic-numeric computation |
1 | Monica S. Lam |
Maximizing performance on parallel machines (abstract). |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Seif Haridi, Peter Van Roy, Gert Smolka |
An overview of the design of Distributed Oz. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Xiaohan Huang, Victor Y. Pan |
Fast rectangular matrix multiplications and improving parallel matrix computations. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Yong Meng Teo, Wei-Ngan Chin, Soon Huat Tan |
Deriving efficient parallel programs for complex recurrences. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Shohei Kato, Hirohisa Seki, Hidenori Itoh |
A parallel implementation of cost-based abductive reasoning. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
1 | John Glauert |
Object graph rewriting: an experimental parallel implementation. |
PASCO |
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. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Gopal Gupta 0001, Enrico Pontelli |
Extended dynamic dependent and-parallelism in ACE. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mark Giesbrecht |
Efficient parallel solution of sparse systems of linear diophantine equations. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Bachmann, Hans Schönemann, Simon Gray |
A proposal for syntactic data integration math protocols. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Gautier, Jean-Louis Roch |
NC2 computation of gcd-free basis and application to parallel algebraic numbers computation. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Paul S. Wang |
Tools for parallel/distributed mathematical computation. |
PASCO |
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. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Michael Sperber, Peter Thiemann 0001, Herbert Klaeren |
Distributed partial evaluation. |
PASCO |
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 |
PASCO |
1997 |
DBLP BibTeX RDF |
|
1 | Johan Montelius, Seif Haridi |
An evaluation of Penny: a system for fine grain implicit parallelism. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Cesari |
CALYPSO: a computer algebra library for parallel symbolic computation. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Wayne Eberly |
Processor-efficient parallel matrix inversion over abstract fields: two extensions. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Bernardin |
Maple on a massively parallel, distributed memory machine. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Norman, John P. Fitch |
CABAL: polynomial and power series algebra on a parallel computer. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Eugene V. Zima |
Mixed representation of polynomials oriented towards fast parallel shift. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Masayuki Noro, John McKay 0001 |
Computation of replicable functions on Risa/Asir. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Maria Paola Bonacina |
Experiments with subdivision of search in distributed theorem proving. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ágnes Szántó |
Complexity of the Wu-Ritt decomposition. |
PASCO |
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. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Kazuhiro Konno, Masaaki Nagatsuka, Naoki Kobayashi 0001, Satoshi Matsuoka, Akinori Yonezawa |
PARCS: An MPP-Oriented CLP Language. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
1 | Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat |
The Vectorisation Monad. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
1 | Andrés del Pozo-Prieto, Juan José Moreno-Navarro |
Independent Subexpression Parallelism with Delayed Synchronization for Functional Logic Languages. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
1 | Srecko Brlek, Antoine Rauzy |
Synchronization of Constrained Transition Systems. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
1 | Bo-Ming Tong, Ho-fung Leung |
Implementation of a Data-Parallel Concurrrent Constraint Programming System. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
1 | Philippe Marti, Michel Rueher |
A Cooperative Scheme for Solving Constraints over the Reals. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
1 | Ryuzo Hasegawa, Miyuki Koshimura |
An AND Parallelization Method for MGTP and Its Evaluation. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
1 | Hirokazu Murao, Tetsuro Fujise |
Modular Algorithm for Sparse Multivariate Polynomial Interpolation and its Parallel Implementation. |
PASCO |
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. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
1 | Ho-fung Leung, Keith L. Clark |
Constraint Solving in Distributed Concurrent Logic Programming. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
1 | Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi |
Constraint-Based Knowledge Brokers. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
1 | Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin |
Multi-Threaded AC Term Rewriting. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
1 | Tore A. Bratvold |
Parallelising a Functional Program Using a List-Homomorphism Skeleton. |
PASCO |
1994 |
DBLP BibTeX RDF |
|
1 | Antonio González 0001, Jordi Tubella |
The Multipath Parallel Execution Model for Prolog. |
PASCO |
1994 |
DBLP BibTeX RDF |
|