5615 search results - page 871 / 1123 » On the Computational Capabilities of Several Models |
212
click to vote
MIG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Realistic simulation of interacting virtual characters is essential in computer games, training and simulation applications. The problem is very challenging since people ...
199
click to vote
NOSSDAV
2009
Springer
16 years 1 months ago
2009
Springer
In recent years, integrated spatialized voice services have become an appealing application for networked virtual environments (NVE), e.g., Second Life. With a spatialized voice s...
186
click to vote
SPIN
2009
Springer
16 years 1 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 ...
208
click to vote
ICPP
2008
IEEE
16 years 1 months ago
2008
IEEE
Numerical simulations in computational physics, biology, and finance, often require the use of high quality and efficient parallel random number generators. We design and optimi...
180
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Blue Gene R /P is a massively parallel supercomputer intended as the successor to Blue Gene/L. It leverages much of the existing architecture of its predecessor to provide scalabi...