您的位置： 专家智库 > >

王丽一

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

合作作者

文献类型

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

领域

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

主题

  • 13篇处理器
  • 7篇编程
  • 7篇测试程序
  • 7篇测试用例
  • 6篇代码
  • 6篇寄存器
  • 5篇阵列
  • 5篇汇编程序
  • 5篇编程序
  • 4篇硬件
  • 4篇指令CACH...
  • 4篇内存
  • 4篇进制
  • 4篇汇编代码
  • 4篇共享空间
  • 4篇哈希
  • 4篇函数
  • 4篇二进制
  • 4篇二进制翻译
  • 4篇遍历

机构

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

作者

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

传媒

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

年份

  • 6篇2025
  • 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
共 53 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种基于遗传算法的极端测试用例生成方法
本发明公开一种基于遗传算法的极端测试用例生成方法，包括以下步骤：S1、种群生成器生成初始种群；S2、适应值计算器对S1中获得的初始种群中每个个体进行适应值计算；S3、适应值收集模块收集所有个体的适应值，并反馈给遗传算法核...
王丽一陈德训刘鑫胡夏晖谭坚陈明津
处理器内部行为监测方法
本发明提供了一种处理器内部行为监测方法，包括：执行处理器对于性能事件计数器的保留恢复处理；其中，在处理器进程调度与切换过程中，在操作系统层进行切换进程之前，采用软件方式对处理器性能计数器的内容予以保留与转储，在处理器完成...
李岱峰尉红梅谭坚王丽一吴臻相陈伟陈磊
文献传递
基于数据路径约束求解的随机指令测试程序生成方法
本发明公开一种基于数据路径约束求解的随机指令测试程序生成方法，包括以下步骤：S1、循环读取基于约束求解的随机指令序列文件，每次读取一行，若为空则跳转至S7；S2、根据S1中读取的内容，解析指令格式，获取指令名称以及指令格...
谭坚刘鑫陈德训王丽一陈磊吴臻曹陈炜
指令流一致性测试方法
本发明公开一种指令流一致性测试方法，S1、初始化各项参数；S2、读入命令行参数；S3、设置共享空间的大小，申请共享的可执行空间；S4、Fork进程，并将进程绑定在不同核心上；S5、进入指令Cache测试入口模块，初始化由...
刘鑫王丽一陈德训谭坚 胡夏晖 陈明津
基于中间结果约束的浮点验证数据生成方法
本发明公开一种基于中间结果约束的浮点验证数据生成方法，包括以下步骤：S1、根据浮点操作中间结果的约束条件，构建更高精度的浮点数据；S2、获得高精度的浮点运算结果；S3、建立高低精度浮点结果的约束关系；S4、根据用户设定的...
谭坚李岱峰王丽一陈磊蒋丽萍蒋昊辰
文献传递
测试程序批量变种方法
本发明公开一种测试程序批量变种方法，包括以下步骤：S1、对测试程序源码进行分析，确定核心代码段区间；S2、得到核心段代码调用的函数代码；S3、对于改变程序执行路径的测试程序，将其核心代码段进行复制并使用if/else结构...
胡夏晖陈德训刘鑫王丽一谭坚陈明津
基于对称多处理机的指令Cache验证策略研究
指令Cache作为高性能计算机系统中指令代码的高速缓冲，在整个系统中占有重要地位，其正确性验证工作很有必要。文章针对对称多处理机结构的一级和二级指令Cache验证提出了多种验证策略，对各种验证策略造成指令Cache的颠簸...
谭坚李岱峰王俊王丽一
关键词：指令CACHE
基于数据相关性约束的随机指令序列生成方法
本发明公开一种基于数据相关性约束的随机指令序列生成方法，包括以下步骤：S1、对指令集合进行信息提取；S2、生成的指令数目达到要求则终止，否则继续随机选择一条指令；S3、如果该指令没有操作数，跳转至S2，否则继续；S4、计...
谭坚王丽一胡夏晖陈磊蒋丽萍曹陈炜
文献传递
E级高性能计算机的挑战与关键技术
从高性能计算机计算能力的发展趋势、发展计划等多个角度分析了E量级高性能计算机可能出现的时间,分析了面临的功耗、可靠性、应用性能和适应性等重大挑战以及需要突破的关键技术.
程华王丽一刘龙庚董国良
关键词：高性能计算机系统功耗应用性能可靠性适应性
缓存一致性测试方法
本发明提供了一种缓存一致性测试方法，包括：主进程申请一个共享空间；由主进程创建出多个子进程；在该共享空间中划分出四个共享空间部分；由主进程对读操作和写操作访问的内存块号进行排列，使读操作和写操作访问的内存地址不重叠，而且...
王丽一尉红梅李岱峰谭坚吴臻相陈伟陈磊蒋丽萍李亚辉
全选 清除 导出
共6页<123456>
聚类工具0