1833 search results - page 283 / 367 » Mechanized Verification with Sharing |
110
click to vote
CCGRID
2003
IEEE
15 years 10 months ago
2003
IEEE
Decentralized and unstructured peer-to-peer (P2P) networks such as Gnutella are attractive for Internet-scale information retrieval and search systems because they require neither...
146
click to vote
HPDC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents new mechanisms for dynamic resource management in a cluster manager called Clusteron-Demand (COD). COD allocates servers from a common pool to multiple virtual...
132
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
— Channel-aware scheduling strategies, such as the Proportional Fair algorithm for the CDMA 1xEV-DO system, provide an effective mechanism for improving throughput performance in...
125
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
—This paper presents and evaluates distributed queueing algorithms for regulating the flow of traffic through large, high performance routers. Distributed queueing has a similar ...
129
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
Service-based distributed computing as a mode of resource sharing is receiving increased attention, motivated both by enterprise applications and by standardization efforts in the...