2519 search results - page 39 / 504 » Martingales and Locality in Distributed Computing |
POPL
1995
ACM
14 years 7 days ago
1995
ACM
Obliq is a lexically-scoped, untyped, interpreted language that supports distributed object-oriented computation. Obliq objects have state and are local to a site. Obliq computati...
ICPPW
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper reports on the development of a novel island model for evolutionary algorithms, which is intrinsically parallel and intended to better utilise resources and outlier sol...
CONCUR
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
MIDDLEWARE
2010
Springer
13 years 7 months ago
2010
Springer
Distributed hash tables (DHTs) have been adopted as a building block for large-scale distributed systems. The upshot of this success is that their robust operation is even more imp...
ISPAN
2002
IEEE
14 years 1 months ago
2002
IEEE
Routing based on a connected dominating set is a promising approach, where the search space for a route is reduced to the hosts in the set. A set is dominating if all the hosts in...