机构

• 软件研究所 [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 作者:  王帅   |  收藏  |  浏览/下载：138/0  |  提交时间：2022/06/13 事实核查  增强表示学习  领域知识结构  多断言语义组合  语义交互增强   Assertion-Based Functional Verification of Reconfigurable System on Chip for Vision Applications 学位论文  OAI收割 北京: 中国科学院研究生院, 2018 作者:  VICTOR NSHUNGUYIMFURA   |  收藏  |  浏览/下载：13/0  |  提交时间：2018/06/01 断言  视觉芯片  Abv  功能验证  覆盖率  激励  缺陷  仿真   程序断言与切片技术在检测程序非崩溃错误中的应用 期刊论文  OAI收割 小型微型计算机系统, 2014, 卷号: 35, 期号: 8, 页码: 1699-1704 邓超强; 曾凡平; 张辉; 张震宇; 董齐兴   |  收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16 断言  切片  程序执行监测  非崩溃错误   程序不变量到断言的自动转换方法研究及其应用 期刊论文  OAI收割 计算机应用与软件, 2012, 期号: 11, 页码: 177-180,189 邓超强; 曾凡平; 武飞; 熊能; 董齐兴   |  收藏  |  浏览/下载：7/0  |  提交时间：2013/09/17 程序不变量  断言  回归测试  错误识别  测试用例集合约简   一种基于内部类的断言框架研究与实现 期刊论文  OAI收割 微计算机信息, 2010, 页码: 82-83+79 屈国栋; 李安; 张洪群 收藏  |  浏览/下载：40/0  |  提交时间：2015/01/04 断言  测试  规格语言  Java   一种基于内部类的断言测试框架研究与实现 学位论文  OAI收割 硕士, 遥感卫星地面站: 中国科学院遥感卫星地面站, 2009 屈国栋 收藏  |  浏览/下载：23/0  |  提交时间：2014/12/08 软件测试  自动化测试  断言测试  单元测试  Java   基于SAML2的单点登录服务器FAAS设计与实现 学位论文  OAI收割 硕士, 软件研究所: 中国科学院软件研究所, 2008 何绍建   |  收藏  |  浏览/下载：9/0  |  提交时间：2011/03/17 单点登录  面向服务的架构  安全断言标记语言集中认证授权服务器   基于SAML2的单点登录服务器FAAS的设计与实现 期刊论文  OAI收割 计算机工程与设计, 2008, 卷号: 29, 期号: 22, 页码: 5671-5674 何绍建; 秦晓; 何建波   |  收藏  |  浏览/下载：21/0  |  提交时间：2010/08/25 单点登录  面向服务的架构  安全断言标记语言  集中认证授权服务器  身份提供者  服务提供者   基于EraSoC的模块级验证平台的设计 期刊论文  OAI收割 微电子学与计算机, 2008, 卷号: 25.0, 期号: 1.0, 页码: 181 作者:  龚艳丽;  张志敏;  傅亮   |  收藏  |  浏览/下载：0/0  |  提交时间：2023/12/04 事务验证平台  功能覆盖率  断言  约束随机   基于SAML的单点登录技术在Web服务中的应用研究 期刊论文  OAI收割 计算机工程与设计, 2005, 卷号: 26, 期号: 3 韩伟; 范植华   |  收藏  |  浏览/下载：14/0  |  提交时间：2010/08/20 单点登录  安全断言标记语言  Web服务