武继刚 陈华平 龚育昌 黄刘生 吴明 赵振西 文栋辉 周学海

组合搜索 分枝界限 算法 处理器选择 启发式任务调度 语义剪裁 超媒体引擎 语义约束

国家高性能计算中心 烟台大学计算机科学与工程系 中国科学技术大学计算机科学技术系 中国科学技术大学计算机科学与技术系