金培权 赵振西 唐玲 胡楠 胡燕 王峰 齐骥 李光亚 贾永泉 张晔 王立刚 岳丽华 陈香兰 雷霆 张敏 韩恺 周英华 陈浩然 胡潇 吴明桥 周学海 毛熠璐 徐海燕李曦 李曦 何兵 吴昊

查询代数 数据库模式 耦合度 功能隔离 编译器 语义概念 布局算法 空间隔离 可重构 执行流 形式化方法 模型检测 子图同构 模式约束图 服务体 超媒体系统 近似查询 位置索引 查询说明 移动对象 任务顶点 相似性连接 剩余最长执行时间 代码插装 安全关键操作系统 内存泄漏 相似性度量 动态调频技术 低能耗 实时动态调度

中国科学技术大学计算机科学技术系 安徽合肥 中国科学技术大学计算机科学与技术系 中国科学技术大学计算机系