research
∙
01/10/2023
Quantitative Verification of Scheduling Heuristics
Computer systems use many scheduling heuristics to allocate resources. U...
share
research
∙
06/22/2021
Privid: Practical, Privacy-Preserving Video Analytics Queries
Analytics on video recorded by cameras in public areas have the potentia...
research
∙
05/25/2021
Throughput-Fairness Tradeoffs in Mobility Platforms
This paper studies the problem of allocating tasks from different custom...
research
∙
05/13/2019
RFocus: Practical Beamforming for Small Devices
To reduce transmit power, increase throughput, and improve communication...
research
∙
10/23/2018