output
20152026
most citedHello Edge: Keyword Spotting on Microcontrollers

341 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2020Show all

7 papers · 1 filter

cs.AR2020★ 1 cited

Page Tables: Keeping them Flat and Hot (Cached)

Chang Hyun Park, Ilias Vougioukas, Andreas Sandberg +1

As memory capacity has outstripped TLB coverage, large data applications suffer from frequent page table walks. We investigate two complementary techniques for addressing this cost…

cs.LG2020

Fast IR Drop Estimation with Machine Learning

Zhiyao Xie, Hai Li, Xiaoqing Xu +2

IR drop constraint is a fundamental requirement enforced in almost all chip designs. However, its evaluation takes a long time, and mitigation techniques for fixing violations may…

cs.LO2020

Formal Verification of Arithmetic RTL: Translating Verilog to C++ to ACL2

David M. Russinoff

We present a methodology for formal verification of arithmetic RTL designs that combines sequential logic equivalence checking with interactive theorem proving. An intermediate mod…

cs.CV2020★ 3 cited

Mesorasi: Architecture Support for Point Cloud Analytics via Delayed-Aggregation

Yu Feng, Boyuan Tian, Tiancheng Xu +2

Point cloud analytics is poised to become a key workload on battery-powered embedded and mobile platforms in a wide range of emerging application domains, such as autonomous drivin…

cs.CR2020★ 5 cited

IoTGaze: IoT Security Enforcement via Wireless Context Analysis

Tianbo Gu, Zheng Fang, Allaukik Abhishek +3

Internet of Things (IoT) has become the most promising technology for service automation, monitoring, and interconnection, etc. However, the security and privacy issues caused by I…

cs.CR2020★ 4 cited

Towards Learning-automation IoT Attack Detection through Reinforcement Learning

Tianbo Gu, Allaukik Abhishek, Hao Fu +3

As a massive number of the Internet of Things (IoT) devices are deployed, the security and privacy issues in IoT arouse more and more attention. The IoT attacks are causing tremend…

cs.DC2020★ 107 cited

Breaking Band: A Breakdown of High-performance Communication

Rohit Zambre, Megan Grodowitz, Aparna Chandramowlishwaran +1

The critical path of internode communication on large-scale systems is composed of multiple components. When a supercomputing application initiates the transfer of a message using…