4690 search results - page 595 / 938 » An operational semantics for Scheme |
212
click to vote
NOSSDAV
2009
Springer
16 years 2 months ago
2009
Springer
This article proposes a new distributed architecture for update message exchange in massively multi-user virtual environments (MMVE). MMVE applications require delivery of updates...
188
click to vote
NOSSDAV
2009
Springer
16 years 2 months ago
2009
Springer
In this paper, we propose a simple and fully distributed mechanism for constructing and maintaining the overlay topology in mesh-based P2P-TV systems. Our algorithm optimizes the ...
191
click to vote
SPIN
2009
Springer
16 years 2 months ago
2009
Springer
Existing techniques for approximate storage of visited states in a model checker are too special-purpose and too DRAM-intensive. Bitstate hashing, based on Bloom filters, is good ...
176
click to vote
MOBICOM
2009
ACM
16 years 2 months ago
2009
ACM
We consider the problem of efficient link-layer multicasting in wireless networks with switched beamforming antennas. The inherent tradeoff between multicasting and beamforming ...
214
click to vote
CISS
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract—To achieve higher reliability, safety, and faulttolerance, many mission-critical detection and decision systems implement consensus algorithms that force the systems’ ...