4075 search results - page 15 / 815 » Modeling Distributed Algorithm Using B |
134
click to vote
ICECCS
2010
IEEE
15 years 3 months ago
2010
IEEE
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...
144
Voted
FOCS
2007
IEEE
15 years 10 months ago
2007
IEEE
The Common Reference String (CRS) model equips all protocol participants with a common string that is sampled from a pre-specified distribution, say the uniform distribution. Thi...
138
Voted
JSAC
2006
15 years 3 months ago
2006
Abstract-- This paper addresses the problem of optical signalto-noise ratio (OSNR) optimization in optical networks. An analytical OSNR network model is developed for a general mul...
117
Voted
AMAI
2008
Springer
15 years 3 months ago
2008
Springer
We study distributed boundary coverage of known environments using a team of miniature robots. Distributed boundary coverage is an instance of the multi-robot task-allocation prob...
124
Voted
FMSD
2006
15 years 3 months ago
2006
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...