2024年8月19日
星期一
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
任永青
作品数:
21
被引量:8
H指数:2
供职机构:
北京神舟航天软件技术有限公司
更多>>
发文基金:
国家自然科学基金
国家重点基础研究发展计划
国家高技术研究发展计划
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
安虹
中国科学院计算技术研究所
孙涛
中国科学技术大学计算机科学与技...
许牧
中国科学院计算技术研究所
程胜
北京神舟航天软件技术有限公司
毛梦捷
中国科学技术大学计算机科学与技...
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
14篇
专利
6篇
期刊文章
1篇
学位论文
领域
10篇
自动化与计算...
主题
8篇
处理器
3篇
多核
3篇
体系结构
3篇
嵌入式
3篇
嵌入式软件
3篇
逻辑
3篇
寄存器
3篇
仿真
2篇
单指令多数据
2篇
调度
2篇
译码
2篇
原语
2篇
指令译码
2篇
任务调度
2篇
软件开发
2篇
数据处理
2篇
数据处理方法
2篇
统一接口
2篇
片式
2篇
嵌入式软件开...
机构
13篇
中国科学技术...
9篇
北京神舟航天...
4篇
中国科学院
作者
21篇
任永青
12篇
安虹
8篇
孙涛
5篇
许牧
5篇
毛梦捷
5篇
程胜
4篇
李颀
4篇
邓春华
3篇
刘谷
3篇
魏明
3篇
从明
2篇
刘杨
2篇
周伟
2篇
谭旭
2篇
刘扬
2篇
徐光
2篇
周启平
2篇
刘姝
2篇
赵英辉
2篇
卓保特
传媒
3篇
小型微型计算...
1篇
计算机研究与...
1篇
计算机仿真
1篇
中国科学院研...
年份
2篇
2017
1篇
2015
4篇
2014
4篇
2013
4篇
2011
5篇
2010
1篇
2008
共
21
条 记 录,以下是 1-10
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
基于BDD的知识库规则产生式的检查方法
本发明公开了一种基于BDD的知识库规则产生式的检查方法,其特征在于:所述检查方法是在基于推理规则产生式来构建推理机RETE网络的alpha节点网络时,对每一条输入的规则执行如下步骤检查:1)将一条已有规则产生式Rp转换成...
崔小磊
周启平
刘大鹏
任永青
陈星宇
文献传递
一种三模冗余计算机数字仿真系统
本发明属于计算机仿真技术领域,具体涉及一种三模冗余计算机数字仿真系统。一种三模冗余计算机数字仿真系统,包括以下模块:处理器仿真模块,实现指令集、寄存器、存储空间和流水线的时钟精确仿真;设备仿真模块,完成处理器私有的设备功...
魏明
任永青
刘姝
李尚杰
周启平
程胜
文献传递
一种全数字快速仿真方法
本发明公布了一种全数字快速仿真技术,其特征在于:包括以下技术部分:1)、倒序流水线技术;2)、寄存器备份技术;3)、存储系统写时分配技术;4)、功能部件寄存器缓存延迟技术;5)、指令译码缓冲技术;6)、高速缓存数据仿真与...
任永青
魏明
王金龙
文献传递
一种单指令多数据流结构上的数据处理方法及处理器
本发明公开了一种SIMD上的数据处理方法及处理器,包括:选取符合条件的处理多组数据流,指令具有包括标记位和索引位的谓词域;将指令进行译码,并获取标记位和索引位的值;利用标记位的值判断指令是否为谓词指令;当指令为谓词指令时...
安虹
许牧
徐光
刘谷
李颀
任永青
李小强
孙涛
郝秀蕊
周伟
谭旭
文献传递
基于控制流图逻辑结构对比的编译器验证方法
本发明涉及一种基于控制流图逻辑结构对比的编译器验证方法,其包括以下步骤:1)构造源代码的控制流图;2)构造目标代码的控制流图;3)使用同构图算法对以上两者的控制流图进行比对。本发明具有以下优点:可有效地检测编译器恶意代码...
程胜
于鹏珊
付小朋
任永青
文献传递
串行程序线程级推测执行能力评估方法和评估器
本申请公开了串行程序线程级推测执行能力评估方法和评估器,所述方法包括:通过记录串行程序一个执行阶段在执行过程中包括的正确推测的线程的数目,得到该执行阶段的线程推测深度值;确定所述线程推测深度值作为所述执行阶段后续重复执行...
安虹
任永青
孙涛
邓春华
毛梦捷
刘扬
一种在轨细粒度的功能函数增加方法
本发明公开了一种在轨细粒度的功能函数增加方法,其特征在于:所述功能函数增加方法如下:通过链接脚本将需要增加的功能函数定义为专属段,且定位到程序末尾处,这样可以有效地利用内存没有使用的空间,通过专用的工具将专属段拷贝出来,...
赵英辉
程胜
卓保特
任永青
串行程序线程级推测执行能力评估方法和评估器
本申请公开了串行程序线程级推测执行能力评估方法和评估器,所述方法包括:通过记录串行程序一个执行阶段在执行过程中包括的正确推测的线程的数目,得到该执行阶段的线程推测深度值;确定所述线程推测深度值作为所述执行阶段后续重复执行...
安虹
任永青
孙涛
邓春华
毛梦捷
刘扬
文献传递
一种在轨细粒度的功能函数增加方法
本发明公开了一种在轨细粒度的功能函数增加方法,其特征在于:所述功能函数增加方法如下:通过链接脚本将需要增加的功能函数定义为专属段,且定位到程序末尾处,这样可以有效地利用内存没有使用的空间,通过专用的工具将专属段拷贝出来,...
赵英辉
程胜
卓保特
任永青
文献传递
嵌入式软件性能评测硬件辅助测试装置和方法
本发明公开了一种嵌入式软件性能评测硬件辅助测试装置,其特征在于:包括电路板,电路板上设置有控制装置和若干通信端口,通信端口连接有被测试软件运行硬件平台和测试系统,测试系统安装在PC机上。本发明还提供了一种嵌入式软件性能评...
刘姝
陈星宇
程胜
李尚杰
任永青
文献传递
全选
清除
导出
共3页
<
1
2
3
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张