1114 search results - page 153 / 223 » Validating optimizations of concurrent C C programs |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
r of Abstraction (invited lecture) . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Barbara Liskov Fast Asynchronous Consensus with Optimal Resilience. . . . . . . . . . . ....
EUROSYS
2006
ACM
14 years 6 months ago
2006
ACM
Many stateful services use the replicated state machine approach for high availability. In this approach, a service runs on multiple machines to survive machine failures. This pap...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— To evaluate and optimize the mechanical design of underactuated hands, a benchmark test is defined that quantifies the ability to hold grasped objects subject to force distur...
IEEEPACT
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents an energy management policy for reconfigurable clusters running a multi-tier application, exploiting DVS together with multiple sleep states. We develop a the...
SIGGRAPH
2010
ACM
14 years 1 months ago
2010
ACM
We present a deblurring algorithm that uses a hardware attachment coupled with a natural image prior to deblur images from consumer cameras. Our approach uses a combination of ine...