CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
Petri nets-based method for component-interaction related hazard identification in computer-controlled systems 会议论文
2018 IEEE 15TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC), 2018-01-01
作者:  Zhu, Danjiang;  Yao, Shuzhen;  Wu, Ji
收藏  |  浏览/下载：7/0  |  提交时间：2019/12/30
Petri Nets-based method to elicit component-interaction related safety requirements in safety-critical systems 期刊论文
COMPUTERS & ELECTRICAL ENGINEERING, 2018, 卷号: 71, 页码: 162-172
作者:  Zhu, Danjiang;  Tan, Huobin;  Yao, Shuzhen
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/30
A Hazard Analysis Method for Software-Controlled Systems Based on System-Theoretic Accident Modeling and Process 会议论文
PROCEEDINGS OF 2018 IEEE 9TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2018-01-01
作者:  Zhu, Danjiang;  Yao, Shuzhen
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/30
Processor Design Space Exploration via Statistical Sampling and Semi-Supervised Ensemble Learning 期刊论文
IEEE ACCESS, 2018, 卷号: 6, 页码: 25495-25505
作者:  Li, Dandan;  Yao, Shuzhen;  Wang, Ying
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30
Cross-program Design Space Exploration by Ensemble Transfer Learning 会议论文
IEEE/ACM International Conference on Computer-Aided Design (ICCAD), Irvine, CA, 2017-11-13
作者:  Li, Dandan;  Yao, Shuzhen;  Wang, Senzhang;  Wang, Ying
收藏  |  浏览/下载：16/0  |  提交时间：2019/12/30
Efficient Design Space Exploration by Knowledge Transfer 会议论文
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Pittsburgh, PA, 2016-10-02
作者:  Li, Dandan;  Wang, Senzhang;  Yao, Shuzhen;  Liu, Yu-Hang;  Cheng, Yuanqi
收藏  |  浏览/下载：6/0  |  提交时间：2019/12/30
Multi-state systems reliability with composite importance measures of fuzzy petri nets 期刊论文
International Journal of Engineering Systems Modelling and Simulation, 2016, 卷号: 8, 页码: 255-263
作者:  Zhang, Xinju;  Yao, Shuzhen
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/30
Efficient Design Space Exploration via Statistical Sampling and AdaBoost Learning 会议论文
53rd ACM/EDAC/IEEE Design Automation Conference (DAC), Austin, TX, 2016-06-05
作者:  Li, Dandan;  Yao, Shuzhen;  Liu, Yu-Hang;  Wang, Senzhang;  Sun, Xian-He
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
Software Reliability Growth Model with Partial Differential Equation for Various Debugging Processes 期刊论文
MATHEMATICAL PROBLEMS IN ENGINEERING, 2016, 卷号: 2016
作者:  Xu, Jiajun;  Yao, Shuzhen
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
The New Method of Liveness Verification with Object-Oriented Timed Petri Nets 会议论文
2015 SEVENTH INTERNATIONAL CONFERENCE ON ADVANCED COMPUTATIONAL INTELLIGENCE (ICACI), 2015-01-01
作者:  Zhang, Xinju;  Yao, Shuzhen
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06

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