9110 search results - page 1667 / 1822 » Formally-Based Design Evaluation |
116
Voted
SOSP
2005
ACM
16 years 11 days ago
2005
ACM
Recovery from intrusions is typically a very time-consuming operation in current systems. At a time when the cost of human resources dominates the cost of computing resources, we ...
143
Voted
SOSP
2005
ACM
16 years 11 days ago
2005
ACM
Energy consumption has become an important issue in high-end data centers, and disk arrays are one of the largest energy consumers within them. Although several attempts have been...
120
Voted
SOSP
2007
ACM
16 years 11 days ago
2007
ACM
As users interact with the world and their peers through their computers, it is becoming important to archive and later search the information that they have viewed. We present De...
144
click to vote
TLDI
2009
ACM
16 years 11 days ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
137
Voted
IUI
2010
ACM
16 years 11 days ago
2010
ACM
We developed an augmented reality (AR) dental training simulator utilizing a haptic (force feedback) device. A number of dental procedures such as crown preparation and opening ac...