NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
VSCode-PRECiSA: a Toolkit for Floating-Point Round-Off Error Analysis
Document ID
20220009909
Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Paolo Masci (National Institute of Aerospace Hampton, Virginia, United States)
Laura Titolo (National Institute of Aerospace Hampton, Virginia, United States)
Mariano Moscato (National Institute for Aerospace Technology Madrid, Spain)
Marco A. Feliu (National Institute of Aerospace Hampton, Virginia, United States)
Aaron Dutle (Langley Research Center Hampton, Virginia, United States)
Date Acquired
June 27, 2022
Subject Category
Mathematical And Computer Sciences (General)
Meeting Information
Meeting: Floating-Point: FPTalks 2022
Location: Virtual
Country: US
Start Date: July 6, 2022
Sponsors: University of Utah
Funding Number(s)
WBS: 340428.02.20.07.01
Distribution Limits
Public
Copyright
Use by or on behalf of the US Gov. Permitted.
Technical Review
Single Expert
Keywords
Floating-point
Static Analysis

Related Records

IDRelationTitle20220008765See AlsoPRECiSA: a static analysis tool for floating-point programs
No Preview Available