1362 search results - page 195 / 273 » Model Checking Large Network Protocol Implementations |
131
click to vote
CP
1998
Springer
15 years 7 months ago
1998
Springer
The constraint paradigm provides powerful concepts to represent and solve different kinds of planning problems, e. g. factory scheduling. Factory scheduling is a demanding optimiz...
139
click to vote
MOBICOM
2009
ACM
15 years 9 months ago
2009
ACM
In the literature, asymptotic studies of multi-hop wireless network capacity often consider only centralized and deterministic TDMA (time-division multi-access) coordination schem...
152
click to vote
CISS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— We consider a joint randomized scheduling, congestion control mechanism for general wireless networks. We allow for a set of imperfections in the operation of the rando...
131
click to vote
SIGCOMM
2009
ACM
15 years 9 months ago
2009
ACM
Carrier sense is often used to regulate concurrency in wireless medium access control (MAC) protocols, balancing interference protection and spatial reuse. Carrier sense is known ...
178
click to vote
INFOCOM
2012
IEEE
13 years 5 months ago
2012
IEEE
Abstract—In this paper, we investigate the problem of controlling node sleep intervals so as to achieve the min-max energy fairness in asynchronous duty-cycling sensor networks. ...