Sciweavers

5330 search results - page 270 / 1066
» The Performability Tool P'ility
Sort
View
MICCAI
1999
Springer
15 years 11 months ago
A Steady-Hand Robotic System for Microsurgical Augmentation
This paper reports the development of a robotic system designed to extend a human’s ability to perform small-scale (sub-millimeter) manipulation tasks requiring human judgement, ...
Russell H. Taylor, Patrick S. Jensen, Louis L. Whi...
ECOOP
1998
Springer
15 years 11 months ago
Wrappers to the Rescue
Wrappers are mechanisms for introducing new behavior that is executed before and/or after, and perhaps even in lieu of, an existing method. This paper examines several ways to impl...
John Brant, Brian Foote, Ralph E. Johnson, Don Rob...
CHI
1997
ACM
15 years 11 months ago
Cooperative Bimanual Action
We present an experiment on cooperative bimanual action. Right-handed subjects manipulated a pair of physical objects, a tool and a target object, so that the tool would touch a t...
Ken Hinckley, Randy F. Pausch, Dennis Proffitt, Ja...
ICFEM
1997
Springer
15 years 11 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
ASPLOS
2006
ACM
15 years 11 months ago
Accurate and efficient filtering for the Intel thread checker race detector
Debugging data races in parallel applications is a difficult task. Error-causing data races may appear to vanish due to changes in an application's optimization level, thread...
Paul Sack, Brian E. Bliss, Zhiqiang Ma, Paul Peter...