4913 search results - page 914 / 983 » Results and Perspectives of the G |
169
click to vote
INFOCOM
2005
IEEE
15 years 12 months ago
2005
IEEE
StaticPSM (Power-Saving Mode)schemes employed in the current IEEE 802.11 implementations could not provide any delag-performance guarantee because of their fixed wakeup intervals. ...
155
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
162
click to vote
VISUALIZATION
2005
IEEE
15 years 12 months ago
2005
IEEE
We present Build-by-Number, a technique for quickly designing architectural structures that can be rendered photorealistically at interactive rates. We combine image-based capturi...
156
click to vote
PODC
2005
ACM
15 years 12 months ago
2005
ACM
One of the fundamental problems in distributed computing is how to efficiently perform routing in a faulty network in which each link fails with some probability. This paper inves...
153
click to vote
PODC
2005
ACM
15 years 12 months ago
2005
ACM
In this paper we consider the weighted, capacitated vertex cover problem with hard capacities (capVC). Here, we are given an undirected graph G = (V, E), non-negative vertex weigh...