January 11, 2017 | National Institute of Aerospace

January 11, 2017in Seminars0by Bianca Clark

01-20-2017 | Laura Titolo and Mariano Moscato: A Static Analysis Framework for the Estimation of Verified Floating-Point Round-Off Errors

Title: FM Seminar: A Static Analysis Framework for the Estimation of Verified Floating-Point Round-Off Errors Date: Friday, January 20, 2017 Speakers: Laura Titolo, NIA and Mariano Moscato, NIA Location: NASA…