11234 search results - page 191 / 2247 » A Microsurgery Simulation System |
305
click to vote
Publication
WiMAX has attracted a lot of attention recently in the telecommunication community including researchers, product developers and service providers. Numerous papers have been publis...
143
click to vote
DSRT
2008
IEEE
16 years 24 days 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...
153
click to vote
ICCS
2005
Springer
15 years 12 months 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...
166
click to vote
VVEIS
2008
15 years 7 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...
144
click to vote
WSC
2000
15 years 7 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...