15614 search results - page 270 / 3123 » The State of State |
143
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
— We consider the problem of scheduling packets over a number of channels with time varying connectivity. Policies proposed for this problem either stabilize the system when the ...
168
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...