您的位置： 专家智库 > >

王丽一

作品数：47 被引量：8H指数：2
供职机构：江南计算技术研究所更多>>
发文基金：国家高技术研究发展计划国家重点实验室开放基金更多>>
相关领域：自动化与计算机技术航空宇航科学技术更多>>

合作作者

文献类型

  • 37篇专利
  • 4篇期刊文章
  • 4篇会议论文

领域

  • 19篇自动化与计算...
  • 1篇航空宇航科学...

主题

  • 12篇处理器
  • 6篇编程
  • 6篇测试程序
  • 5篇测试用例
  • 4篇硬件
  • 4篇阵列
  • 4篇内存
  • 4篇进制
  • 4篇汇编程序
  • 4篇寄存器
  • 4篇哈希
  • 4篇函数
  • 4篇二进制
  • 4篇二进制翻译
  • 4篇编程序
  • 4篇遍历
  • 4篇测试装置
  • 3篇代码
  • 3篇信息提取
  • 3篇一致性

机构

  • 45篇江南计算技术...
  • 1篇工业和信息化...

作者

  • 45篇王丽一
  • 31篇谭坚
  • 20篇吴臻
  • 20篇李岱峰
  • 16篇陈磊
  • 12篇蒋丽萍
  • 11篇王俊
  • 7篇唐大国
  • 6篇漆锋滨
  • 5篇刘鑫
  • 5篇陈德训
  • 5篇尉红梅
  • 4篇李亚辉
  • 3篇文延华
  • 2篇郑岩
  • 2篇李岱锋
  • 2篇卿鹏
  • 2篇孙俊
  • 1篇姜军
  • 1篇吴伟

传媒

  • 3篇计算机应用与...
  • 1篇计算机研究与...
  • 1篇2008年全...
  • 1篇第十七届计算...

年份

  • 2篇2023
  • 10篇2022
  • 10篇2021
  • 1篇2020
  • 1篇2019
  • 2篇2018
  • 3篇2016
  • 1篇2015
  • 2篇2014
  • 5篇2013
  • 3篇2012
  • 2篇2011
  • 1篇2009
  • 2篇2008
共 47 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
处理器内部行为监测方法
本发明提供了一种处理器内部行为监测方法，包括：执行处理器对于性能事件计数器的保留恢复处理；其中，在处理器进程调度与切换过程中，在操作系统层进行切换进程之前，采用软件方式对处理器性能计数器的内容予以保留与转储，在处理器完成...
李岱峰尉红梅谭坚王丽一吴臻相陈伟陈磊
文献传递
指令流一致性测试方法
本发明公开一种指令流一致性测试方法，S1、初始化各项参数；S2、读入命令行参数；S3、设置共享空间的大小，申请共享的可执行空间；S4、Fork进程，并将进程绑定在不同核心上；S5、进入指令Cache测试入口模块，初始化由...
刘鑫王丽一陈德训谭坚胡夏晖陈明津
基于中间结果约束的浮点验证数据生成方法
本发明公开一种基于中间结果约束的浮点验证数据生成方法，包括以下步骤：S1、根据浮点操作中间结果的约束条件，构建更高精度的浮点数据；S2、获得高精度的浮点运算结果；S3、建立高低精度浮点结果的约束关系；S4、根据用户设定的...
谭坚李岱峰王丽一陈磊蒋丽萍蒋昊辰
文献传递
基于对称多处理机的指令Cache验证策略研究
指令Cache作为高性能计算机系统中指令代码的高速缓冲，在整个系统中占有重要地位，其正确性验证工作很有必要。文章针对对称多处理机结构的一级和二级指令Cache验证提出了多种验证策略，对各种验证策略造成指令Cache的颠簸...
谭坚李岱峰王俊王丽一
关键词：指令CACHE
基于数据相关性约束的随机指令序列生成方法
本发明公开一种基于数据相关性约束的随机指令序列生成方法，包括以下步骤：S1、对指令集合进行信息提取；S2、生成的指令数目达到要求则终止，否则继续随机选择一条指令；S3、如果该指令没有操作数，跳转至S2，否则继续；S4、计...
谭坚王丽一胡夏晖陈磊蒋丽萍曹陈炜
文献传递
E级高性能计算机的挑战与关键技术
从高性能计算机计算能力的发展趋势、发展计划等多个角度分析了E量级高性能计算机可能出现的时间,分析了面临的功耗、可靠性、应用性能和适应性等重大挑战以及需要突破的关键技术.
程华王丽一刘龙庚董国良
关键词：高性能计算机系统功耗应用性能可靠性适应性
缓存一致性测试方法
本发明提供了一种缓存一致性测试方法，包括：主进程申请一个共享空间；由主进程创建出多个子进程；在该共享空间中划分出四个共享空间部分；由主进程对读操作和写操作访问的内存块号进行排列，使读操作和写操作访问的内存地址不重叠，而且...
王丽一尉红梅李岱峰谭坚吴臻相陈伟陈磊蒋丽萍李亚辉
一种浮点随机数的生成方法及系统
本申请提供了一种浮点随机数的生成方法，包括：设定浮点随机数的生成区间、生成起点及生成个数；依据所述生成区间及所述生成个数确定取数跨步参数；以所述生成起点为初始点，所述取数跨步参数为选取标准，在所述生成区间中依次选取浮点数...
王俊李岱峰王丽一谭坚吴臻相陈伟
文献传递
微处理器的测试方法及测试装置
一种微处理器的测试方法，包括：执行初始化操作，建立分支状态登记表，所述分支状态登记表包括分支索引号和分支当前状态；扫描出测试程序的所有条件跳转分支，对所述分支状态登记表赋值；依据选定的遍历策略动态修改所述分支状态登记表中...
李岱峰王丽一唐大国漆锋滨王俊
连续捕获程序异常的处理器异常测试方法
一种连续捕获程序异常的处理器异常测试方法，包括：确定并初始化需要进行校验的异常类型以及捕获到的结果异常类型；设定用户层需要获取的异常类型；根据设定的异常类型的处置方式，设置异常发生时结果校验变量的异常类型值；按照遍历所有...
谭坚漆锋滨李岱峰王丽一李亚辉吴臻蒋丽萍
文献传递
全选 清除 导出
共5页<12345>
聚类工具0