高效能服务器和存储技术国家重点实验室开放基金(2009HSSA06)

作品数：30被引量：74H指数：4
导出分析报告
相关作者：曾国荪郝水侠钮俊谭一鸣徐洪珍更多>>
相关机构：同济大学国家高性能计算机工程技术研究中心教育部江苏师范大学更多>>
相关期刊：《计算机学报》《计算机工程与应用》《电子学报》《计算机应用研究》更多>>
相关主题：体系结构异构计算性能分析信任建立可重构更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
与体系结构匹配的多级可重构任务划分方法
《计算机科学》2014年第8期63-66,74,共5页郝水侠 曾国荪 
863项目(2007AA01Z425;2009AA012201);973课题(2007CB316502);国家自然基金项目(90718015);NSFC-微软亚洲研究院联合资助项目(60970155);教育部博士点基金项目(20090072110035);上海市优秀学科带头人计划项目(10XD1404400);高效能服务器和存储技术国家重点实验室开放基金项目(2009HSSA06);校重点科研项目(13XLA11);院重点专业类经费教研项目(STYJYA1401)资助
异构系统是高性能计算发展的主要模式,云计算是异构计算的典型实例。其优势在于异构处理器能各尽其能,但在实际应用中异构系统的性能往往不能充分发挥,因为处理器特征与应用程序特征不匹配,造成系统效率低下。因此借助重构思想,提出与...
关键词：计算任务 体系结构 多级可重构 任务划分 
相似驱动的细粒度并行任务重构算法被引量：1
《计算机科学》2013年第9期44-50,共7页郝水侠 曾国荪 马小信 许金超 
国家863高技术研究发展计划(2009AA012201);国家自然基金项目(61103068);NS-FC-微软亚洲研究院联合资助项目(60970155);教育部博士点基金项目(20090072110035);上海市优秀学科带头人计划项目(10XD1404400);高效能服务器和存储技术国家重点实验室开放基金项目(2009HSSA06)资助
异构计算是高性能计算技术的发展趋势,计算任务与体系结构匹配成为异构计算亟待解决的问题。重构技术为实现两者匹配带来了契机,要么任务重构适应体系结构,要么体系结构重构适应任务。提出基于相似驱动的并行任务重构算法以实现异构计...
关键词：并行任务 体系结构 异构计算 图相似 重构 
绿色评价模型的互模拟等价及逻辑保持被引量：4
《计算机学报》2013年第5期967-976,共10页钮俊 曾国荪 王伟 
国家"八六三"高技术研究发展计划项目基金(2007AA01Z425;2009AA012201);国家"九七三"重点基础研究发展规划项目基金(2007CB316502);国家自然科学基金(90718015;61103068;61174158);NSFC-微软亚洲研究院联合项目(60970155);教育部博士点基金(20090072110035);上海市优秀学科带头人计划项目(10XD1404400);高效能服务器和存储技术国家重点实验室开放基金(2009HSSA06);浙江省自然科学基金项目(LY12F020031);宁波市自然科学基金(2012A610062)资助~~
绿色计算中,复杂系统的绿色评价是一个重要的研究课题,其核心任务是判断运行时时间、空间资源消耗是否满足环境约束或限定.设计时,采用模型检测技术,自动、完备、高效地进行绿色评价,是一种新颖且有效的解决方案,但可能出现的状态爆炸...
关键词：绿色评价 模型检测 随机过程 评价指标 互模拟 绿色计算 
异构计算中体系结构感知的并行任务分簇方法
《计算机科学》2013年第3期121-125,共5页郝水侠 曾国荪 
国家863高技术研究发展计划(61103068);NSFC-微软亚洲研究院联合项目(2009AA012201);国家自然基金项目(60970155);教育部博士点基金项目(20090072110035);上海市优秀学科带头人计划项目(10XD1404400);高效能服务器和存储技术国家重点实验室开放基金项目(2009HSSA06)资助
异构计算是高效能计算发展的必然趋势,针对异构计算运行中并行任务和体系结构难匹配的问题,提出了实现并行任务和体系结构匹配的并行任务分簇方法。首先给出效能的概念及异构计算中体系结构感知的分簇问题,然后从理论上分析了异构匹配...
关键词：异构计算 并行任务匹配 体系结构感知 分簇 
云计算环境下聚合服务的随机模型检测
《计算机科学》2012年第10期31-34,共4页钮俊 曾国荪 
863项目(2007AA01Z425;2009AA012201);973课题(2007CB316502);国家自然基金项目(90718015);NSFC-微软亚洲研究院联合资助项目(60970155);教育部博士点基金项目(20090072110035);高效能服务器和存储技术国家重点实验室开放基金项目(2009HSSA06);浙江省自然科学基金项目(LY12F02007);宁波市自然科学基金项目(2012A610062)资助
当前缺乏对聚合云服务正确性、响应时间和费用约束统一进行验证的有效方法。扩展基本工作流模式,增强概率、随机、不确定选择的刻画能力,用于定义聚合云服务的服务流程,将流程定义转换为连续时间Markov回报过程,扩展连续随机回报逻辑CS...
关键词：云服务 工作流 MARKOV过程 随机模型检测 
一种基于贝叶斯理论的软件可靠度评估方法被引量：1
《同济大学学报（自然科学版）》2012年第7期1102-1105,1110,共5页许金超 曾国荪 王伟 
国家“八六三”高技术研究发展计划(2009AA012201);国家自然科学基金(61103068);NSFC-微软亚洲研究院联合资助项目(60970155);教育部高等学校博士学科点专项科研基金(20090072110035);上海市优秀学科带头人计划(10XD1404400);高效能服务器和存储技术国家重点实验室开放基金(2009HSSA06)
针对目前软件测试过程中可靠性度量方法匮乏的不足,提出了一种新的基于贝叶斯理论的软件可靠度评估方法,该方法通过分析软件模块间的影响关系构建贝叶斯网络,利用贝叶斯方法和经验数据评估贝叶斯网络中各节点的可靠度.给出了可靠度计算...
关键词：可靠度 模块影响关系 贝叶斯理论 软件测试 
基于神经网络的独立程序在单机上运行功耗的预测被引量：1
《计算机科学》2012年第5期282-286,294,共6页谭一鸣 曾国荪 
863项目(2009AA012201);973计划课题(2007CB316502);国家自然基金项目(90718015);NSFC-微软亚洲研究院联合资助项目(60970155);教育部博士点基金项目(20090072110035);上海市优秀学科带头人计划项目(10XD1404400);高效能服务器和存储技术国家重点实验室开放基金项目(2009HSSA06)资助
程序运行能耗分析是目前绿色计算、高效能计算的研究热点。由于应用程序自身的复杂性、硬件平台的异构性、环境因素对功耗影响的不确定性,导致很难直接给出程序运行功耗的预测公式,因此提出一种基于神经网络的程序运行功耗预测方法。通...
关键词：绿色计算 功耗分析 神经网络 可执行程序 
一种新型的撤销成员的无加密短群签名方案被引量：2
《计算机科学》2012年第4期41-45,66,共6页马海英 曾国荪 
863项目(2009AA012201);973计划课题(2007CB316502);国家自然基金项目(90718015);NSFC-微软亚洲研究院联合资助项目(60970155);教育部博士点基金项目(20090072110035);上海市优秀学科带头人计划项目(10XD1404400);高效能服务器和存储技术国家重点实验室开放基金项目(2009HSSA06);同济大学青年基金(0800219105;2009kj030);南通大学自然科学基金(13040024)资助
针对撤销成员的群签名中如何降低群成员的计算量、缩短签名长度等问题,提出了一种新型的撤销成员的无加密短群签名方案,并证明了其安全性。基于XDDH,LRSW和SDLP假设,通过将有效期属性编入签名钥来实现成员的有效撤销;为了提高签名的效率...
关键词：群签名 撤销成员 知识签名 IND-CCA2匿名性 安全性证明 
异构重构计算系统应用任务调度的性能分析被引量：1
《小型微型计算机系统》2012年第2期404-408,共5页谭一鸣 曾国荪 郝水侠 
国家"八六三"高技术研究发展计划项目(2007AA01Z425;2009AA012201)资助;国家"九七三"重点基础研究发展计划项目(2007CB316502)资助;国家自然基金项目(90718015)资助;NSFC-微软亚洲研究院联合项目(60970155)资助;教育部博士点基金项目(20090072110035)资助;上海市优秀学科带头人计划项目(10XD1404400)资助;高效能服务器和存储技术国家重点实验室开放基金项目(2009HSSA06)资助
异构重构计算是目前高性能计算的研究热点.由于应用任务的异构性,以及体系结构的可重构性,导致异构重构计算的性能分析非常困难,现有的并行计算性能分析方法不再适用.本文提出一种基于应用任务调度的性能分析方法,该方法以异构重构计算...
关键词：异构重构计算 性能分析 异构匹配矩阵 重构耦合矩阵 
基于模型检测的数据流异常测试技术研究被引量：2
《计算机工程与应用》2011年第25期1-4,共4页陈涛 许金超 钮俊 
国家自然科学基金(No.90718015);国家高技术研究发展计划(863)(No.2007AA01Z425;No.2009AA012201);国家重点基础研究发展规划(973)(No.2007CB316502);NSFC-微软亚洲研究院联合资助项目(No.60970155);教育部博士点基金项目(No.20090072110035);上海市优秀学科带头人计划项目(No.10XD1404400);高效能服务器和存储技术国家重点实验室开放基金项目(No.2009HSSA06);安徽省自然科学基金(No.11040606M151)~~
程序的执行体现为数据在变量中的流动。对C/C++源代码中变量定义使用情况进行分析,针对变量未赋值就使用、变量重复赋值和变量定义后未使用三种数据流异常情况,使用程序阅读自动机,把程序转换为变量状态机,使用ALCCTL时序逻辑和模型检...
关键词：变量使用 软件测试 数据流异常 模型检测 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部