7195 search results - page 924 / 1439 » On Computing Power |
211
click to vote
ISPAN
2005
IEEE
16 years 20 days ago
2005
IEEE
We design a self-stabilizing cluster routing algorithm based on the link-cluster architecture of wireless ad hoc networks. The network is divided into clusters. Each cluster has a...
177
click to vote
CHARME
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
181
click to vote
ICALP
2005
Springer
16 years 18 days ago
2005
Springer
In this paper we initiate the study of discrete random variables over domains. Our work is inspired by work of Daniele Varacca, who devised indexed valuations as models of probabi...
226
click to vote
ICS
2005
Tsinghua U.
16 years 18 days ago
2005
Tsinghua U.
Traditionally, scheduling in high-end parallel systems focuses on how to minimize the average job waiting time and on how to maximize the overall system utilization. Despite the d...
178
click to vote
ICDCSW
2003
IEEE
16 years 11 days ago
2003
IEEE
Nodes in ad hoc networks generally transmit data at regular intervals over long periods of time. Recently, ad hoc network nodes have been built that run on little power and have v...