机构

• 软件研究所 [7]
• 遥感与数字地球研究所 [2]
• 计算技术研究所 [1]
• 自动化研究所 [1]
• 半导体研究所 [1]

采集方式

• OAI收割 [12]

内容类型

• 学位论文 [6]
• 期刊论文 [6]

发表日期

• 2022 [1]
• 2018 [1]
• 2014 [1]
• 2012 [1]
• 2010 [1]
• 2009 [1]
• 更多

学科主题

• 微电子学 [1]
• 计算机科学技术::人... [1]

筛选

浏览/检索结果: 共12条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 基于知识图谱的事实核查增强方法研究 学位论文  OAI收割 中国科学院自动化研究所: 中国科学院自动化研究所, 2022 作者:  王帅   |  收藏  |   Assertion-Based Functional Verification of Reconfigurable System on Chip for Vision Applications 学位论文  OAI收割 北京: 中国科学院研究生院, 2018 作者:  VICTOR NSHUNGUYIMFURA   |  收藏  |   程序断言与切片技术在检测程序非崩溃错误中的应用 期刊论文  OAI收割 小型微型计算机系统, 2014, 卷号: 35, 期号: 8, 页码: 1699-1704 邓超强; 曾凡平; 张辉; 张震宇; 董齐兴   |  收藏  |   程序不变量到断言的自动转换方法研究及其应用 期刊论文  OAI收割 计算机应用与软件, 2012, 期号: 11, 页码: 177-180,189 邓超强; 曾凡平; 武飞; 熊能; 董齐兴   |  收藏  |   一种基于内部类的断言框架研究与实现 期刊论文  OAI收割 微计算机信息, 2010, 页码: 82-83+79 屈国栋; 李安; 张洪群 收藏  |   一种基于内部类的断言测试框架研究与实现 学位论文  OAI收割 硕士, 遥感卫星地面站: 中国科学院遥感卫星地面站, 2009 屈国栋 收藏  |   基于SAML2的单点登录服务器FAAS设计与实现 学位论文  OAI收割 硕士, 软件研究所: 中国科学院软件研究所, 2008 何绍建   |  收藏  |   基于SAML2的单点登录服务器FAAS的设计与实现 期刊论文  OAI收割 计算机工程与设计, 2008, 卷号: 29, 期号: 22, 页码: 5671-5674 何绍建; 秦晓; 何建波   |  收藏  |   基于EraSoC的模块级验证平台的设计 期刊论文  OAI收割 微电子学与计算机, 2008, 卷号: 25.0, 期号: 1.0, 页码: 181 作者:  龚艳丽;  张志敏;  傅亮   |  收藏  |   基于SAML的单点登录技术在Web服务中的应用研究 期刊论文  OAI收割 计算机工程与设计, 2005, 卷号: 26, 期号: 3 韩伟; 范植华   |  收藏  |