雷超付 杨洪斌 王子才 白方周 杨明 聂新义 汪定伟 唐毅 韩霞 周二辉 陆广远 王岩 周喜明 刘音 邵晨曦 陈进军 李俊红 刘权胜 冷明

乐观同步 分支部件 SpecC语言 消息序列表MSC 处理器 并行离散事件模拟 动态负载平衡 建模仿真 基于事务的验证 故障分类 VHDL 分布式模拟 时间偏差算法 Petri网 分布式系统 仿真 时间偏差协议 逻辑进程 RTL 系统芯片 准时化 单片多核处理器 循环选择 附加惩罚 容错 可综合性 分布式逻辑进程模拟结构 乐观策略 模拟推进度 转换

上海大学计算机工程与科学学院 上海大学计算机学院 东北大学信息科学与工程学院系统工程系 河北石家庄 合肥230027解放军第152中心医院信... 哈尔滨工业大学仿真中心 中国科学技术大学计算机科学技术系 河北师范大学数学与信息学院