执行引擎

作品数:43被引量:95H指数:5
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:江洪张源杨珉彭智俊刘旭东更多>>
相关机构:复旦大学中国科学院大学南京大学英特尔公司更多>>
相关期刊:《计算机工程与设计》《北京航空航天大学学报》《计算机与数字工程》《软件导刊》更多>>
相关基金:国家自然科学基金国家高技术研究发展计划广东省科技计划工业攻关项目广东省自然科学基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=计算机研究与发展x
条 记 录,以下是1-2
视图:
排序:
基于多线程并行的符号执行引擎设计与实现被引量:2
《计算机研究与发展》2023年第2期248-261,共14页周彭 左志强 
国家自然科学基金项目(62272217)。
符号执行作为一种高效的测试生成技术,被广泛应用于软件测试、安全分析等领域.然而,由于程序中的执行路径数量随着分支数量的增加而指数级上升,符号执行往往无法在大规模程序上进行高效执行,缺乏可扩展性.已有的基于多进程的并行化方法...
关键词:符号执行 负载均衡 约束求解 并行加速 可扩展性 
一种正交分解大数据处理系统设计方法及实现被引量:12
《计算机研究与发展》2017年第5期1097-1108,共12页向小佳 赵晓芳 刘洋 龚关俊 张晗 
国家自然科学基金项目(61202061;61202413);中国科学院计算技术研究所创新课题项目(20146080)~~
MapReduce等计算框架的出现开启了大数据处理新纪元,以Hadoop,Spark为代表的大数据处理系统具有大吞吐率、跨平台、高可扩展的优势,并得到广泛应用.然而,为避免与具体的操作系统、硬件平台绑定,这些系统的设计与优化集中在计算模型、调...
关键词:大数据处理系统 计算框架 本地化 锁无关 超级优化 执行引擎 
检索报告 对象比较 聚类工具 使用帮助 返回顶部