共查询到20条相似文献，搜索用时 15 毫秒
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
Ying Xu 《Algorithmica》2008,36(1):93-96
Abstract. We consider the problem of distributed gossiping in radio networks of unknown topology. For radio networks of size n and diameter D , we present an adaptive deterministic gossiping algorithm of time O (
n+n log
2
n ) or O(n
1.5
) . This algorithm is a tuned version of the fastest previously known gossiping algorithm due to Gasieniec and Lingas [1],
and improves the time complexity by a poly-logarithmic factor. 相似文献
11.
12.
13.
14.
15.
16.
The ρ-calculus generalises term rewriting and the λ-calculus by defining abstractions on arbitrary patterns and by using a pattern-matching algorithm which is a parameter of the calculus. In particular, equational theories that do not have unique principal solutions may be used. In the latter case, all the principal solutions of a matching problem are stored in a “structure” that can also be seen as a collection of terms.Motivated by the fact that there are various approaches to the definition of structures in the ρ-calculus, we study in this paper a version of the λ-calculus with term collections.The contributions of this work include a new syntax and operational semantics for a λ-calculus with term collections, which is related to the λ-calculi with strict parallel functions studied by Boudol and Dezani et al. and a proof of the confluence of the β-reduction relation defined for the calculus (which is a suitable extension of the standard rule of β-reduction in the λ-calculus). 相似文献
17.
18.
One of the most popular pairs of finite elements for solving mixed formulations of the Stokes and Navier–Stokes problem is
the Q
k
−P
k−1
disc
element. Two possible versions of the discontinuous pressure space can be considered: one can either use an unmapped version
of the P
k−1
disc
space consisting of piecewise polynomial functions of degree at most k−1 on each cell or define a mapped version where the pressure space is defined as the image of a polynomial space on a reference
cell. Since the reference transformation is in general not affine but multilinear, the two variants are not equal on arbitrary
meshes. It is well-known, that the inf-sup condition is satisfied for the first variant. In the present paper we show that
the latter approach satisfies the inf-sup condition as well for k≥2 in any space dimension.
Received January 31, 2001; revised May 2, 2002 Published online: July 26, 2002 相似文献
19.
20.