4075 search results - page 159 / 815 » Modeling Distributed Algorithm Using B |
STOC
1994
ACM
15 years 4 months ago
1994
ACM
We define pseudorandom generators for Yao's twoparty communication complexity model and exhibit a simple construction, based on expanders, for it. We then use a recursive com...
IPMI
2005
Springer
16 years 1 months ago
2005
Springer
Deformable template models, in which a shape model and its corresponding appearance model are deformed to optimally fit an object in the image, have proven successful in many medic...
132
click to vote
SIAMCOMP
2002
15 years 6 days ago
2002
We characterize all limit laws of the quicksort type random variables defined recursively by Xn d = XIn + X n-1-In + Tn when the "toll function" Tn varies and satisfies ...
110
click to vote
TCOM
2008
15 years 14 days ago
2008
We investigate the use of distributed measurements for estimating and updating the performance of a cellular system. Specifically, we discuss the number and placement of sensors in...
111
click to vote
INFOCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, we characterize the performance of an important class of scheduling schemes, called Greedy Maximal Scheduling (GMS), for multi-hop wireless networks. While a lower ...