Sciweavers

2771 search results - page 120 / 555
» Using Computational Reflection in Optimistic Distributed Sim...
Sort
View
117
Voted
KES
2006
Springer
15 years 2 months ago
Symbiotic Sensor Networks in Complex Underwater Terrains: A Simulation Framework
Abstract. This paper presents a new multi-agent physics-based simulation framework (DISCOVERY), supporting experiments with self-organizing underwater sensor and actuator networks....
Vadim Gerasimov, Gerry Healy, Mikhail Prokopenko, ...
PPOPP
2006
ACM
15 years 8 months ago
Performance characterization of molecular dynamics techniques for biomolecular simulations
Large-scale simulations and computational modeling using molecular dynamics (MD) continues to make significant impacts in the field of biology. It is well known that simulations...
Sadaf R. Alam, Jeffrey S. Vetter, Pratul K. Agarwa...
HPCC
2005
Springer
15 years 8 months ago
FAST-EVP: An Engine Simulation Tool
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...
Gino Bella, Alfredo Buttari, Alessandro De Maio, F...
CONCUR
2001
Springer
15 years 7 months ago
Extended Temporal Logic Revisited
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi
JCC
2007
63views more  JCC 2007»
15 years 2 months ago
Quantum correction to the pair distribution function
: We report a numerical technique that allows the quantum effects of zero-point motion to be incorporated into Pair Distribution Functions calculated classically for molecules usin...
V. A. Levashov, S. J. L. Billinge, M. F. Thorpe