Sciweavers

108 search results - page 3 / 22
» ExpertFit: Total Support for Simulation Input Modeling
Sort
View
MICCAI
2007
Springer
14 years 6 months ago
Modelling Intravasation of Liquid Distension Media in Surgical Simulators
We simulate the intravasation of liquid distention media into the systemic circulation as it occurs during hysteroscopy and transurethral resection of the prostate. A linear networ...
Stefan Tuchschmid, Michael Bajka, Dominik Szczerba...
WSC
2007
13 years 8 months ago
Modeling and simulation of retrieving process
This paper presents a model of Parts Distribution Center (PDC), developed in Arena® 5.0, which aims at providing information about the total time of the retrieving process as the...
Shih Y. Chin, José H. C. G. Júnior
DSN
2009
IEEE
14 years 16 days ago
Report generation for simulation traces with Traviando
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
Peter Kemper
WSC
2001
13 years 7 months ago
Usage testing of military simulation systems
Scalability and input domain explosion make it impossible to exhaustively test simulation systems. Improved methods such as statistical usage testing are needed to provide quantit...
Gwendolyn H. Walton, Robert M. Patton, Douglas J. ...
DAC
1997
ACM
13 years 10 months ago
Sequence Compaction for Probabilistic Analysis of Finite-State Machines
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). T...
Diana Marculescu, Radu Marculescu, Massoud Pedram