Listar por autoría "cf6d7d9b-684a-48a6-a9aa-c132e26d9cda"
Mostrando ítems 1-5 de 5
-
Deriving dense linear algebra libraries
Bientinesi, Paolo; Gunnels, John A.; Myers, Margaret E.; Quintana-Orti, Enrique S.; Rhodes, Tyler; Van de Geijn, Robert A.; Van Zee, Field G. Springer London (2013-11)Starting in the late 1960s computer scientists including Dijkstra and Hoare advocated goal- oriented programming and the formal derivation of algorithms. The chief impediment to realizing this for loop-based programs was ... -
Families of Algorithms for Reducing a Matrix to Condensed Form
Van Zee, Field G.; Van de Geijn, Robert A.; Quintana-Ortí, Gregorio; Elizondo, G. Joseph ACM (2012-11)In a recent paper it was shown how memory traffic can be diminished by reformulating the classic algorithm for reducing a matrix to bidiagonal form, a preprocess when computing the singular values of a dense matrix. The ... -
Programming matrix algorithms-by-blocks for thread-level parallelism
Quintana-Ortí, Gregorio; Quintana-Orti, Enrique S.; Van de Geijn, Robert A.; Van Zee, Field G.; Chan, Ernie Association for Computing Machinery (2009-07)With the emergence of thread-level parallelism as the primary means for continued improvement of performance, the programmability issue has reemerged as an obstacle to the use of architectural advances. We argue that ... -
Restructuring the Tridiagonal and Bidiagonal QR Algorithms for Performance
Van Zee, Field G.; Van de Geijn, Robert A.; Quintana-Ortí, Gregorio ACM Digital Library (2014-04)We show how both the tridiagonal and bidiagonal QR algorithms can be restructured so that they be- come rich in operations that can achieve near-peak performance on a modern processor. The key is a novel, cache-friendly ... -
The libflame library for dense matrix computations
Van Zee, Field G.; Chan, Ernie; Van de Geijn, Robert A.; Quintana-Ortí, Gregorio; Quintana-Orti, Enrique S. IEEE Computer Society (2009-11)Researchers from the Formal Linear Algebra Method Environment (Flame) project have developed new methodologies for analyzing, designing, and implementing linear algebra libraries. These solutions, which have culminated in ...