activity
20182024
most citedCSRNet: Dilated Convolutional Neural Networks for Understanding the Highly Congested Scenes

168 citations · 477 across the 22 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2021

Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition

Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni +12

Hardware accelerators (HAs) are essential building blocks for fast and energy-efficient computing systems. Accelerator Quick Error Detection (A-QED) is a recent formal technique wh…