9849 search results - page 1766 / 1970 » Algorithms and Experiments for the Webgraph |
158
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
— 1 Taking advantage of the independent fading channel conditions among multiple wireless users, opportunistic transmissions schedule the user with the instantaneously best condi...
145
click to vote
ICSEA
2007
IEEE
15 years 11 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
143
click to vote
IPPS
2007
IEEE
15 years 11 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...
151
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
127
click to vote
TASE
2007
IEEE
15 years 11 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...