2470 search results - page 20 / 494 » Liveness-Preserving Simulation Relations |
WSC
2007
14 years 12 days ago
2007
In this paper we discuss verification and validation of simulation models. Four different approaches to deciding model validity are described; two different paradigms that relate ...
WSC
2007
14 years 12 days ago
2007
Auburn University, through the Army’s Aviation and Missile Research, Development and Engineering Center (AMRDEC) has been supporting the Unmanned Systems Initiative (USI) progra...
WSC
1997
13 years 11 months ago
1997
We describe the application of simulation and statistical analyses to the process improvement of a paint shop within a heavy manufacturing plant. The explicit objectives of this s...
COMPLEXITY
2006
13 years 10 months ago
2006
Statistical physics, computer simulation and discrete mathematics are intimately related through the study of shared lattice models. These models lie at the foundation of all thre...
IGARSS
2009
13 years 7 months ago
2009
GeoSAR is a unique dual-band, interferometric SAR (DBInSAR) sensor capable of collecting single-pass, Xband (VV) and P-band (HH) interferometric data simultaneously. In this paper...