Location Awareness is key capability of Context-Aware Ubiquitous environments. Received Signal Strength (RSS) based localization is increasingly popular choice especially for in-bu...
The ability to continue increasing processor frequency and single thread performance is being severely limited by exponential increases in leakage and active power. To continue to...
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
Mosaic Textile is a wearable ambient display using nonemissive color-changing textiles. The system consists of textile modules, their controllers and substrate fabric. The textile...
Abstract— This paper considers hybrid-ARQ under the constraints of noncoherent orthogonal modulation and hard-decision decoding. Information theoretic bounds on the throughput fo...