557 search results - page 30 / 112 » On the convergence time of distributed quantized averaging a... |
128
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
The Chained Lin-Kernighan algorithm (CLK) is one of the best heuristics to solve Traveling Salesman Problems (TSP). In this paper a distributed algorithm is proposed, were nodes i...
154
click to vote
CORR
2011
Springer
15 years 14 days ago
2011
Springer
—The subject of this work is the patrolling of an environment with the aid of a team of autonomous agents. We consider both the design of open-loop trajectories with optimal prop...
161
click to vote
ENTCS
2006
15 years 5 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
141
click to vote
PODC
2003
ACM
15 years 10 months ago
2003
ACM
We consider the model of unreliable network links, where at each time unit a link might be either up or down. We consider two related problems. The first, establishing end to end...
131
click to vote
IOR
2010
15 years 3 months ago
2010
We present exchange formulas that allow to express the stationary distribution of a continuous Markov chain with denumerable state-space having generator matrix Q∗ through a con...