|
English
MENU
Toggle navigation
首页
中心概况
中心介绍
中心主任
中心LOGO
科研人员
研究员/正高级工程师
副研究员/高级工程师
助理研究员/工程师
研究项目
中心新闻
学术活动
关于我们
中心新闻
更多 >>
UCAgent 首次国际亮相:AI驱动芯片验证方案登上 RISC-V 欧洲峰会
阅读详情 >>
学术活动
更多 >>
06-24
/2026
SparseZETA:SpMV程序的智能生成系统
06-15
/2026
探索SVA以外的形式化验证接口
12-19
/2025
无线通信与异构计算
11-19
/2025
Ventus: A High-Performance Open-Source GPGPUBased on RISC-V and Its Vector Extension
09-25
/2025
计算机组成高阶实验
09-02
/2025
Memory-Centric Computing: Enabling Fundamentally Efficient & Intelligent Machines
— 中心介绍 —
— 研究项目 —
— 研究团队 —
— 关于我们 —
版权所有 © 中国科学院计算技术研究所
京ICP备05002829号-1
京公网安备1101080060号
地址:北京市海淀区中关村科学院南路6号 邮编:710119
电话:86-10-62601166 邮箱:
ictoffice@ict.ac.cn