Tag: Laura Titolo
-
11-02-2018 | Laura Titolo: PRECiSA A Static Analysis Tool for Floating-Point Programs
Formal Methods Seminar Title: PRECiSA: A Static Analysis Tool for Floating-Point Programs Speaker: Laura Titolo, Staff Scientist, NIA Date: Friday, November 2, 2018 Time: 10:30am Location: B1230, R264A Abstract: Floating-point numbers are the most common finite representation of real numbers in computer programs and they offer a good trade-off between efficiency and precision. However, in safety-critical systems, round-off errors due…
-
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 B1220-R110 Time: 10:30AM-11:30AM Host: Cesar Munzo, NASA/LaRC Abstract: Round-off errors in floating-point computations can lead to catastrophic consequences when occurring in safety-critical systems. In this talk,…