University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 691–720 of 3,315 items
Thumbnail for Efficient Formalism-Independent Monitoring of Parametric Properties
Efficient Formalism-Independent Monitoring of Parametric Properties
Chen, Feng; Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore

Thumbnail for eNav: Smartphone-based Energy Efficient Location Sensing for Low-Power Vehicular Navigation
eNav: Smartphone-based Energy Efficient Location Sensing for Low-Power Vehicular Navigation
Hu, Shaohan; Su, Lu; Li, Shen; Wang, Shiguang; Pan, Chenji; Gu, Siyu; Amin, Md Tanvir Al; Liu, Hengchang; Nath, Suman; Choudhury, Romit Roy; Abdelzaher, Tarek F.

Thumbnail for Scaling Data-Plane Logging in Large Scale Networks
Scaling Data-Plane Logging in Large Scale Networks
Arefin, Md Ahsan; Khurshid, Ahmed; Caesar, Matthew; Nahrstedt, Klara