6518 search results - page 152 / 1304 » Distributed Individual-Based Simulation |
106
Voted
HPDC
2000
IEEE
15 years 7 months ago
2000
IEEE
We present the CAVEStudy system that enables scientists to interactively steer a simulation from a virtual reality (VR) environment. No modification to the source code is necessa...
HPCN
1995
Springer
15 years 6 months ago
1995
Springer
The Mermaid project focuses on the construction of simulation models for MIMD multi-computers in order to evaluate them and to give estimates of the system’s performance. A multi...
129
click to vote
SPIN
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
120
Voted
ACSD
2008
IEEE
15 years 4 months ago
2008
IEEE
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...
159
Voted
ICC
2009
IEEE
15 years 10 days ago
2009
IEEE
We present a novel and accurate approximation for the distribution of the sum of equally correlated Nakagami-m variates. Ascertaining on this result we study the performance of Equ...