715 search results - page 2 / 143 » How To Simulate It - A Tutorial on the Simulation Proof Tech... |
WSC
2004
13 years 6 months ago
2004
Cell-DEVS enables efficient execution of complex cellular models. The goal of Cell-DEVS is to build discrete-event cell spaces, improving their definition by making the timing spe...
ICSE
2000
IEEE-ACM
13 years 8 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
WSC
1997
13 years 6 months ago
1997
We discuss some basic techniques for modeling dependence between the random variables that are inputs to a simulation model, with the main emphasis being continuous bivariate dist...
WSC
2008
13 years 7 months ago
2008
For simulation practitioners, the common steps in a simulation modeling engagement are likely familiar: problem assessment, requirements specification, model building, verificatio...
WSC
2007
13 years 7 months ago
2007
One of the most important but neglected aspects of a simulation study is the proper design and analysis of simulation experiments. In this tutorial we give a stateof-the-art prese...