Sciweavers

192 search results - page 8 / 39
» Scalable Behaviors for Crowd Simulation
Sort
View
CAV
1993
Springer
108views Hardware» more  CAV 1993»
13 years 11 months ago
Computer-Assisted Simulation Proofs
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...
Jørgen F. Søgaard-Andersen, Stephen ...
SAB
2004
Springer
159views Optimization» more  SAB 2004»
14 years 26 days ago
Swarming Behavior Using Probabilistic Roadmap Techniques
While techniques exist for simulating swarming behaviors, these methods usually provide only simplistic navigation and planning capabilities. In this review, we explore the benefi...
O. Burçhan Bayazit, Jyh-Ming Lien, Nancy M....
VLSISP
2008
191views more  VLSISP 2008»
13 years 7 months ago
Accurate and Scalable Simulation of Network of Heterogeneous Sensor Devices
Simulation is an important tool to study and analyze sensor networks. Prior work in sensor network simulation focuses on homogeneous devices. In this paper, we present a system tha...
Ye Wen, Selim Gurun, Navraj Chohan, Richard Wolski...
CCGRID
2006
IEEE
14 years 1 months ago
Evaluating Performance and Scalability of Advanced Accelerator Simulations
Advanced accelerator simulations have played a prominent role in the design and analysis of modern accelerators. Given that accelerator simulations are computational intensive and...
Jungmin Lee, Zhiling Lan, J. Amundson, P. Spentzou...
IPSN
2005
Springer
14 years 1 months ago
Avrora: scalable sensor network simulation with precise timing
— Simulation can be an important step in the development of software for wireless sensor networks and has been the subject of intense research in the past decade. While most prev...
Ben Titzer, Daniel K. Lee, Jens Palsberg