2025年7月31日
星期四
|
欢迎来到营口市图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
谭坚
作品数:
34
被引量:6
H指数:1
供职机构:
江南计算技术研究所
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
王丽一
江南计算技术研究所
吴臻
江南计算技术研究所
李岱峰
江南计算技术研究所
陈磊
江南计算技术研究所
蒋丽萍
江南计算技术研究所
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
31篇
专利
2篇
期刊文章
1篇
会议论文
领域
11篇
自动化与计算...
主题
8篇
处理器
5篇
代码
5篇
汇编程序
5篇
编程
5篇
编程序
5篇
测试程序
4篇
指令CACH...
4篇
共享空间
3篇
信息提取
3篇
一致性
3篇
用户
3篇
向量
3篇
缓存
3篇
缓存一致性
3篇
汇编代码
3篇
寄存器
3篇
浮点
3篇
并行测试
3篇
测试用例
3篇
测试用例生成
机构
34篇
江南计算技术...
作者
34篇
谭坚
33篇
王丽一
18篇
吴臻
16篇
李岱峰
14篇
陈磊
10篇
蒋丽萍
8篇
刘鑫
8篇
陈德训
5篇
王俊
4篇
尉红梅
4篇
李亚辉
2篇
漆锋滨
1篇
范昊
1篇
徐占
传媒
1篇
计算机研究与...
1篇
计算机应用与...
年份
2篇
2025
1篇
2023
10篇
2022
9篇
2021
1篇
2020
1篇
2019
2篇
2018
3篇
2016
1篇
2015
3篇
2013
1篇
2011
共
34
条 记 录,以下是 1-10
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
基于流水线约束的结果自校验指令序列填充方法
本发明公开一种基于流水线约束的结果自校验指令序列填充方法,包括以下步骤:S1、对指令集合进行信息提取;S2、循环读取下一条指令;S3、对指令进行格式解析,S4、解析当前读取的指令,选择不在当前指令将要执行的流水线上且执行...
谭坚
王丽一
马腾
陈佳
吴臻
相陈伟
自检随机测试方法及随机循环测试装置
本发明公开一种自检随机测试方法及随机循环测试装置,S1、控制单元调用随机指令生成器,并将随机指令生成器生成的运算控制核心的随机指令段和运算核心的随机指令段分别嵌入运算控制核心的程序框架和运算核心的程序框架中,形成汇编程序...
王丽一
李岱峰
谭坚
陈磊
吴臻
蒋昊辰
众核阵列上并行测试的控制方法及硅后验证系统
本发明实施例公开了一种众核阵列上并行测试的控制方法及硅后验证系统。本发明实施例方法包括:众核处理器上的硅后验证系统获取多个并行测试程序对应的逻辑线程组的映射参数;根据映射参数判断逻辑线程组之间是否具有相关性;若逻辑线程组...
李岱峰
王丽一
王俊
谭坚
文献传递
基于聚类分析的测试程序分类方法
本发明公开了一种基于聚类分析的测试程序分类方法,包括以下步骤:在多个处理器上批量运行测试程序,在一次运行过程中获取所有维度的计数;根据性能计数信息,对高维度性能计数数据进行降维处理,将计数数据转换为机器学习算法能够处理的...
谭坚
王丽一
马腾
胡夏晖
相陈伟
陈佳
蒋丽萍
韩肖
基于控制约束的访存测试程序生成方法
本发明公开一种基于控制约束的访存测试程序生成方法,包括以下步骤:步骤1、生成控制核心运行的程序,在其中声明可操作的地址空间大小以及首地址,并生成计算核心的代码段;步骤2、生成计算核心访存测试程序,将计算核心的访存首地址设...
谭坚
刘鑫
陈德训
胡夏晖
武颖颖
相陈伟
陈明津
文献传递
指令流一致性测试方法
本发明公开一种指令流一致性测试方法,S1、初始化各项参数;S2、读入命令行参数;S3、设置共享空间的大小,申请共享的可执行空间;S4、Fork进程,并将进程绑定在不同核心上;S5、进入指令Cache测试入口模块,初始化由...
刘鑫
王丽一
陈德训
谭坚
胡夏晖
陈明津
基于中间结果约束的浮点验证数据生成方法
本发明公开一种基于中间结果约束的浮点验证数据生成方法,包括以下步骤:S1、根据浮点操作中间结果的约束条件,构建更高精度的浮点数据;S2、获得高精度的浮点运算结果;S3、建立高低精度浮点结果的约束关系;S4、根据用户设定的...
谭坚
李岱峰
王丽一
陈磊
蒋丽萍
蒋昊辰
文献传递
基于对称多处理机的指令Cache验证策略研究
指令Cache作为高性能计算机系统中指令代码的高速缓冲,在整个系统中占有重要地位,其正确性验证工作很有必要。文章针对对称多处理机结构的一级和二级指令Cache验证提出了多种验证策略,对各种验证策略造成指令Cache的颠簸...
谭坚
李岱峰
王俊
王丽一
关键词:
指令CACHE
基于数据相关性约束的随机指令序列生成方法
本发明公开一种基于数据相关性约束的随机指令序列生成方法,包括以下步骤:S1、对指令集合进行信息提取;S2、生成的指令数目达到要求则终止,否则继续随机选择一条指令;S3、如果该指令没有操作数,跳转至S2,否则继续;S4、计...
谭坚
王丽一
胡夏晖
陈磊
蒋丽萍
曹陈炜
文献传递
一种基于遗传算法的极端测试用例生成方法
本发明公开一种基于遗传算法的极端测试用例生成方法,包括以下步骤:S1、种群生成器生成初始种群;S2、适应值计算器对S1中获得的初始种群中每个个体进行适应值计算;S3、适应值收集模块收集所有个体的适应值,并反馈给遗传算法核...
王丽一
陈德训
刘鑫
胡夏晖
谭坚
陈明津
全选
清除
导出
共4页
<
1
2
3
4
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张