305 search results - page 29 / 61 » From Sets to Bits in Coq |
145
Voted
SBBD
2008
15 years 10 days ago
2008
A perfect hash function (PHF) is an injective function that maps keys from a set S to unique values, which are in turn used to index a hash table. Since no collisions occur, each k...
97
Voted
CCGRID
2003
IEEE
15 years 4 months ago
2003
IEEE
Abstract Utility Data Center (UDC) provides a exible, coste ective infrastructure to support the hosting of applications for Internet services. In order to enable the design of a \...
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
As the date rates and bandwidths of communication systems scale up, the cost and power consumption of highprecision (e.g., 8-12 bits) analog-to-digital converters (ADCs) become pro...
ISCIS
2003
Springer
15 years 4 months ago
2003
Springer
Increasing popularity of wireless services has triggered the need for efficient wireless transport mechanisms. TCP, being the reliable transport level protocol widely used in wired...
75
Voted
STOC
1998
ACM
15 years 3 months ago
1998
ACM
On Labor Day weekend, the highway patrol sets up spot-checks at random points on the freeways with the intention of deterring a large fraction of motorists from driving incorrectl...