Sciweavers

DAGSTUHL
2006
13 years 6 months ago
A Petri Net Approach to Verify and Debug Simulation Models
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
Peter Kemper, Carsten Tepper
WSC
2008
13 years 6 months ago
A Pi-calculus formalism for discrete event simulation
This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation...
Jianrui Wang, Richard A. Wysk
WSC
2008
13 years 6 months ago
Enhancing simulation as improvement and decision support system tool
Lecturing a Discrete Event Simulation course implies some challenges for the instructors. These challenges implies taking decisions from the design of the course to the selection ...
Heriberto Garcia, Eduardo Garcia
WSC
2008
13 years 6 months ago
Using simulation in the implementation of an Outpatient Procedure Center
Creation of an Outpatient Procedure Center (OPC) is a complicated endeavor, requiring a detailed understanding of the resources available and the procedures to be performed. Misca...
Todd R. Huschka, Brian T. Denton, Bradly J. Narr, ...
WSC
2008
13 years 6 months ago
A generic framework for real-time discrete event simulation (DES) modelling
This paper suggests a generic simulation platform that can be used for real-time discrete event simulation modeling. The architecture of the proposed system is based on a tested f...
Siamak Tavakoli, Alireza Mousavi, Alexander Komash...
WSC
2008
13 years 6 months ago
Simulation and optimization in a health center in Medellin, Colombia
Simulation has been widely applied to health care cases in numerous countries. In Colombia, these applications are scarce. We use a systemic approach, discrete event simulation, s...
Karol Perez, Laura Cardona, Sebastian Gomez, Tomas...
WSC
2007
13 years 6 months ago
Optimistic parallel discrete event simulation of the event-based transmission line matrix method
In this paper we describe a technique for efficient parallelization of digital wave guide network (DWN) models based on an interpretation of the finite difference time domain (F...
David W. Bauer, Ernest H. Page
WSC
2008
13 years 6 months ago
Discrete event simulation: Optimizing patient flow and redesign in a replacement facility
This study observed the challenges of taking an existing facility's inpatient volumes and procedures and projecting them into a replacement facility with differently sized un...
Marshall Ashby, David M. Ferrin, Martin J. Miller,...
WSC
2007
13 years 6 months ago
Organising insights into simulation practice
Developments in simulation methodology have been so successful that simulation methods are used in many different domains, and many of these applications are based on discrete eve...
Michael Pidd, Stewart Robinson
E4MAS
2004
Springer
13 years 8 months ago
Modelling Environments for Distributed Simulation
Abstract. Decentralised, event-driven distributed simulation is particularly suitable for modelling systems with inherent asynchronous parallelism, such as agentbased systems. Howe...
Michael Lees, Brian Logan, Rob Minson, Ton Oguara,...