18306 search results - page 3405 / 3662 » Algorithmics in Exponential Time |
144
click to vote
ICC
2007
IEEE
16 years 28 days ago
2007
IEEE
— Optimal bandwidth utilisation together with resilience and recovery from failure are two key drivers for Traffic Engineering (TE) which have been widely addressed by the IP co...
152
click to vote
ICC
2007
IEEE
16 years 28 days ago
2007
IEEE
— For the single-group multicast scenario, where K users are served with the same data by a base station equipped with N antennas, we present two beamforming algorithms which out...
168
click to vote
IPPS
2007
IEEE
16 years 28 days ago
2007
IEEE
— An important class of queries over sensor networks are network-wide aggregation queries. In this work we study a class of aggregation queries which we refer to as aggregate thr...
170
click to vote
SECON
2007
IEEE
16 years 27 days ago
2007
IEEE
— The coverage and connectivity problem in sensor networks has received significant attention of the research community in the recent years. In this paper, we study this problem...
154
click to vote
TASE
2007
IEEE
16 years 27 days ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...