4809 search results - page 241 / 962 » Scalable Analysis of Scalable Systems |
235
click to vote
MOBICOM
2004
ACM
16 years 18 days ago
2004
ACM
A new modeling framework is introduced for the analytical study of medium access control (MAC) protocols operating in multihop ad hoc networks. The model takes into account the eļ...
212
click to vote
CCGRID
2003
IEEE
16 years 14 days ago
2003
IEEE
In this paper, we present DKS(N, k, f), a family of infrastructures for building Peer-To-Peer applications. Each instance of DKS(N, k, f) is a fully decentralized overlay network ...
202
click to vote
ICNP
2000
IEEE
15 years 11 months ago
2000
IEEE
In order to detect violations of end-to-end service level agreements (SLA) and to isolate trouble links and nodes based on a uniļ¬ed framework, managers of a service provider net...
186
click to vote
ICPP
1990
IEEE
15 years 11 months ago
1990
IEEE
As multiprocessors are scaled beyond single bus systems, there is renewed interest in directory-based cache coherence schemes. These schemes rely on a directory to keep track of a...
251
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...