Multicore acceleration of Discrete Event System Specification systems.

Qi Liu Gabriel A. Wainer

Published in: Simul. (2012)

Keyphrases

discrete event
discrete event simulation
discrete event systems
computer systems
simulation model
hybrid systems
management system
dynamic systems
complex systems
supervisory control
distributed systems
high end
real time
peer to peer
formal methods
expert systems
search algorithm
multi agent
databases