CORC

在结果中检索

CORC

浏览/检索结果: 共47条，第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
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
A novel green software evaluation model for cloud robotics 期刊论文
COMPUTERS & ELECTRICAL ENGINEERING, 2017, 卷号: 63, 页码: 139-156
作者:  Hou, Gang;  Zhou, Kuanjiu;  Qiu, Tie;  Cao, Xun;  Li, Mingchu
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/03
Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach 会议论文
15th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2016, Okayama, Japan, June 26, 2016 - June 29, 2016
作者:  Zhang, Haitao;  Cheng, Zhuo;  Tian, Cong;  Lu, Yonggang;  Li, Guoqiang
收藏  |  浏览/下载：3/0  |  提交时间：2017/01/18
Verifying OSEK/VDX Applications: An Optimized SMT-based Bounded Model Checking Approach 会议论文
15th IEEE/ACIS International Conference on Computer and Information Science (ICIS), Okayama, JAPAN, JUN 26-29, 2016
作者:  Zhang, HT;  Cheng, Z;  Tian, C;  Lu, YG;  Li, GQ
收藏  |  浏览/下载：4/0  |  提交时间：2017/05/11
ROS中XML-RPC协议实现的形式化验证 期刊论文
小型微型计算机系统, 2015, 卷号: 36, 期号: 12, 页码: 2629-2633
贾娟娟; 施智平; 关永; 李勇坚; 魏洪兴
收藏  |  浏览/下载：47/0  |  提交时间：2016/12/09
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration(aEuro) 期刊论文
COMPUTER JOURNAL, 2015, 卷号: 58, 页码: 2824-2840
作者:  Kong, Weiqiang;  Liu, Leyuan;  Ando, Takahiro;  Yatsu, Hirokazu;  Hisazumi, Kenji
收藏  |  浏览/下载：13/0  |  提交时间：2019/12/09
Energy Consumption Analysis Method of CPS Software Based on Architecture Modeling 会议论文
Ninth International Conference on Frontier of Computer Science and Technology, Dalian, PEOPLES R CHINA, 2015-08-26
作者:  Hou Gang;  Ban Yinfeng;  Zhou Kuanjiu;  Wang Jie;  Li Mingchu
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/09
Compensation by design 期刊论文
Formal Aspects of Computing, 2014, 卷号: 26, 期号: 4, 页码: 623-676
Liu, Xi (1); Yang, Shaofa (2); Sanders, J.W. (3)
收藏  |  浏览/下载：10/0  |  提交时间：2014/12/16
Formal verification of a descent guidance control program of a lunar lander 会议论文
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Zhao, Hengjun (1); Yang, Mengfei (2); Zhan, Naijun (1); Gu, Bin (3); Zou, Liang (1); Chen, Yao (3)
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16

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