Presentation
Binary-Level Tools for Floating-Point Correctness Analysis
Laurence Livermore National Lab
(2011)
Disciplines
Publication Date
July 29, 2011
Citation Information
“Binary-Level Tools for Floating-Point Correctness Analysis.” Internship final report. Laurence Livermore National Lab. 29 July 2011.