CORC

在结果中检索

CORC

浏览/检索结果: 共19条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
Design of Embedded Ai Engine Based on the Microkernel Operating System 期刊论文
WIRELESS COMMUNICATIONS & MOBILE COMPUTING, 2022, 卷号: 2022, 页码: 9
作者:  Wang, Tun;  Tian, Yu
收藏  |  浏览/下载：21/0  |  提交时间：2023/02/07
Evaluating and Constraining Hardware Assertions with Absent Scenarios 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2020, 卷号: 35, 期号: 5, 页码: 1198-1216
作者:  Chao, Hui-Na;  Li, Hua-Wei;  Song, Xiaoyu;  Wang, Tian-Cheng;  Li, Xiao-Wei
收藏  |  浏览/下载：20/0  |  提交时间：2021/12/01
A Survey of Formal Techniques for Hardware/Software Co-verification 会议论文
7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018, Yonago, Japan, 2018-07-08
作者:  Liu, Kun;  Kong, Weiqiang;  Hou, Gang;  Fukuda, Akira
收藏  |  浏览/下载：14/0  |  提交时间：2019/12/02
A Survey of Formal Techniques for Hardware/Software Co-Verification 会议论文
the 7th International Congress on Advanced Applied Informatics (IIAI-AAI 2018)
作者:  Liu K(刘琨);  Kong WQ(孔维强);  Hou G(侯刚);  Akira Fukuda
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/02
基于公式学习的循环不变式的推导 学位论文
硕士, 北京: 中国科学院研究生院, 2014
哈晓琳
收藏  |  浏览/下载：18/0  |  提交时间：2014/06/06
A vertex centric parallel algorithm for linear temporal logic model checking in Pregel 期刊论文
Journal of Parallel and Distributed Computing, 2014, 卷号: 74, 期号: 11, 页码: 3161-3174
Xie, Miao (1); Yang, Qiusong (1); Zhai, Jian (1); Wang, Qing (1)
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16
基于带赋值符号迁移图的Monte Carlo模型检测 学位论文
硕士, 北京: 中国科学院研究生院, 2012
马明
收藏  |  浏览/下载：16/0  |  提交时间：2012/06/13
Design of an ASIC verification system with dual PCI interface 期刊论文
2010, 2010
He Yan; Li Shu-guo; Yang Xing-zi
收藏  |  浏览/下载：2/0
Research on SoC prototype verification technology 期刊论文
2010, 2010
Ma Feng-xiang; Sun Yi-he
收藏  |  浏览/下载：2/0
Extension and verification of Petri-net models 期刊论文
2010, 2010
Jiang Yang; Luo Gui-ming
收藏  |  浏览/下载：2/0

©版权所有 ©2017 CSpace - Powered by CSpace