国家重点基础研究发展计划(2011CB302504)

作品数：13被引量：43H指数：4
导出分析报告
相关作者：冯晓兵霍玮张兆庆李丰于洪涛更多>>
相关机构：中国科学院中国科学院研究生院中国科学院大学首都师范大学更多>>
相关期刊：《高技术通讯》《计算机研究与发展》《计算机工程》《计算机学报》更多>>
相关主题：切片技术指向约束图副作用分析物联网更多>>
相关领域：自动化与计算机技术自然科学总论更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
HDAS:异构集群上Hadoop+框架中的动态亲和性调度
《高技术通讯》2016年第4期333-343,共11页何文婷 崔慧敏 冯晓兵 
973计划(2011CB302504);863计划(2012AA010902;2015AA011505);国家自然科学基金(61202055;61221062;61303053;61432016;61402445)资助项目
针对现有异构集群的编程框架着重于异构资源的利用,没有充分考虑共享资源竞争导致作业完成时间延长的情况,基于Hadoop+框架和异构任务模型,提出并实现了异构动态亲和性调度(HDAS)算法,该算法利用Hadoop的心跳机制监测各结点上的资源使...
关键词：MAPREDUCE 异构 Hadoop+ 亲和性 调度 
介度中心和PageRank算法应用场景分析
《计算机工程》2015年第12期299-304,共6页王敏 曹宝香 王蕾 冯晓兵 
国家"973"计划基金资助项目(2011CB302504);国家"863"计划基金资助项目(2012AA010902;2015AA011505);国家自然科学基金资助项目(61402445)
在复杂网络中,一般按照需求选取合适的关键点发现算法,常用的关键点发现算法分别是介度中心算法和PageRank算法。为了在特定应用场景下选取合适的关键点发现算法,选择7种不同类型网络下的16个真实数据集,分析比较介度中心算法和PageRan...
关键词：关键点 介度中心算法 PAGERANK算法 差异 领域 应用场景 
二进制翻译系统中信号处理机制的研究
《高技术通讯》2015年第6期543-551,共9页远翔 武成岗 王振江 
国家自然科学基金(61303052;61332009;61303051;60925009);国家自然科学基金创新群体(61221062);863计划(2012AA010901);973计划(2011CB302504)资助项目
考虑到用户级二进制翻译(BT)系统需要支持在应用程序特别是多线程程序中广泛使用的信号机制,研究了用户级BT系统中的信号处理问题。详细分析了BT系统在处理信号时存在的各种问题,在此基础上设计了一种新的BT系统执行框架,用以降低用户...
关键词：用户级二进制翻译(BT) 信号处理 多线程框架 信号隔离 
基于进程投机并行的运行时系统设计与优化
《计算机工程》2014年第3期99-102,112,共5页刘雷 李晶 陈莉 冯晓兵 
国家"863"计划基金资助项目(2012AA010902);国家"973"计划基金资助项目(2011CB302504)
投机并行化是解决遗留串行代码并行化的重要技术,但以往投机并行化运行时系统面临着诸多的性能问题,如任务分配不均衡、通信频繁、冲突代价高,以及进程启动,结柬频繁而导致开销过高等。为此,提出一种基于进程实现的投机并行化运行时系...
关键词：软件投机并行 基于进程投机并行 运行时并行 委托正确性检查 并行任务划分 
面向并发性能下降的调度策略的综述被引量：4
《计算机研究与发展》2014年第1期17-30,共14页吕方 崔慧敏 霍玮 冯晓兵 
国家"八六三"高技术研究发展计划基金项目(2012AA010902);国家自然科学基金项目(61202055;60925009;60921002;61100011);国家"九七三"重点基础研究发展计划基金项目(2011CB302504);"核高基"国家科技重大专项基金项目(2009ZX01036-001-002;2011ZX01028-001-002)
随着行业应用的飞速扩张,数据中心以及云等日益成为主流服务平台.高性能的片上多核系统也随之成为重要的可分配资源之一.然而,在对多用户提供服务(并发执行、并置执行)时,其所固有的共享资源会引发严重的并发性能下降.在此背景下,多核...
关键词：片上多核处理器 共享资源 并发性能下降 并置执行 映射 调度 
支持算法组件自动替换的编程范式及编译框架被引量：1
《高技术通讯》2013年第11期1131-1138,共8页李恒杰 何文婷 陈莉 刘雷 吴承勇 
863计划(2012AA010902);973计划(2011CB302504);国家自然科学基金(60970024);国家自然科学基金创新研究群体科学基金(60921002)资助项目
针对算法组件的自动替换蕴含的算法组件的兼容性判定问题,提出了一个算法组件的约束模型,从而将算法组件的兼容性判定转化为约束模型的兼容性判定。为解决转化后的兼容性判定,采用了分治思想,即只需判定原子约束强度,约束模型间的兼容...
关键词：算法组件兼容性判定 编程范式 编译框架 迭代编译 
基于传播引擎的指针引用错误检测被引量：4
《计算机学报》2013年第2期432-444,共13页衷璐洁 霍玮 李丰 陈聪明 冯晓兵 张兆庆 
自然科学基金青年科学基金项目(61100011);国家"九七三"重点基础研究发展规划项目基金(2011CB302504);国家"八六三"高技术研究发展计划项目基金(2012AA010901);国家自然科学基金创新研究群体科学基金(60921002);核高基国家重大科技专项基金项目(2011ZX01028-001-002)资助~~
指针在C程序中应用广泛,指针引用错误多发且危害严重.目前代表性的检测工具由于使用方便性和检测精度不足以及难以处理大规模程序等原因,并不能满足实用需求.文中提出一种新型的错误检测方法,该方法基于域敏感、流敏感和上下文敏感的传...
关键词：空指针引用 错误属性格 上下文敏感 静态检测 传播引擎 
一种提高时序安全属性静态检测实用性的方法被引量：2
《计算机学报》2012年第2期244-256,共13页霍玮 李丰 丁兆伟 桑春雷 张兆庆 冯晓兵 
国家"八六三"高技术研究发展计划项目基金(2008AA01Z115);国家自然科学基金青年科学基金项目(61100011);国家自然科学基金创新研究群体科学基金项目(60921002);国家"核高基"重大专项基金项目(2009ZX01036-001-002);国家"九七三"重点基础研究发展规划项目基金(2011CB302504)资助~~
程序时序安全属性可以用有限状态自动机(FSM)来描述,对该属性的静态检测是当前研究的热点之一.该文提出了FSM切片技术,以需求驱动的模式抽取出关于时序安全属性等价的程序切片.该切片使检测规模减小、程序结构简化,因而减小了检测中组...
关键词：有限状态自动机 时序安全属性 切片技术 程序静态检测 F-衡量 
别名集切片与并行化研究被引量：1
《计算机工程》2011年第21期6-10,共5页桑春雷 张兆庆 
国家"973"计划基金资助项目(2011CB302504);"核高基"重大专项(2009ZX01036-001-002);国家自然科学基金创新研究群体资助项目(60921002)
针对复杂程序的分析问题,提出基于别名集切片的切片级并行技术与并行程序分析技术。利用传统分析算法,在每个切片上并行地进行复杂程序分析,从而实现复杂程序分析的并行化,加快复杂程序分析速度。以SPEC CPU2000/CPU2006中的部分C程序...
关键词：别名集切片 并行程序分析 切片技术 别名分析 程序检错 
静态检测中断驱动程序的数据竞争被引量：9
《计算机研究与发展》2011年第12期2290-2299,共10页霍玮 于洪涛 冯晓兵 张兆庆 
国家"八六三"高技术研究发展计划基金项目(2008AA01Z115);"核高基"国家重大科技专项基金项目(2009ZX01036-001-002);国家"九七三"重点基础研究发展计划基金项目(2011CB302504);国家自然科学基金项目(60921002)
直接运行于微控制器上的中断驱动程序中可能存在一种重要的程序错误:数据竞争.然而当前主流的数据竞争静态检测技术因其服务于多线程模型程序而不适用.设计简明、易用的中断特征描述语言可以使得竞争检测具有平台无关性;同时,提出了一...
关键词：微控制器 中断驱动程序 数据竞争检测 过程间数据流分析 副作用分析 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部