Login / Signup
PASCO
1994
1999
2009
2015
1994
2015
Keyphrases
Publications
2015
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)
Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, PASCO 2015, Bath, United Kingdom, July 10-12, 2015
PASCO
(2015)
Dereje Kifle Boku
,
Wolfram Decker
,
Claus Fieker
,
Andreas Steenpaß
Gröbner bases over algebraic number fields.
PASCO
(2015)
Hiroki Hayakawa
,
Naoaki Ishida
,
Hirokazu Murao
GPU-acceleration of optimal permutation-puzzle solving.
PASCO
(2015)
Mohamed Khochtali
,
Daniel S. Roche
,
Xisen Tian
Parallel sparse interpolation using small primes.
PASCO
(2015)
Jonathan D. Hauenstein
,
Alan C. Liddell Jr.
A hybrid symbolic-numeric approach to exceptional sets of generically zero-dimensional systems.
PASCO
(2015)
Mickaël Gastineau
,
Jacques Laskar
Parallel sparse multivariate polynomial division.
PASCO
(2015)
Jan Verschelde
,
Xiangcheng Yu
Accelerating polynomial homotopy continuation on a graphics processing unit with double double and quad double arithmetic.
PASCO
(2015)
Matthew Gibson
,
Michael B. Monagan
Optimizing and parallelizing the modular GCD algorithm.
PASCO
(2015)
Lingchuan Meng
,
Jeremy R. Johnson
High performance implementation of the inverse TFT.
PASCO
(2015)
Marshall Law
,
Michael B. Monagan
A parallel implementation for polynomial multiplication modulo a prime.
PASCO
(2015)
Fatima K. Abu Salem
,
Khalil El-Harake
,
Karl Gemayel
Cache oblivious sparse polynomial factoring using the funnel heap.
PASCO
(2015)
Thierry Gautier
,
Jean-Louis Roch
,
Ziad Sultan
,
Bastien Vialla
Parallel algebraic linear algebra dedicated interface.
PASCO
(2015)
Michael B. Monagan
,
Roman Pearce
A compact parallel implementation of F4.
PASCO
(2015)
Andrew Novocin
,
B. David Saunders
,
Alexander Stachnik
,
Bryan S. Youse
3-ranks for strongly regular graphs.
PASCO
(2015)
2010
Ludovic Jacquin
,
Vincent Roca
,
Jean-Louis Roch
,
Mohamed Al Ali
Parallel arithmetic encryption for high-bandwidth communications on multicore/GPGPU platforms.
PASCO
(2010)
Fatima K. Abu Salem
Cache-oblivious polygon indecomposability testing.
PASCO
(2010)
Philippe Langlois
,
Matthieu Martel
,
Laurent Thévenoux
Accuracy versus time: a case study with summation algorithms.
PASCO
(2010)
Yue Li
,
Gabriel Dos Reis
A quantitative study of reductions in algebraic libraries.
PASCO
(2010)
Seyed Mohammad Mahdi Javadi
,
Michael B. Monagan
Parallel sparse polynomial interpolation over finite fields.
PASCO
(2010)
Mickaël Gastineau
Parallel operations of sparse polynomials on multicores: I. multiplication and Poisson bracket.
PASCO
(2010)
Reimer Behrends
,
Alexander Konovalov
,
Steve Linton
,
Frank Lübeck
,
Max Neunhöffer
Parallelising the computational algebra system GAP.
PASCO
(2010)
Jean-Charles Faugère
,
Sylvain Lachartre
Parallel Gaussian elimination for Gröbner bases computations in finite fields.
PASCO
(2010)
Brice Boyer
,
Jean-Guillaume Dumas
,
Pascal Giorgi
Exact sparse matrix-vector multiplication on GPU's and multicore architectures.
PASCO
(2010)
Pavel Emeliyanenko
A complete modular resultant algorithm targeted for realization on graphics hardware.
PASCO
(2010)
Alexander Konovalov
,
Steve Linton
Parallel computations in modular group algebras.
PASCO
(2010)
Lingchuan Meng
,
Yevgen Voronenko
,
Jeremy R. Johnson
,
Marc Moreno Maza
,
Franz Franchetti
,
Yuzhen Xie
Spiral-generated modular FFT algorithms.
PASCO
(2010)
Charles E. Leiserson
,
Marc Moreno Maza
,
Liyun Li
,
Yuzhen Xie
Parallel computation of the minimal elements of a poset.
PASCO
(2010)
Jan Verschelde
,
Genady Yoffe
Polynomial homotopies on multicore workstations.
PASCO
(2010)
Daniel Kunkle
Roomy: a system for space limited computations.
PASCO
(2010)
Michael B. Monagan
,
Roman Pearce
Parallel sparse polynomial division using heaps.
PASCO
(2010)
Jeremy R. Johnson
Automated performance tuning.
PASCO
(2010)
Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France
PASCO
(2010)
Sardar Anisul Haque
,
Shahadat Hossain
,
Marc Moreno Maza
Cache friendly sparse matrix-vector multiplication.
PASCO
(2010)
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)
Stephen Lewin-Berlin
Exploiting multicore systems with Cilk.
PASCO
(2010)
Andrew Arnold
,
Michael B. Monagan
A high-performance algorithm for calculating cyclotomic polynomials.
PASCO
(2010)
Hong Diep Nguyen
,
Nathalie Revol
High performance linear algebra using interval arithmetic.
PASCO
(2010)
Daniel Kunkle
,
Vlad Slavici
,
Gene Cooperman
Parallel disk-based computation for large, monolithic binary decision diagrams.
PASCO
(2010)
Erich Kaltofen
Fifteen years after DSC and WLSS2 what parallel computations I do today: invited lecture at PASCO 2010.
PASCO
(2010)
Jean-Guillaume Dumas
,
Thierry Gautier
,
Jean-Louis Roch
Generic design of Chinese remaindering schemes.
PASCO
(2010)
Kinji Kumura
,
Hirokazu Anai
Parallel computation of determinants of matrices with polynomial entries for robust control design.
PASCO
(2010)