2470 search results - page 26 / 494 » Liveness-Preserving Simulation Relations |
WSC
1996
15 years 1 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
15 years 1 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...
110
Voted
ISMB
1998
15 years 1 months ago
1998
Traditionally, biochemical systems are modelled usingkinetics anddifferential equationsin a quantitative simulator. However,for manybiological processes detailed quantitative info...
119
Voted
WSC
2008
15 years 2 months 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...
108
Voted
WSC
2008
15 years 2 months ago
2008
This research examines the performance of CONWIP versus "push" workload control in a simple, balanced manufacturing flowline. Analytical models and simulation experiment...