34170 search results - page 6484 / 6834 » Optimization |
152
Voted
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
136
Voted
PODC
2003
ACM
15 years 10 months ago
2003
ACM
All too often a seemingly insurmountable divide between theory and practice can be witnessed. In this paper we try to contribute to narrowing this gap in the field of ad-hoc rout...
132
click to vote
SAC
2003
ACM
15 years 10 months ago
2003
ACM
Recent developments in mobile technologies and associated economies of scale via mature manufacturing processes have made possible the construction of pervasive systems in specifi...
124
click to vote
SENSYS
2003
ACM
15 years 10 months ago
2003
ACM
A distinguishing characteristic of wireless sensor networks is the opportunity to exploit characteristics of the application at lower layers. This approach is encouraged by device...
138
click to vote
SENSYS
2003
ACM
15 years 10 months ago
2003
ACM
Experience has shown that the power consumption of sensors and other wireless computational devices is often dominated by their communication patterns. We present a practical real...