Sciweavers

74 search results - page 6 / 15
» Impact of Errors in Operational Spreadsheets
Sort
View
DSN
2006
IEEE
14 years 1 months ago
Assessment of the Effect of Memory Page Retirement on System RAS Against Hardware Faults
The Solaris 10 Operating System includes a number of new features for predictive self-healing. One such feature is the ability of the Fault Management software to diagnose memory ...
Dong Tang, Peter Carruthers, Zuheir Totari, Michae...
CHI
2011
ACM
12 years 11 months ago
Gesture avatar: a technique for operating mobile user interfaces using gestures
Finger-based touch input has become a major interaction modality for mobile user interfaces. However, due to the low precision of finger input, small user interface components are...
Hao Lü, Yang Li
WSC
2004
13 years 8 months ago
Assessing Obstacle Location Accuracy in the Remus Unmanned Underwater Vehicle
Navy personnel use the REMUS unmanned underwater vehicle to search for submerged objects. Navigation inaccuracies lead to errors in predicting the location of objects and thus inc...
Timothy E. Allen, Arnold H. Buss, Susan M. Sanchez
SOSP
2003
ACM
14 years 4 months ago
RacerX: effective, static detection of race conditions and deadlocks
This paper describes RacerX, a static tool that uses flowsensitive, interprocedural analysis to detect both race conditions and deadlocks. It is explicitly designed to find erro...
Dawson R. Engler, Ken Ashcraft
HICSS
2007
IEEE
125views Biometrics» more  HICSS 2007»
14 years 1 months ago
Stochastic Formal Methods: An Application to Accuracy of Numeric Software
— This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implic...
Marc Daumas, David Lester