陈基雄 王志军 刘云生 李柏岩 刘晓强 丛静 覃志东 杜明 杨进才 蔡勇 李国徽

软件测试 移动合作实时事务 位置数据库 协同检验点方法 事务行为正确性 防危性验证 k)模型 全局检验点 数据库映像 并发控制 实时事务 位置管理的时间代价 过载管理 位置数据库聚簇 集合覆盖 事务依赖 加速剖面 并行检验点方法 m 数据流处理 实时调度 主动实时嵌套事务 软件防危性 检验点依赖 准一致可串行化 卸载技术 乐观并发控制 协同并行检验点方法 分布式实时数据库 分布式合作实时事务

华中科技大学计算机学院 湖北武汉 华中科技大学计算机科学与技术学院 华中师范大学信息技术系 博士研究生 华东计算技术研究所 东华大学计算机科学与技术学院 博士研究生、副教授