2 citations · 2 across the 1 of their papers we have counts for
3 papers
eess.SY2020★ 2 cited
Real-Time Formal Verification of Autonomous Systems With An FPGA
Minh Bui, Michael Lu, Reza Hojabr +2
Hamilton-Jacobi reachability analysis is a powerful technique used to verify the safety of autonomous systems. This method is very good at handling non-linear system dynamics with…
cs.AR2020
TaxoNN: A Light-Weight Accelerator for Deep Neural Network Training
Reza Hojabr, Kamyar Givaki, Kossar Pourahmadi +4
Emerging intelligent embedded devices rely on Deep Neural Networks (DNNs) to be able to interact with the real-world environment. This interaction comes with the ability to retrain…
cs.LG2019
On the Resilience of Deep Learning for Reduced-voltage FPGAs
Kamyar Givaki, Behzad Salami, Reza Hojabr +6
Deep Neural Networks (DNNs) are inherently computation-intensive and also power-hungry. Hardware accelerators such as Field Programmable Gate Arrays (FPGAs) are a promising solutio…