18306 search results - page 3405 / 3662 » Algorithmics in Exponential Time |
101
Voted
ICC
2007
IEEE
15 years 9 months 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...
100
Voted
ICC
2007
IEEE
15 years 9 months 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...
121
Voted
IPPS
2007
IEEE
15 years 9 months 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...
123
Voted
SECON
2007
IEEE
15 years 9 months 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...
102
Voted
TASE
2007
IEEE
15 years 9 months 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...