12032 search results - page 293 / 2407 » Simulation of Manufacturing Systems |
154
click to vote
DSRT
2008
IEEE
16 years 1 months ago
2008
IEEE
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
161
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
CD++ is an implementation of the Cell-DEVS formalism, which has been used to simulate various complex systems. In this study, we constructed a Cell-DEVS to simulate the dynamics of...
173
click to vote
VVEIS
2008
15 years 8 months ago
2008
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...
156
click to vote
WSC
2000
15 years 8 months ago
2000
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...
138
click to vote
IJCAI
1989
15 years 7 months ago
1989
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 ...