2947 search results - page 336 / 590 » The timely token protocol |
172
click to vote
INFOCOM
2005
IEEE
16 years 7 days ago
2005
IEEE
— The recent trend of rapid increase in routing table sizes at routers comprising the Internet’s core is posing a serious challenge to the current Internet’s scalability, ava...
160
click to vote
SSS
2005
Springer
16 years 3 days ago
2005
Springer
This paper considers the self-stabilizing unison problem. The contribution of this paper is threefold. First, we establish that when any self-stabilizing asynchronous unison protoc...
160
Voted
EUROPAR
2001
Springer
15 years 11 months ago
2001
Springer
This paper is on the construction of a server subsystem in a client/server system in an application context where the number of potential clients can be arbitrarily large. The imp...
207
click to vote
PDCN
2004
15 years 8 months ago
2004
IEEE 802.11, the standard of wireless local area networks (WLANs), allows the coexistence of asynchronous and time-bounded traffic using the distributed coordination function (DCF)...
180
click to vote
IJFCS
2006
15 years 6 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...