3820 search results - page 443 / 764 » Bounded Model Debugging |
129
click to vote
ICNP
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper, we describe oCast, an energy-optimal multicast routing protocol for wireless sensor networks. The general minimum-energy multicast problem is NP-hard. Intermitten...
138
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
We introduce the problem of managing a FIFO buffer of bounded space, where arriving packets have dependencies among them. Our model is motivated by the scenario where large data f...
133
click to vote
ISAAC
2009
Springer
15 years 10 months ago
2009
Springer
The k-means algorithm is the method of choice for clustering large-scale data sets and it performs exceedingly well in practice. Most of the theoretical work is restricted to the c...
140
click to vote
SSD
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Location-based services (LBS) are receiving increasing popularity as they provide convenience to mobile users with on-demand information. The use of these services, howev...
130
Voted
WCNC
2008
IEEE
15 years 10 months ago
2008
IEEE
—This paper presents a novel ring-based approach to analyze the inter-flow capacity of a backhaul wireless mesh networks (WMNs) with centralized scheduling. Based on the property...