18 search results - page 4 / 4 » Iterative Fixed Point Computation for Type-Based Strictness ... |
RC
1998
13 years 4 months ago
1998
Abstract. The epsilon-inflation proved to be useful and necessary in many verification algorithms. Different definitions of an epsilon-inflation are possible, depending on the...
ADHOCNOW
2008
Springer
13 years 11 months ago
2008
Springer
In this paper we address the problem of efficient power allocation in the uplink of CDMA wireless networks, emphasizing on the support of realtime services’ QoS prerequisites. Th...
FOCS
2004
IEEE
13 years 8 months ago
2004
IEEE
In the cyclic-to-random shuffle, we are given n cards arranged in a circle. At step k, we exchange the k'th card along the circle with a uniformly chosen random card. The pro...