2470 search results - page 26 / 494 » Liveness-Preserving Simulation Relations |
WSC
1996
13 years 11 months ago
1996
The author is revising and restructuring an existing simulation course designed primarily for senior computer science majors by: 1) developing an integrated set of laboratory exer...
WSC
2004
13 years 11 months ago
2004
The following paper briefly presents the formulation and development of a case study supply chain simulation model as developed for an industrial company. The case study company i...
ISMB
1998
13 years 11 months ago
1998
Traditionally, biochemical systems are modelled usingkinetics anddifferential equationsin a quantitative simulator. However,for manybiological processes detailed quantitative info...
WSC
2008
14 years 12 days ago
2008
We are interested in computing tail probabilities for the maxima of Gaussian random fields. In this paper, we discuss two special cases: random fields defined over a finite number...
WSC
2008
14 years 12 days ago
2008
This research examines the performance of CONWIP versus "push" workload control in a simple, balanced manufacturing flowline. Analytical models and simulation experiment...