Sciweavers

11215 search results - page 201 / 2243
» Skeleton - Easy Simulation System
Sort
View
VVEIS
2008
14 years 6 days ago
An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
Kenro Yatake, Takuya Katayama
WSC
2000
14 years 4 days ago
Simulation based decision support for future 300mm automated material handling
Integrated factory models of semiconductor fabrication facilities allow conclusions to be drawn on the impact of a given Automated Material Handling System (AMHS) and interactions...
Mathias Schulz, Timothy D. Stanley, Bernhard Renel...
IJCAI
1989
13 years 12 months ago
Generating Causal Explanation from a Cardio-Vascular Simulation
In this paper, we present QUALEX, a system and algorithm for generating first-order qualitative causal graphs for tutorial purposes based on de Kleer and Brown's qualitative ...
Sarah A. Douglas, Zheng-Yang Liu
SAC
2002
ACM
13 years 10 months ago
Scalable, efficient epidemiological simulation
We describe the design and implementation of a system for simulating the spread of disease among individuals in a large urban population over the course of several weeks. In contr...
Stephen Eubank
IEEEHPCS
2010
13 years 9 months ago
Novel performance optimization of large-scale discrete-event simulation on the Cell Broadband Engine
This paper presents a computing technique for efficient parallel simulation of large-scale discrete-event models on the IBM Cell Broadband Engine (CBE), which has one Power Proces...
Qi Liu, Gabriel A. Wainer, Ligang Lu, Michael Perr...