×
验证码:
换一张
忘记密码?
记住我
×
登录
中文版
|
English
中国科学院计算技术研究所机构知识库
Institute of Computing Technology, Chinese Academy IR
登录
注册
ALL
ORCID
题名
作者
学科领域
关键词
文献类型
出处
收录类别
出版者
发表日期
存缴日期
资助项目
学科门类
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
新闻&公告
在结果中检索
研究单元&专题
中国科学院计算技术... [15]
信息技术快报 [2]
中国科学院计算技术研... [1]
作者
程学旗 [5]
郭嘉丰 [5]
兰艳艳 [3]
史忠植 [3]
朱小飞 [3]
Sun, Xiaom... [2]
更多...
文献类型
期刊论文 [17]
学位论文 [1]
发表日期
2023 [2]
2022 [1]
2020 [1]
2018 [2]
2017 [1]
2016 [2]
更多...
语种
英语 [15]
中文 [3]
出处
计算机研究与发展 [3]
软件学报 [3]
中文信息学报 [2]
信息技术快报 [2]
系统仿真学报 [2]
JOURNAL OF... [1]
更多...
资助项目
Guangdong ... [2]
National N... [2]
National N... [2]
Natural Sc... [2]
Science, T... [2]
Strategic ... [2]
更多...
收录类别
SCI [4]
其他 [2]
资助机构
×
知识图谱
CSpace
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共18条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
WOS被引频次升序
WOS被引频次降序
提交时间升序
提交时间降序
期刊影响因子升序
期刊影响因子降序
题名升序
题名降序
发表日期升序
发表日期降序
Functional Verification for Agile Processor Development: A Case for Workflow Integration
期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2023, 卷号: 38, 期号: 4, 页码: 737-753
作者:
Xu, Yi-Nan
;
Yu, Zi-Hao
;
Wang, Kai-Fan
;
Wang, Hua-Qiang
;
Lin, Jia-Wei
;
Jin, Yue
;
Zhang, Lin-Juan
;
Zhang, Zi-Fei
;
Tang, Dan
;
Wang, Sa
;
Shi, Kan
;
Sun, Ning-Hui
;
Bao, Yun-Gang
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2024/05/20
functional verification
agile development
open-source hardware
workflow integration
香山开源高性能RISC-V处理器设计与实现
期刊论文
计算机研究与发展, 2023, 卷号: 60, 期号: 3, 页码: 476
作者:
王凯帆
;
徐易难
;
余子濠
;
唐丹
;
陈国凯
;
陈熙
;
勾凌睿
;
胡轩
;
金越
;
李乾若
;
李昕
;
蔺嘉炜
;
刘彤
;
刘志刚
;
王华强
;
王诲喆
;
张传奇
;
张发旺
;
张林隽
;
张紫飞
;
张梓悦
;
赵阳洋
;
周耀阳
;
邹江瑞
;
蔡晔
;
郇丹丹
;
李祖松
;
赵继业
;
何伟
;
孙凝晖
;
包云岗
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2024/05/20
RISC-V
high performance processor
open source
chip design
agile development
RISC-V
高性能处理器
开源
芯片设计
敏捷开发
Scalable algorithm simplification using quantum AND logic
期刊论文
NATURE PHYSICS, 2022, 页码: 7
作者:
Chu, Ji
;
He, Xiaoyu
;
Zhou, Yuxuan
;
Yuan, Jiahao
;
Zhang, Libo
;
Guo, Qihao
;
Hai, Yongju
;
Han, Zhikun
;
Hu, Chang-Kang
;
Huang, Wenhui
;
Jia, Hao
;
Jiao, Dawei
;
Li, Sai
;
Liu, Yang
;
Ni, Zhongchu
;
Nie, Lifu
;
Pan, Xianchuang
;
Qiu, Jiawei
;
Wei, Weiwei
;
Nuerbolati, Wuerkaixi
;
Yang, Zusheng
;
Zhang, Jiajian
;
Zhang, Zhida
;
Zou, Wanjing
;
Chen, Yuanzhen
;
Deng, Xiaowei
;
Deng, Xiuhao
;
Hu, Ling
;
Li, Jian
;
Liu, Song
;
Lu, Yao
;
Niu, Jingjing
;
Tan, Dian
;
Xu, Yuan
;
Yan, Tongxing
;
Zhong, Youpeng
;
Yan, Fei
;
Sun, Xiaoming
;
Yu, Dapeng
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2023/07/12
Speedup in classical simulation of Gaussian boson sampling
期刊论文
SCIENCE BULLETIN, 2020, 卷号: 65, 期号: 10, 页码: 832-841
作者:
Wu, Bujiao
;
Cheng, Bin
;
Jia, Fei
;
Zhang, Jialin
;
Yung, Man-Hong
;
Sun, Xiaoming
收藏
  |  
浏览/下载:57/0
  |  
提交时间:2020/12/10
Gaussian boson sampling
Classical simulation
Hafnian
Probability distribution
Marginal distribution
Quantum optics
基于语音识别控制的人体运动仿真
期刊论文
系统仿真学报, 2018, 卷号: 30.0, 期号: 011, 页码: 4203
作者:
王志文
;
张子豪
;
贾玉祥
;
魏毅
;
沈燕飞
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2023/12/04
语音识别
人体模型
人体运动仿真
人机交互
自然图像对的联合抠图方法
期刊论文
系统仿真学报, 2018, 卷号: 30.0, 期号: 011, 页码: 4180
作者:
魏毅
;
商柳
;
邱嘉和
;
张桂娟
;
朱登明
;
沈燕飞
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2023/12/04
自然图像抠图
联合抠图
相似性估计
联合抠图拉普拉斯
面向文本分类的有监督显式语义表示
期刊论文
数据采集与处理, 2017, 卷号: 32.0, 期号: 003, 页码: 550
作者:
孙飞
;
郭嘉丰
;
兰艳艳
;
程学旗
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2023/12/04
文本分类
文本表达
有监督显式语义表示
基于概率交易模型的线下百货推荐
期刊论文
中文信息学报, 2016, 卷号: 30.0, 期号: 005, 页码: 73
作者:
王鹏飞
;
郭嘉丰
;
兰艳艳
;
晏小辉
;
程学旗
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2023/12/04
PTM
概率交易模型
品牌共现
命题中介逻辑的可靠和完备Gentzen推导系统
期刊论文
软件学报, 2016, 卷号: 000, 期号: 002, 页码: 209
作者:
朱梧槚
;
李未
;
眭跃飞
;
罗杰
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2023/12/04
中介逻辑
矛盾关系
反对关系
可靠性
完备性
求解大规模谱聚类的近似加权核k-means算法
期刊论文
软件学报, 2015, 卷号: 26.0, 期号: 011, 页码: 2836
作者:
贾洪杰
;
丁世飞
;
史忠植
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2023/12/04
谱聚类
迹最大化
加权核k-means
近似核矩阵
大数据