国家自然科学基金(61373039)

作品数：8被引量：58H指数：4
导出分析报告
相关作者：何炎祥李清安江南张军张军更多>>
相关机构：武汉大学湖北工业大学东华理工大学国防科学技术大学更多>>
相关期刊：《通信学报》《计算机研究与发展》《软件学报》《计算机学报》更多>>
相关主题：定理证明线程调度线程通用图形处理器GPGPU更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
无线传感器网络中公钥机制研究综述被引量：12
《计算机学报》2020年第3期381-408,共28页何炎祥 孙发军 李清安 何静 汪吕蒙 
国家自然科学基金(91118003,61373039,61502346)资助.
物联网是当前学术界和产业界的研究热点,作为物联网主要构成部分之一的无线传感器网络(Wireless Sensor Networks,WSNs),其安全与人们的生活安全及隐私息息相关.过去近二十年来WSNs安全得到了广泛深入的研究,其中公钥机制从最初的不可...
关键词：传感器网络 安全 综述 密码学原语 密钥协商 密钥管理 物联网 
机械化定理证明研究综述被引量：13
《软件学报》2020年第1期82-112,共31页江南 李清安 汪吕蒙 张晓瞳 何炎祥 
国家自然科学基金(90818018,91018009,61170022,91118003,61373039);华为技术有限公司合作项目(YB2015090035);湖北工业大学校博士科研启动基金(BSQD2017043)。
随着现代社会计算机化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失.机械化定理证明能够建立更为严格的正确性,从而奠定系统的高可信性.针对机械化定理证明的逻辑基础和关键技术,详细剖析了一阶逻辑和基于消解的证明...
关键词：定理证明 证明助手 消解 自然演绎 类型化的λ演算 编程逻辑 求精 
Memory Request Priority Based Warp Scheduling for GPUs被引量：1
《Chinese Journal of Electronics》2018年第5期985-994,共10页ZHANG Jun HE Yanxiang SHEN Fanfan LI Qing'an TAN Hai 
supported by the National Natural Science Foundation of China(No.61662002,No.61373039,No.61462004);the Science and Technology Project of the Educational Deparment in Jiangxi Province,China(No.GJJ150605);the Natural Science Foundation of Jiangxi Provice(No.20151BAB207042,No.20161BAB212056);the Key Research and Developement Plan of the Scientific Department in Jiangxi Province,China(No.20161BBE50063)
High performance of GPGPU comes from its super massive multithreading, which makes it more and more widely used especially in the field of throughputoriented. Data locality is one of the important factors affecting th...
关键词：General purpose graphics processing unit（GPGPU） Memory request priority Performance Data locality Warp scheduling 
SDN网络中控制器放置问题综述被引量：24
《通信学报》2017年第7期155-164,共10页高先明 王宝生 邓文平 陶静 
国家重点基础研究发展计划("973"计划)基金资助项目(No.2012CB315906);国家自然科学基金资助项目(No.61373039)~~
为了改变当前Internet网络管理复杂度高的局面,提出软件定义网络(SDN,software defined network),通过控制器生成流策略来直接控制数据流的转发行为。随着SDN网络部署与实践,研究人员发现控制器在网络中部署位置能直接影响到网络性能。...
关键词：软件定义网络 多控制器 控制器放置 性能尺度 搜索算法 
Feedback Learning Based Dead Write Termination for Energy Efficient STT-RAM Caches
《Chinese Journal of Electronics》2017年第3期460-467,共8页SHEN Fanfan HE Yanxiang ZHANG Jun JIANG Nan LI Qing'an LI Jianhua 
supported by the National Natural Science Foundation of China(No.91118003,No.61170022,No.61373039,No.61402145,No.61502346);the Natural Science Foundation of Hubei Province(No.2015CFB338);the Natural Science Foundation of Anhui Province(No.1508085QF138);the Science and Technology Project of Jiangxi Province Education Department(No.GJJ150605)
Spin-torque transfer RAM(STT-RAM) is a promising candidate to replace SRAM for larger Last level cache(LLC). However, it has long write latency and high write energy which diminish the benefit of adopting STT-RAM cach...
关键词：Dead blocks Energy efficiency Spintransfer torque RAM(STT-RAM) Last level cache(LLC) 
通用图形处理器线程调度优化方法研究综述被引量：4
《计算机学报》2016年第9期1733-1749,共17页何炎祥 张军 沈凡凡 江南 李清安 刘子骏 
国家自然科学基金(61170022,61373039,61462004)资助
随着通用图形处理器(GPGPU)并行计算能力的日益增强,其应用范围越来越广.然而由于不规则计算任务使得通用图形处理器资源难以得到充分利用,其性能并未达到最大化.在论述GPGPU微体系结构的基础上,该文重点讨论了多种针对GPGPU性能提升的...
关键词：通用图形处理器 线程调度优化 性能 功耗 
_mJava到Micro-Dalvik虚拟机的编译验证被引量：3
《电子学报》2016年第7期1619-1629,共11页江南 何炎祥 张晓瞳 
国家自然科学基金(No.61373039)
针对类Java的面向对象语言mJava到类Dalvik的寄存器架构虚拟机Micro-Dalvik的编译验证,给出了mJava语言和Micro-Dalvik的操作语义.从mJava语言程序到Micro-Dalvik虚拟机指令的编译分为两步,首先将mJava语言程序中的本地变量名转换为相...
关键词：编译验证 定理证明 操作语义 机器检测 寄存器架构 面向对象语言 
基于2阶段同步的GPGPU线程块压缩调度方法被引量：1
《计算机研究与发展》2016年第6期1173-1185,共13页张军 何炎祥 沈凡凡 江南 李清安 
国家自然科学基金重点项目(91118003);国家自然科学基金项目(61373039,61170022,61462004);江西省教育厅科技项目(GJJ150605)~~
通用图形处理器(general purpose graphics processing unit,GPGPU)在面向高性能计算、高吞吐量的通用计算领域的应用日益广泛,它采用的SIMD(single instruction multiple data)执行模式使其能获得强大的并行计算能力.目前主流的通用图...
关键词：通用图形处理器 线程调度 线程块压缩重组 2阶段同步 分支转移 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部