1833 search results - page 204 / 367 » Mechanized Verification with Sharing |
157
click to vote
DSN
2003
IEEE
15 years 11 months ago
2003
IEEE
Wireless Medium Access Control (MAC) protocols such as IEEE 802.11 use distributed contention resolution mechanisms for sharing the wireless channel. In this environment, selfish...
166
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— A recently proposed active queue management, CHOKe, is stateless, simple to implement, yet surprisingly effective in protecting TCP from UDP flows. As UDP rate increases, even...
158
click to vote
P2P
2002
IEEE
15 years 11 months ago
2002
IEEE
Decentralized file-sharing systems like Napster [11] and Gnutella [23] have popularized the peer-to-peer approach [18,20,22], which emphasizes the use of distributed resources in ...
152
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
— Popular documents are frequently mirrored on multiple sites in an effort to share the load and reduce clients’ retrieval latencies. However, choosing the best mirror site is ...
150
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
We describe the MPI/SX implementation of the MPI-2 standard for one-sided communication (Remote Memory Access) for the NEC SX-5 vector supercomputer. MPI/SX is a non-threaded impl...