272 search results - page 26 / 55 » Design and Performance of Asynchronous Method Handling for C... |
AMAI
2002
Springer
13 years 7 months ago
2002
Springer
The technique of watching two literals per clause to determine when a clause becomes a unit clause was introduced recently in the Chaff satisfiability program. That program does n...
DCC
2009
IEEE
14 years 8 months ago
2009
IEEE
Multiple Description (MD) source coding is a method to overcome unexpected information loss in a diversity system such as the internet, or a wireless network. While classic MD cod...
ASPLOS
2009
ACM
14 years 8 months ago
2009
ACM
For many mission-critical tasks, tight guarantees on the flow of information are desirable, for example, when handling important cryptographic keys or sensitive financial data. We...
CVPR
2008
IEEE
14 years 10 months ago
2008
IEEE
We present a novel stereo algorithm which performs surface reconstruction from planar camera arrays. It incorporates the merits of both generic camera arrays and rectified binocul...
ICNP
1998
IEEE
14 years 6 days ago
1998
IEEE
To construct high performance Web servers, system builders are increasingly turning to distributed designs. An important challenge that arises in such designs is the need to direc...