中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
On Modeling and Detecting Trojans in Instruction Sets 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 卷号: 43, 期号: 10, 页码: 3226-3239
作者:  Zhang, Ying;  He, Aodi;  Li, Jiaying;  Rezine, Ahmed;  Peng, Zebo;  Larsson, Erik;  Yang, Tao;  Jiang, Jianhui;  Li, Huawei
收藏  |  浏览/下载：71/0  |  提交时间：2024/12/06
Trojan horses  Security  Program processors  Companies  Inspection  Hardware security  Reverse engineering  Deep test for security  hidden instruction Trojan (HIT)  unbounded model checking (UMC)  VLSI test  
An Intelligent Secure Fault Classification and Identification Scheme for Mining Valuable Information in IIoT 期刊论文
IEEE SYSTEMS JOURNAL, 2024, 页码: 12
作者:  Zhang, Ying;  Zhang, Wenyuan;  Jiang, Xiaoyu;  Sun, Yuzhong;  Feng, Baiming;  Xiong, Naixue;  Wo, Tianyu
收藏  |  浏览/下载：71/0  |  提交时间：2024/12/06
Industrial Internet of Things  Vectors  Pattern matching  Fault diagnosis  Fault detection  Feature extraction  Source coding  Abnormal detection  Industrial Internet of Things (IIoT)  log mining  security  S-Kmeans  
The Simulated Source Apportionment of Light Absorbing Aerosols: Effects of Microphysical Properties of Partially-Coated Black Carbon 期刊论文
JOURNAL OF GEOPHYSICAL RESEARCH-ATMOSPHERES, 2023, 卷号: 128, 期号: 10, 页码: 20
作者:  Luo, Jie;  Li, Zhengqiang;  Qiu, Jibing;  Zhang, Ying;  Fan, Cheng;  Li, Li;  Wu, Hailing;  Zhou, Peng;  Li, Kaitao;  Zhang, Qixing
收藏  |  浏览/下载：82/0  |  提交时间：2023/12/04
source apportionment  light absorbing aerosols  microphysical properties  black carbon  
Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2023, 卷号: 38, 期号: 2, 页码: 405-421
作者:  Zhang, Ying;  Ji, Peng-Fei;  Zhu, Pan-Wei;  Peng, Zebo;  Li, Hua-Wei;  Jiang, Jian-Hui
收藏  |  浏览/下载：106/0  |  提交时间：2023/12/04
software-based self-testing (SBST)  parallel test  kilo-core networks-on-chip (NoCs)  online testing  
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;  Eles, Petru;  Jiang, Jianhui
收藏  |  浏览/下载：131/0  |  提交时间：2020/12/10
Circuit faults  Built-in self-test  Out of order  Model checking  Integrated circuit modeling  Bounded model checking (BMC)  online testing  out-of-order superscalar processors  software-based self-testing (SBST)  
Selected Transition Time Adjustment for Tolerating Crosstalk Effects on Network-on-Chip Interconnects 期刊论文
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2011, 卷号: 19, 期号: 10, 页码: 1787-1800
作者:  Zhang, Ying;  Li, Huawei;  Min, Yinghua;  Li, Xiaowei
收藏  |  浏览/下载：158/0  |  提交时间：2019/12/16
Crosstalk  crosstalk tolerance  interconnects  network-on-chip (NOC)  
Selected Crosstalk Avoidance Code for Reliable Network-on-Chip 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, 卷号: 24, 期号: 6, 页码: 1074-1085
作者:  Zhang, Ying;  Li, Hua-Wei;  Li, Xiao-Wei
收藏  |  浏览/下载：113/0  |  提交时间：2019/12/16
crosstalk avoidance  codeword selection  reliable network-on-chip  single event upset