Sciweavers

23 search results - page 3 / 5
» Controlling factors in evaluating path-sensitive error detec...
Sort
View
CODES
2006
IEEE
14 years 2 months ago
Hardware assisted pre-emptive control flow checking for embedded processors to improve reliability
Reliability in embedded processors can be improved by control flow checking and such checking can be conducted using software or hardware. Proposed software-only approaches suffe...
Roshan G. Ragel, Sri Parameswaran
AVI
2008
13 years 11 months ago
TapTap and MagStick: improving one-handed target acquisition on small touch-screens
We present the design and evaluation of TapTap and MagStick, two thumb interaction techniques for target acquisition on mobile devices with small touch-screens. These two techniqu...
Anne Roudaut, Stéphane Huot, Eric Lecolinet
SIGCOMM
2006
ACM
14 years 2 months ago
Beyond bloom filters: from approximate membership checks to approximate state machines
Many networking applications require fast state lookups in a concurrent state machine, which tracks the state of a large number of flows simultaneously. We consider the question ...
Flavio Bonomi, Michael Mitzenmacher, Rina Panigrah...
DISCEX
2003
IEEE
14 years 2 months ago
Willow System Demonstration
Dealing with damage that arises during operation of networked information systems is essential if such systems are to provide the dependability required by modern critical applica...
John C. Knight, Jonathan Hill, Philip E. Varner, P...
CHI
2011
ACM
13 years 10 days ago
TouchCuts and TouchZoom: enhanced target selection for touch displays using finger proximity sensing
Although touch-screen laptops are increasing in popularity, users still do not comfortably rely on touch in these environments, as current software interfaces were not designed fo...
Xing-Dong Yang, Tovi Grossman, Pourang Irani, Geor...