<--- Back to Details
First PageDocument Content
Software / Computing / Numerical linear algebra / Numerical software / Compiler optimizations / Automatically Tuned Linear Algebra Software / Basic Linear Algebra Subprograms / Kernel / Mathematical optimization / Program optimization / Static single assignment form / Loop unrolling
Date: 2005-10-14 18:53:03
Software
Computing
Numerical linear algebra
Numerical software
Compiler optimizations
Automatically Tuned Linear Algebra Software
Basic Linear Algebra Subprograms
Kernel
Mathematical optimization
Program optimization
Static single assignment form
Loop unrolling

Automated Empirical Optimization of High Performance Floating Point Kernels R. Clint Whaley University of Texas, San Antonio and David B. Whalley

Add to Reading List

Source URL: www.cs.rice.edu

Download Document from Source Website

File Size: 563,61 KB

Share Document on Facebook

Similar Documents

Call for Papers - NSV 2015 8th Workshop on Numerical Software Verification PC Co-Chairs Important Dates Submission Notification

Call for Papers - NSV 2015 8th Workshop on Numerical Software Verification PC Co-Chairs Important Dates Submission Notification

DocID: 1xVB4 - View Document

Numerical quality: an industrial case study on code_aster Numerical Software Verication

Numerical quality: an industrial case study on code_aster Numerical Software Verication

DocID: 1xUDq - View Document

Third International Workshop on Numerical Software Verification  Formal verification of numerical programs: from C annotated programs to Coq proofs Sylvie Boldo INRIA Saclay - ˆIle-de-France

Third International Workshop on Numerical Software Verification Formal verification of numerical programs: from C annotated programs to Coq proofs Sylvie Boldo INRIA Saclay - ˆIle-de-France

DocID: 1xT6j - View Document

Downloaded by [the Bodleian Libraries of the University of Oxford] at 00:41 03 NovemberOptimization Methods & Software iFirst, 2011, 1–23  Evaluation complexity of adaptive cubic regularization methods

Downloaded by [the Bodleian Libraries of the University of Oxford] at 00:41 03 NovemberOptimization Methods & Software iFirst, 2011, 1–23 Evaluation complexity of adaptive cubic regularization methods

DocID: 1vlOh - View Document

User’s Manual for SyGRD (System of Graph Reading and numerical data Displaying with image analysis software) Version 2.00 Ohmi, Hirokazu and JCPRG October 12, 2001 Revised March 9, 2002

User’s Manual for SyGRD (System of Graph Reading and numerical data Displaying with image analysis software) Version 2.00 Ohmi, Hirokazu and JCPRG October 12, 2001 Revised March 9, 2002

DocID: 1vk0v - View Document