4075 search results - page 52 / 815 » Modeling Distributed Algorithm Using B |
111
Voted
IPSN
2005
Springer
15 years 6 months ago
2005
Springer
— In this paper, we propose a quantizer design algorithm that is optimized for source localization in sensor networks. For this application, the goal is to minimize the amount of...
120
click to vote
IEEEPACT
2009
IEEE
15 years 7 months ago
2009
IEEE
—Analytical models have been used to estimate optimal values for parameters such as tile sizes in the context of loop nests. However, important algorithms such as fast Fourier tr...
97
Voted
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
Distributed infrastructures are becoming more and more diverse in nature. An application may often need to be redeployed in various scenarios. Ideally, given an application design...
101
Voted
ACTA
2007
15 years 19 days ago
2007
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular ...
113
Voted
DICTA
2003
15 years 1 months ago
2003
：Many motion object detection algorithms rely on the process of background subtraction, an important technique which is used for detecting changes from a model of the background ...