2863 search results - page 238 / 573 » Constructing minimum-interference networks |
256
click to vote
PADL
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
176
click to vote
APCHI
2008
IEEE
15 years 11 months ago
2008
IEEE
Routing through a backbone, which is responsible for performing and managing multipoint communication, reduces the communication overhead and overall energy consumption in wireless...
155
Voted
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
As the next generation network begins to incorporate the Internet, telecommunication and TV services, it becomes one of the most critical infrastructures for our society. Routers c...
143
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
— A vast amount of broadcasting protocols has been developed for wireless ad hoc networks. To the best of our knowledge, however, these protocols assume a single-radio singlechan...
139
click to vote
SSDBM
2007
IEEE
15 years 10 months ago
2007
IEEE
The ability to provide reliable in-network storage while balancing the energy consumption of individual sensors is a primary concern when deploying a sensor network. The main conc...