Now showing items 1-2 of 2
On the Programmability and Performance of OpenCL Designs for FPGA
(Virginia Tech, 2018-02-09)
Field programmable gate arrays (FPGAs) have been emerging as a promising bedrock to provide opportunities for several types of accelerators that spans across various domains such as finance, web-search, and data center ...
Enhancing Trust in Autonomous Systems without Verifying Software
(Virginia Tech, 2019-06-12)
The complexity of the software behind autonomous systems is rapidly growing, as are the applications of what they can do. It is not unusual for the lines of code to reach the millions, which adds to the verification ...