Sciweavers

924 search results - page 44 / 185
» Teaching simulation using case studies
Sort
View
BIBE
2008
IEEE
203views Bioinformatics» more  BIBE 2008»
15 years 6 months ago
A study of the parameters affecting minimum detectable activity concentration level of clinical LSO PET scanners
— Recent studies in the field of molecular imaging have demonstrated the need for PET probes capable of imaging very weak activity distributions. Over this range of applications ...
Nicolas A. Karakatsanis, Konstantina S. Nikita
CAV
2007
Springer
227views Hardware» more  CAV 2007»
15 years 3 months ago
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
Martin Ouimet, Kristina Lundqvist
WSC
2000
15 years 1 months ago
Product-mix analysis with Discrete Event Simulation
Discrete Event Simulation (DES) has been used as a design and validation tool in various production and business applications. DES can also be utilized for analyzing the product-m...
Raid Al-Aomar
WSC
1998
15 years 1 months ago
ExpertFit: Total Support for Simulation Input Modeling
In this paper, we discuss the critical role of simulation input modeling in a successful simulation study. Two pitfalls in simulation input modeling are then presented and we expl...
Averill M. Law, Michael G. McComas
80
Voted
WSC
2001
15 years 1 months ago
Simulation of check-in at airports
The purpose of this paper is to describe (a) why simulation is necessary to evaluate check-in, (b) a simulation toolbox for check-in counters and (c) Two case studies for Amsterda...
Paul E. Joustra, Nico M. van Dijk