Sciweavers

3707 search results - page 296 / 742
» A Simple Technique for Self-Calibration
Sort
View
CHI
2008
ACM
16 years 7 months ago
Twelvepixels: drawing & creativity on a mobile phone
TwelvePixels is an interface for drawing pixel-based imagery using only the standard keys on the mobile phone handset. Using an essentially simple drawing method, an extensive ran...
Ivan Poupyrev, Karl D. D. Willis
HPCA
2008
IEEE
16 years 7 months ago
A comprehensive approach to DRAM power management
This paper describes a comprehensive approach for using the memory controller to improve DRAM energy efficiency and manage DRAM power. We make three contributions: (1) we describe...
Ibrahim Hur, Calvin Lin
CHI
2003
ACM
16 years 7 months ago
XWand: UI for intelligent spaces
The XWand is a novel wireless sensor package that enables styles of natural interaction with intelligent environments. For example, a user may point the wand at a device and contr...
Andrew Wilson, Steven A. Shafer
CADE
2008
Springer
16 years 7 months ago
Compositional Proofs with Symbolic Execution
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
Simon Bäumler, Florian Nafz, Michael Balser, ...
OSDI
2006
ACM
16 years 7 months ago
Securing Software by Enforcing Data-flow Integrity
Software attacks often subvert the intended data-flow in a vulnerable program. For example, attackers exploit buffer overflows and format string vulnerabilities to write data to u...
Manuel Costa, Miguel Castro, Timothy L. Harris