7092 search results - page 1216 / 1419 » Parallelizing constraint programs |
120
click to vote
SPAA
2006
ACM
16 years 8 days ago
2006
ACM
This paper investigates time-efficient implementations of atomic read-write registers in message-passing systems where the number of readers can be unbounded. In particular we st...
142
click to vote
ICDCS
2005
IEEE
15 years 12 months ago
2005
IEEE
Stream processing has become increasingly important with emergence of stream applications such as audio/video surveillance, stock price tracing, and sensor data analysis. A challe...
166
click to vote
ICDCS
2005
IEEE
15 years 12 months ago
2005
IEEE
The lack of a flexible consistency management solution hinders P2P implementation of applications involving updates, such as read-write file sharing, directory services, online ...
193
click to vote
ICDCS
2005
IEEE
15 years 12 months ago
2005
IEEE
We propose and evaluate a model for controlling infection patterns defined over rounds or real time in a gossipbased protocol using adaptive fanout. We model three versions of go...
153
click to vote
PODC
2005
ACM
15 years 12 months ago
2005
ACM
In this paper we consider the weighted, capacitated vertex cover problem with hard capacities (capVC). Here, we are given an undirected graph G = (V, E), non-negative vertex weigh...