Tag: Marco Feliu
-
2019 Recipients
2019 Award Recipients Recipient Award Swee Balachandran, Marco Feliú, Brendan Duffy, Andrew Peters, Kyle Smalling The Association for Unmanned Vehicles Systems International (AUVSI) presented its AUVSI XCELLENCE award — 2nd Place in the Category of Detect and Avoid Solutions – to NIA Research Engineer Dr. Swee Balachandran, recognizing research performed by a team which included NIA Research Scientist Marco Feliú,…
-
10-19-2018 | Marco Feliu: Eliminating Unstable Tests in Floating-Point Programs
Title: Formal Methods Seminar: Eliminating Unstable Tests in Floating-Point Programs Speaker: Marco Feliu, Staff Scientist, NIA Date: Friday, October 19, 2018 Time: 10:30am Location: B1230, R264A Abstract: Round-off errors arising from the difference between real numbers and their floating-point representation cause the control flow of conditional floating-point statements to deviate from the ideal flow of the real-number computation. This problem,…