江维 吴新勇 张宁 熊光泽 张智超 凡志刚 常政威 柳琳琳 黄歆 杨仕平 郭文生 谢晓娜 古幼鹏 丁旭阳 丁晓波

实时 检查点 集群计算 DOM树 SOPC 马尔可夫模型 实时系统 能耗 防危性测试 映射 递归X-Y分割算法 电压岛 通用性嵌入式调试器 能量有效 多级高可信保障 Kobject 多级关键度 任务关键 面向对象 实时网络 容错调度 禁忌搜索 可靠性测试 可信性 能效变化率 安全关键系统 覆盖问题 实时调度 自适应调度 评估

四川成都 电子科技大学计算机科学与工程学院 电子科技大学计算机与工程学院 郑州大学体育学院 电子科技大学软件学院 郑州450044西南交通大学CAD工程中... 电子科技大学