26071 search results - page 86 / 5215 » Making the |
PEPM
2010
ACM
14 years 4 months ago
2010
ACM
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...
CGO
2010
IEEE
14 years 2 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
Recent work in muscle sensing has demonstrated the potential of human-computer interfaces based on finger gestures sensed from electrodes on the upper forearm. While this approach...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
Many contemporary approaches to environmental sustainability focus on the end-consumer. In this panel, we explore lessons from small food producers for future development of HCI a...
CSCW
2010
ACM
14 years 2 months ago
2010
ACM
This paper builds on earlier CSCW studies of domestic technologies, looking at the frequent maintenance required by new security technologies that households are adopting to provi...