2686 search results - page 513 / 538 » Parallel object monitors |
ICDCS
2005
IEEE
15 years 7 months ago
2005
IEEE
We prove two theorems saying that no distributed system in which processes coordinate using reliable registers and -resilient services can solve the consensus problem in the prese...
138
click to vote
ICDCS
2005
IEEE
15 years 7 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...
116
click to vote
SPAA
2005
ACM
15 years 7 months ago
2005
ACM
We study the admission control problem in general networks. Communication requests arrive over time, and the online algorithm accepts or rejects each request while maintaining the...
118
click to vote
COORDINATION
2004
Springer
15 years 7 months ago
2004
Springer
The increasing ubiquity of mobile devices has led to an explosion in the development of applications tailored to the particular needs of individual users. As the research communit...
102
click to vote
CP
2004
Springer
15 years 7 months ago
2004
Springer
We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve planning and scheduling problems. Tasks are allocated to facilities using MILP and sche...