2 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.PL2020
Symbolic Techniques for Deep Learning: Challenges and Opportunities
Belinda Fang, Elaine Yang, Fei Xie
As the number of deep learning frameworks increase and certain ones gain popularity, it spurs the discussion of what methodologies are employed by these frameworks and the reasonin…
cs.SE2019★ 2 cited
Hardware/Software Co-monitoring
Li Lei, Kai Cong, Zhenkun Yang +2
Hardware/Software (HW/SW) interfaces, mostly implemented as devices and device drivers, are pervasive in various computer systems. Nowadays HW/SW interfaces typically undergo inten…
cs.AR2016
OpenRISC System-on-Chip Design Emulation
Kai Cong, Li Lei, Zhenkun Yang +1
Recently the hardware emulation technique has emerged as a promising approach to accelerating hardware verification/debugging process. To fully evaluate the powerfulness of the emu…