Sciweavers

PERCOM
2015
ACM
8 years 3 months ago
Demo abstract: A proximity-based aerial survivor locator based on connectionless broadcast
tract: A Proximity-Based Aerial Survivor Locator based on Connectionless Broadcast Arata Miyamoto1,2, Daniel J. Dubois3, Yosuke Bando2,1, Konosuke Watanabe2,1, V. Michael Bove, Jr....
Arata Miyamoto, Daniel J. Dubois, Yosuke Bando, Ko...
PERCOM
2015
ACM
8 years 3 months ago
Fault detection for binary sensors in smart home environments
—Experiments in assisted living confirm that such systems can provide context-aware services that enable occupants to remain active and independent. They also demonstrate that a...
Juan Ye, Graeme Stevenson, Simon A. Dobson
PERCOM
2015
ACM
8 years 3 months ago
Pervasive self-powered human activity recognition without the accelerometer
Abstract—Conventional human activity recognition (HAR) relies on accelerometers to frequently sample human motion (acceleration). Unfortunately, power consumption of acceleromete...
PERCOM
2015
ACM
8 years 3 months ago
DOSE: Detecting user-driven operating states of electronic devices from a single sensing point
—Electricity and appliance usage information can often reveal the nature of human activities in a home. For instance, sensing the use of vacuum cleaner, a microwave oven, and kit...
ARCS
2015
Springer
8 years 3 months ago
Processing-in-Memory: Exploring the Design Space
With the emergence of 3D-DRAM, Processing-in-Memory has once more become of great interest to the research community and industry. In this paper, we present our observations on a s...
Marko Scrbak, Mahzabeen Islam, Krishna M. Kavi, Mi...
ARCS
2015
Springer
8 years 3 months ago
Mobile Ecosystem Driven Dynamic Pipeline Adaptation for Low Power
State-of-the-art mobile smartphone and tablet processors are beginning to employ fully speculative, out-of-order architectures with deep instruction pipelines. These processors oft...
Garo Bournoutian, Alex Orailoglu
PEPM
2015
ACM
8 years 3 months ago
Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain
We present a recursion scheme based on attribute grammars that can be transparently applied to trees and acyclic graphs. Our recursion scheme allows the programmer to implement a ...
Patrick Bahr, Emil Axelsson
PEPM
2015
ACM
8 years 3 months ago
Static Backward Demand-Driven Slicing
Program slicing identifies the program parts that may affect certain properties of the program, such as the outcomes of conditions affecting the program flow. Ottenstein’s Pro...
Björn Lisper, Abu Naser Masud, Husni Khanfar
PEPM
2015
ACM
8 years 3 months ago
Imperative Polymorphism by Store-Based Types as Abstract Interpretations
Casper Bach Poulsen, Peter D. Mosses, Paolo Torrin...
PEPM
2015
ACM
8 years 3 months ago
Desugaring in Practice: Opportunities and Challenges
Desugaring, a key form of program manipulation, is a vital tool in the practical study of programming languages. Its use enables pragmatic solutions to the messy problems of deali...
Shriram Krishnamurthi