-
Chapter and Conference Paper
Battery Scheduling Problem
Different batteries have different desirable properties like energy density, peak power, recharge time, longevity, efficiency, etc. So, it is beneficial if we multiplex different types of batteries in a single...
-
Article
Wireless protocol validation under uncertainty
Runtime validation of wireless protocol implementations cannot always employ direct instrumentation of the device under test (DUT). The DUT may not implement the required instrumentation, or the instrumentatio...
-
Chapter and Conference Paper
SpectraMap: Efficiently Constructing a Spatio-temporal RF Spectrum Occupancy Map
The RF spectrum is typically monitored from a single, or few, vantage points. A larger spatio-temporal view of spectrum occupancy, such as over a few weeks on a city-wide scale, would be beneficial for several...
-
Chapter and Conference Paper
Wireless Protocol Validation Under Uncertainty
Runtime validation of wireless protocol implementations cannot always employ direct instrumentation of the device under test (DUT). The DUT may not implement the required instrumentation, or the instrumentatio...
-
Chapter and Conference Paper
Virtual Compass: Relative Positioning to Sense Mobile Social Interactions
There are endless possibilities for the next generation of mobile social applications that automatically determine your social context. A key element of such applications is ubiquitous and precise sensing of t...
-
Chapter and Conference Paper
dFault: Fault Localization in Large-Scale Peer-to-Peer Systems
Distributed hash tables (DHTs) have been adopted as a building block for large-scale distributed systems. The upshot of this success is that their robust operation is even more important as mission-critical ap...
