2470 search results - page 20 / 494 » Liveness-Preserving Simulation Relations |
109
Voted
WSC
2007
15 years 2 months 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
15 years 2 months 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...
101
click to vote
WSC
1997
15 years 1 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...
78
Voted
COMPLEXITY
2006
15 years 13 days 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...
101
Voted
IGARSS
2009
14 years 10 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...