2343 search results - page 124 / 469 » MedModel - Healthcare Simulation Software |
121
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
d Abstract) David Kitchin, Evan Powell, and Jayadev Misra The University of Texas at Austin The real world is inherently concurrent and temporal. For simulating physical phenomena ...
136
click to vote
WSC
2001
15 years 5 months ago
2001
This work has for objective building a simulation model to evaluate different alternatives of operation of a projected center for ambulatory surgery. For the construction of the m...
139
click to vote
WSC
1996
15 years 5 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...
111
click to vote
CODES
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper, we present thread-based optimistic distributed timed cosimulation methods which reduce the overhead of optimistic simulation. First, we present thread simulation mo...
116
click to vote
APSEC
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...