4075 search results - page 534 / 815 » Modeling Distributed Algorithm Using B |
166
Voted
ATAL
2007
Springer
16 years 26 days ago
2007
Springer
This paper presents a two-sided economic search model in which agents are searching for beneficial pairwise partnerships. In each search stage, each of the agents is randomly mat...
182
click to vote
IDEAS
2000
IEEE
15 years 11 months ago
2000
IEEE
Most operations of the relational algebra or SQL - like projection with duplicate elimination, join, ordering, group by and aggregations - are efficiently processed using a sorted...
199
click to vote
SIGOPS
2010
15 years 1 months ago
2010
Finding an efficient configuration for cluster-based multi-tier Internet services is often a difficult task. Moreover, even a good configuration could become obsolete, depending o...
141
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
We present applications of a recently developed automated nonlinear macromodelling approach to the important problem of macromodelling high-speed output buffers/drivers. Good nonl...
185
click to vote
TAMC
2007
Springer
16 years 24 days ago
2007
Springer
We consider the following problem in a stream model: Given a sequence a = a1, a2, . . . , am wich each ai ∈ [n] = {1, . . . , n} and m > n, find a duplicate in the sequence, ...