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…
Tag: Marco Feliu
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…