Multithreaded parallel implementation of arithmetic operations modulo a triangular set

PASCO'07: Proceedings of the 2007 International Workshop on Parallel Symbolic Computation

Volumn , Issue , 2007, Pages 53-59

  Li, Xin ^a   Maza, Marc Moreno ^a  

^a UNIVERSITY OF WESTERN ONTARIO   (Canada)

Author keywords

Algorithms; High performance; Normal form; Parallelization; Polynomials

Indexed keywords

FAST FOURIER TRANSFORMS; MULTITASKING; PARALLEL ALGORITHMS; POLYNOMIALS; RECURSIVE FUNCTIONS;

MULTITHREADING; NORMAL FORM; PARALLELIZATION;

PARALLEL PROCESSING SYSTEMS;

EID: 36849065744     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1278177.1278187     Document Type: Article

References (23)

1. R. Al Na'Mneh, W.D. Pan, and R. Adhami Communication efficient adaptive matrix transpose algorithm for FFT on symmetric multiprocessors. In Pixie. SSST'05 the Thirty-Seventh Southeastern Symposium on System Theor, pages 312-315. IEEE Computer Society, 2005.
2. k) using trinomial residue arithmetic. In Proc. ARITH'05, the 17th IEEE Symposium on Computer Arithmetic, pages 164-171. IEEE Computer Society, 2005.
3. R. D. Blumofe, M. Frigo, C. F. Joerg, C. E. Leiserson, and K. H. Randall. An analysis of dag-consistent distributed shared-memory algorithms. In Proc. SPAA '96, the eighth annual ACM symposium on Parallel algorithms and architectures, pages 297-308, Padua, Italy, ACM Press, 1996.
4. S. Cook. On the minimum computation time of functions. PhD thesis, Harvard University, 1966.
5. X. Dahan, M. Moreno Maza, É. Schost, W. Wu, and Y. Xie. Lifting techniques for triangular decompositions. In Proc. ISSAC'05, pages 108-115. ACM Press, 2005.
6. A. Filatei, X. Li, M. Moreno Maza, and É Schost. Implementation techniques for fast polynomial arithmetic in a high-level programming environment. In Proc. ISSAC06, pages 93-100, ACM Press, 2006.
7. M.V. Foursov and M. Moreno Maza,. On computer-assisted classification of coupled integrable equations. J. Symb. Comp., 33:647-660, 2002.
8. J. von zur Gathen and J. Gerhard. Modern Computer Algebra. Cambridge University Press, 1999.
9. k) using polynomial residue arithmetic. Designs, Codes and Cryptography, 20(2):155-173, 2000.
10. J. van der Hoeven. The truncated Fourier transform and applications. In J. Gutierrez, editor, Proc. ISSAC 2004, pages 290-296, ACM Press, 2004.
11. H. Hong and H. W. Loidl. Parallel computation of modular multivariate polynomial resultants on a shared memory machine. In B. Buchberger and J. Volkert, editors, Proc. of CONPAR 94, Springer LNCS 854., Pages 325-336. Springer Verlag, 1994.
12. J. R. Johnson, W. Krandick, and A. D. Ruslanov. Architecture-aware classical Taylor shift by 1. In ISSAC'05, pages 200-207. ACM Press, 2005.
13. Hyun-Sung Kim, Hee-Joo Park, and Sung-Ho Hwang. Parallel Modular Multiplication Algorithm in Residue Number System. Chapter in Parallel Processing and Applied Mathematics, volume 3019/2004 of Lecture Notes in Computer Science, Springer, 2004.
14. W. Kiichlin. On the multi-threaded computation of integral polynomial greatest common divisors. In Proc. of ISSAC '91, pages 333-342. ACM Press, 1991.
15. H. T. Kung. On computing reciprocals of power series. Numerische Mathematik, 22:341-348, 1974.
16. X. Li and M. Moreno Maza. Efficient implementation of polynomial arithmetic in a multiple-level programming environment. In A. Iglesias and N. Takayama, editors, Proc. International Congress of Mathematical Software - ICMS 2006, pages 12-23. Springer, 2006.
17. X. Li, M. Moreno Maza, and É Schost. Fast arithmetic for triangular sets: From theory to practice. In Proc. ISSAC07, ACM Press, 2007.
18. X. Li, M. Moreno Maza, and É. Schost. On the virtues of generic programming for symbolic computation. In Proc. CASA '07, Lecture Notes in Computer Science vol. 4488, pages. 251258, Springer-Verlag Berlin Heidelberg 2007.
19. M. Moreno Maza, B. Stephenson, S. M. Watt, and Y. Xie. Multiprocessed parallelism support in Aldor on SMPs and multicores. In Proc. PASCO'07, ACM Press, 2007.
20. M. Moreno Maza and Y. Xie. Component-level parallelization of triangular decompositions. In Proc. PASCO'07, ACM Press, 2007.
21. K. Morita, A. Morihata, K. Matsuzaki, Z. Hu and M. Takeichi. Automatic Inversion Generates Divide-and-Conquer Parallel Programs In Proc. PLDI'07, ACM Press, 2007.
22. M. Sieveking. An algorithm for division of power series. Computing, 10:153-156, 1972.
23. S. Varette and J.-L. Roch. Probabilistic Certification of Divide Sz Conquer Algorithms on Global Computing Platforms. Application to Fault-Tolerant Exact Matrix-Vector Product In Proc. PASCO'07, ACM Press, 2007.