范昊

作品数:4被引量:15H指数:2
导出分析报告
供职机构:江南计算技术研究所更多>>
发文主题:并行计算高性能计算机程序包SSD分析方法更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《计算机研究与发展》《计算机工程与科学》《计算机科学》更多>>
所获基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-4
视图:
排序:
基于SMT求解器的微处理器指令验证数据约束生成技术被引量:5
《计算机研究与发展》2020年第12期2694-2702,共9页谭坚 罗巧玲 王丽一 胡夏晖 范昊 徐占 
国家重点研发计划项目(2017YFB0202703)。
处理器研制过程中需要对指令算术数据路径进行覆盖验证.针对现有模拟验证方法存在的不足,提出了一种基于可满足模理论(satisfiability modulo theory,SMT)的指令约束求解方法:利用可满足模理论求解器将指令级功能验证任务转化成数据约...
关键词:指令功能 数据路径 约束求解 SMT求解器 验证数据 并行加速 
基于十亿亿次国产超算系统的流体力学软件众核适应性研究被引量:10
《计算机科学》2020年第1期24-30,共7页李芳 李志辉 徐金秀 范昊 褚学森 李新亮 
载人航天工程技术课题(2018-14);国家自然科学基金重大研究计划(91530319);国家重点基础研究发展计划(2014CB744100)~~
国产众核处理器提供了两种移植难度相差较大的众核级并行编程语言。不同流体力学软件对众核架构适应性的不同,决定了它们在移植优化过程中适合于不同的编程语言。首先介绍了国产众核处理器的体系结构、编程模型和并行编程语言;然后分析...
关键词:国产 众核架构 流体力学软件 适应性 编程语言 并行算法 
一种面向通用众核CPU的软件调试器设计
《计算机工程与科学》2014年第10期1854-1859,共6页王敬宇 范昊 
国家863计划资助项目(2012AA010901)
近年来,众核处理器技术飞速发展,而面向该体系架构的软件调试技术相对滞后。针对众核平台上软件调试的特点,提出了一种一对多的软件调试模型,基于开源调试器gdb,设计了指令移位断点算法。该设计克服了硬件断点数量的限制,提升了异常定...
关键词:众核 调试 断点移位 
初探SSD在神威高性能计算机上的应用模式
《计算机工程与科学》2009年第A01期263-266,共4页余婷 范昊 
SSD固态硬盘,由于其低功耗、无噪音、高性能等优势一直被业界看好,如何在高性能计算中更好地利用这种高效低耗的设备,是一个值得探讨的话题。本文介绍了SSD的概念,分析了SSD的优缺点,结合神威高性能计算机,研究了它的存储特性,并通过实...
关键词:SSD SWGFS 高性能计算 
检索报告 对象比较 聚类工具 使用帮助 返回顶部