2470 search results - page 52 / 494 » Liveness-Preserving Simulation Relations |
151
click to vote
JSC
2010
14 years 7 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...
91
Voted
WSC
2008
15 years 2 months 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
15 years 1 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 ...
86
Voted
WSC
1998
15 years 1 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...
66
Voted
CSDA
2008
15 years 17 days 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...