CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2020, 卷号: 39, 期号: 3, 页码: 714-727
作者:  Zhang, Ying;  Chakrabarty, Krishnendu;  Peng, Zebo;  Rezine, Ahmed;  Li, Huawei
收藏  |  浏览/下载：16/0  |  提交时间：2020/12/10
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
Fine-Gray proportional subdistribution hazards model for competing risks data under length-biased sampling 期刊论文
STATISTICS AND ITS INTERFACE, 2019, 卷号: 12, 期号: 1, 页码: 107-122
作者:  Zhang, Feipeng;  Peng, Heng;  Zhou, Yong
收藏  |  浏览/下载：38/0  |  提交时间：2019/12/13
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates 期刊论文
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 卷号: 16, 页码: 19
作者:  Huang, Chao;  Chen, Xin;  Lin, Wang;  Yang, Zhengfeng;  Li, Xuandong
收藏  |  浏览/下载：8/0  |  提交时间：2018/07/30
Determination of the vapor-liquid transition of square-well particles using a novel generalized-canonical-ensemble-based method 期刊论文
Chinese physics b, 2017, 卷号: 26, 期号: 6, 页码: 6
作者:  Zhao, Liang;  Xu, Shun;  Tu, Yu-Song;  Zhou, Xin
收藏  |  浏览/下载：17/0  |  提交时间：2019/05/09
Mining Contiguous Sequential Generators in Biological Sequences 期刊论文
IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, 2016, 卷号: 13, 期号: 5, 页码: 855-867
作者:  Zhang, Jingsong;  Wang, Yinglin;  Zhang, Chao;  Shi, Yongyong
收藏  |  浏览/下载：5/0  |  提交时间：2019/08/22
可组合嵌入式软件建模与验证技术研究综述 期刊论文
2016, 2016
王博; 白晓颖; 贺飞; Xiaoyu SONG; WANG Bo; BAI Xiao-Ying; HE Fei; Xiaoyu SONG
收藏  |  浏览/下载：5/0
一个高效BDD的简洁实现 期刊论文
2016, 2016
苏开乐; 吕关锋; 宋炯; SU Kai-Le; LV Guan-Feng; SONG Jiong
收藏  |  浏览/下载：3/0
Model checking quantum key distribution protocols 会议论文
作者:  Huang, Baichuan;  Huang, Yan;  Kong, Jiaming;  Huang, Xin
收藏  |  浏览/下载：10/0  |  提交时间：2019/11/26
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes 期刊论文
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2016, 卷号: 25, 期号: 3
He, F; Gao, XW; Wang, MF; Wang, BY; Zhang, LJ
收藏  |  浏览/下载：13/0  |  提交时间：2016/12/09

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