5831 search results - page 1040 / 1167 » Distributed Dynamic Backtracking |
129
Voted
PPOPP
2009
ACM
16 years 6 days ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
106
Voted
STOC
2007
ACM
15 years 12 months ago
2007
ACM
The design of algorithms on complex networks, such as routing, ranking or recommendation algorithms, requires a detailed understanding of the growth characteristics of the network...
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
For long, node cooperation has been exploited as a data relaying mechanism. However, the wireless channel allows for much richer interaction between nodes. One such scenario is in...
105
click to vote
ICS
2010
Tsinghua U.
15 years 9 months ago
2010
Tsinghua U.
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
84
Voted
ICDCN
2010
Springer
15 years 6 months ago
2010
Springer
Abstract— Motivated by the widespread proliferation of wireless networks employing directional antennas, we study the problem of provisioning bandwidth in such networks. Given a ...