5583 search results - page 909 / 1117 » Application of Micro-Genetic Algorithm for Task Based Comput... |
151
click to vote
IPPS
2006
IEEE
16 years 11 days ago
2006
IEEE
Cooperative checkpointing, in which the system dynamically skips checkpoints requested by applications at runtime, can exploit system-level information to improve performance and ...
217
click to vote
DSN
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper proposes and evaluates strategies to build reliable and secure wireless ad hoc networks. Our contribution is based on the notion of inner-circle consistency, where loca...
167
click to vote
ICPP
2005
IEEE
15 years 12 months ago
2005
IEEE
In wireless ad hoc networks, clustering is one of the most important approaches for many applications. A connected k-hop clustering network is formed by electing clusterheads in k...
194
click to vote
ISVC
2005
Springer
15 years 12 months ago
2005
Springer
Augmented reality (AR) provides an intuitive user interface to present information in the context of the real world. A common application is to overlay screen-aligned annotations f...
145
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...