Sciweavers

2519 search results - page 39 / 504
» Martingales and Locality in Distributed Computing
Sort
View
POPL
1995
ACM
15 years 7 months ago
A Language with Distributed Scope
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...
Luca Cardelli
ICPPW
2005
IEEE
15 years 9 months ago
A Niche for Parallel Island Models: Outliers and Local Search
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...
Steven Gustafson, Edmund K. Burke
CONCUR
2004
Springer
15 years 9 months ago
Resources, Concurrency and Local Reasoning
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.
Peter W. O'Hearn
MIDDLEWARE
2010
Springer
15 years 2 months ago
dFault: Fault Localization in Large-Scale Peer-to-Peer Systems
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...
Pawan Prakash, Ramana Rao Kompella, Venugopalan Ra...
162
Voted
ISPAN
2002
IEEE
15 years 8 months ago
On Locality of Dominating Set in Ad Hoc Networks with Switch-On/Off Operations
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...
Jie Wu, Fei Dai