251 search results - page 4 / 51 » Retrenchment, Refinement, and Simulation |
DAC
2006
ACM
14 years 8 months ago
2006
ACM
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...
APSEC
2003
IEEE
13 years 11 months ago
2003
IEEE
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
KBSE
1997
IEEE
13 years 11 months ago
1997
IEEE
This paper discusses our approach to the problem of refining high-level simulation specifications. Our domain is simulated combat training for tank platoon members. Our input is a...
SC
2000
ACM
13 years 11 months ago
2000
ACM
We present simulations and performance results of nuclear burning fronts in supernovae on the largest domain and at the finest spatial resolution studied to date. These simulation...
EUC
2005
Springer
14 years 1 months ago
2005
Springer
