×

PASCO’07. Proceedings of the 2007 international workshop on parallel symbolic computation, London, ON, Canada, July 27–28, 2007. (English) Zbl 1169.68664

New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-741-4). viii, 107 p. (2007).
Table of contents: Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt:Generation and optimisation of code using coxeter lattice paths. 1-10; Michael A. Bauer:High performance computing: the software challenges. 11-12; Matteo Frigo: Multithreaded programming in Cilk. 13-14; Thierry Gautier, Xavier Besseron, Laurent Pigeon: KAAPI: A thread scheduling runtime system for data flow computations on cluster of multi-processors. 15-23; 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. 24-32.
Vincent Danjean, Roland Gillard, Serge Guelton, Jean-Louis Roch, Thomas Roche:Adaptive loops with kaapi on multicore and grid: applications in symmetric cryptography. 33-42; Jean-Guillaume Dumas, Philippe Elbaz-Vincent, Pascal Giorgi, Anna Urbanska: Parallel computation of the rank of large sparse matrices from algebraic K-theory. 43-52; Xin Li, Marc Moreno Maza: Multithreaded parallel implementation of arithmetic operations modulo a triangular set. 53-59; Marc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie: Multiprocessed parallelism support in ALDOR on SMPs and multicores. 60-68; Marc Moreno Maza, Yuzhen Xie: Component-level parallelization of triangular decompositions. 69-77; Eric Robinson, Daniel Kunkle, Gene Cooperman: A comparative analysis of parallel disk-based Methods for enumerating implicit graphs. 78-87; Jean-Louis Roch, Sébastien Varrette: Probabilistic certification of divide and conquer algorithms on global computing platforms: application to fault-tolerant exact matrix-vector product. 88-92
Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Towards a high-level implementation of flexible parallelism primitives for symbolic languages. 93-94; Ilias S. Kotsireas, Christos Koukouvinos:Inequivalent Hadamard matrices from orthogonal designs. 95-96; Anton Leykin, Frank Sottile:Computing monodromy via parallel homotopy continuation. 97-98; Shutaro Inoue, Yosuke Sato: On the parallel computation of comprehensive Gröbner systems. 99-101; Bruce W. Char, B. David Saunders, Bryan Youse:LinBox and future high performance computer algebra. 102-103; Mohab Safey El Din, Philippe Trebuchet:POSIX threads polynomials(PTPol): a scalable implementation of univariate arithmetic operations. 104-106.
The articles of this volume will not be indexed individually.

MSC:

68W30 Symbolic computation and algebraic computation
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
00B25 Proceedings of conferences of miscellaneous specific interest
68P25 Data encryption (aspects in computer science)

Software:

LinBox; ALDOR; KAAPI
PDFBibTeX XMLCite