7092 search results - page 658 / 1419 » Parallelizing constraint programs |
135
click to vote
CW
2005
IEEE
16 years 3 days ago
2005
IEEE
We present an approach for enriching a Virtual Environment by augmenting it with the kind of naturalistic clutter often found in real-world scenes. Rather than manually specifying...
213
click to vote
ISPAN
2005
IEEE
16 years 2 days ago
2005
IEEE
We propose and evaluate wireless sensor routing algorithms designed to extend the lifetime of a heterogeneous wireless sensor network. The network is heterogeneous in the sensorsâ...
173
click to vote
PODC
2005
ACM
16 years 1 days ago
2005
ACM
We propose a scheme for building peer-to-peer overlay networks for broadcasting using network coding. The scheme addresses many practical issues such as scalability, robustness, c...
172
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
161
click to vote
CONCUR
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...