机译:离散事件系统规范系统的多核加速
Exascale Computing, IBM T. J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, USA;
Department of Systems and Computer Engineering, Carleton University,Canada;
cell processor; discrete-event simulation; discrete event system specification formalism; multicore computing;
机译:使用不精确的离散事件系统规格设计实时系统
机译:离散事件系统规范形式主义介绍及其在造型和模拟网络物理系统的应用
机译:离散事件系统分析的规范模式系统:
机译:在离散事件系统中的规范信息中:状态透明度,以清晰为有限自动机作为控制规范
机译:多核系统保守平行离散事件仿真的硬件加速
机译:StochKit2:具有事件的生化系统离散随机模拟软件
机译:离散事件系统分析的规范模式系统
机译:多核环境下并行离散事件仿真系统的可扩展算法。