2470 search results - page 52 / 494 » Liveness-Preserving Simulation Relations |
JSC
2010
13 years 5 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
WSC
2008
14 years 14 days ago
2008
Suppose one wishes to compare two closely related systems via stochastic simulation. Common random numbers (CRN) involves using the same streams of uniform random variates as inpu...
WSC
1997
13 years 11 months ago
1997
This paper discusses the efficiency of various batching methods for estimating performance parameters from steady-state simulation output, e.g., the steadystate mean. Our primary ...
WSC
1998
13 years 11 months ago
1998
This paper presents Timed Petri Nets (TPN) as an analytical approach for verification of computerized queueing network simulation models at steady state. It introduces a generic a...
CSDA
2008
13 years 10 months ago
2008
We derive second-order expressions for the asymptotic bias and variance of the log relative incidence estimator for the self-controlled case series method in a simplified scenario...