1114 search results - page 153 / 223 » Validating optimizations of concurrent C C programs |
140
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
r of Abstraction (invited lecture) . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Barbara Liskov Fast Asynchronous Consensus with Optimal Resilience. . . . . . . . . . . ....
118
click to vote
EUROSYS
2006
ACM
15 years 11 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...
126
Voted
ICRA
2009
IEEE
15 years 9 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...
121
click to vote
IEEEPACT
2008
IEEE
15 years 8 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...
119
Voted
SIGGRAPH
2010
ACM
15 years 6 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...