Now showing items 41-42 of 42
Formally Reasoning About and Automatically Generating Sequential and Parallel Simulations
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1992), TR-92-55
This paper proposes a methodology to automate the construction of simulation programs within the context of a simulation support environment. The methodology starts with a simulation model specification in the form of a ...
Approximate Time-Parallel Simulation of Queueing Systems with Losses
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1992), TR-92-08
This paper presents a guideline of a partial state matching approach for time-parallel simulation. Two algorithms using this approach to simulate FCFS G/G/1/K and G/D/1/K queues in which arriving customers that find the ...