电脑体验，效果更佳

陈云霁图谱-计算机领域：

相关人员

马麟 张健 卫文丽 胡伟武 沈海华 高翔 王焕东

研究领域

体系结构 验证 E-CNF 龙芯3号 形式验证 模型检验 互联 VLSI

所属机构

中国科学院研究生院 中国科学院计算技术研究所 中国科学院计算技术研究所微处理器研究中心 中国科学院软件研究所计算机科学国家重点实... 中国科学院计算技术研究所微处理器技术研究... 中国科学院计算技术研究所计算机系统结构重...

标签云