5740 search results - page 397 / 1148 » Dynamic Distributed BackJumping |
162
click to vote
INFOCOM
2003
IEEE
16 years 2 days ago
2003
IEEE
— We present a novel distributed algorithm for constructing random overlay networks that are composed of d Hamilton cycles. The protocol is completely decentralized as no globall...
182
Voted
PADS
2003
ACM
16 years 1 days ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...
175
click to vote
SC
2003
ACM
16 years 1 days ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
198
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
One approach to high-performance processing of massive data sets is to incorporate computation into storage systems. Previous work has shown that this active storage model is effe...
178
Voted
ISCC
2002
IEEE
15 years 11 months ago
2002
IEEE
The increasing diffusion of mobile computing and of portable devices with wireless connectivity identifies new challenging scenarios for service provisioning. The access from devi...