中国科学院计算技术研究所机构知识库

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

帮助

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序WOS被引频次升序WOS被引频次降序提交时间升序提交时间降序期刊影响因子升序期刊影响因子降序题名升序题名降序发表日期升序发表日期降序
	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 收藏  |  浏览/下载：1/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
	Accurate reliability analysis methods for approximate computing circuits 期刊论文 TSINGHUA SCIENCE AND TECHNOLOGY, 2022, 卷号: 27, 期号: 4, 页码: 729-740 作者:  Wang, Zhen;  Zhang, Guofa;  Ye, Jing;  Jiang, Jianhui;  Li, Fengyong;  Wang, Yong 收藏  |  浏览/下载：40/0  |  提交时间：2022/06/21 Reliability  Integrated circuit reliability  Correlation  Probability  Approximate computing  Integrated circuit modeling  Circuit faults  Approximate Computing Circuit (ACC)  correlation coefficient  iterative Probabilistic Transfer Matrix (PTM)  reliability
	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 收藏  |  浏览/下载：60/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)
	基于信号跳变时间可调整的容错路由器 期刊论文 同济大学学报：自然科学版, 2015, 卷号: 43.0, 期号: 002, 页码: 305 作者:  张颖;  江建慧;  李华伟;  李晓维 收藏  |  浏览/下载：13/0  |  提交时间：2023/12/04 容错路由器  信号跳变时间可调整（STTA）  总线串扰效应  单事件翻转（SEU）  双内锁单元（DICE）
	无权访问的条目 期刊论文 作者:  王 真;  江建慧;  员春欣 Adobe PDF(443Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/10/12
	高性能处理器的差错校正技术 期刊论文 计算机研究与发展, 2008, 卷号: 45.0, 期号: 002, 页码: 358 作者:  王真;  江建慧;  员春欣 收藏  |  浏览/下载：13/0  |  提交时间：2023/12/04 高性能处理器  差错校正  差错控制码  冗余  重构
	一种用于双模冗余系统的健壮故障安全接口 期刊论文 同济大学学报：自然科学版, 2002, 卷号: 30.0, 期号: 010, 页码: 1164 作者:  江建慧;  闵应骅;  彭澄廉 收藏  |  浏览/下载：11/0  |  提交时间：2023/12/04 双模冗余系统  健壮故障安全接口  纠错  差错定位  双模冗余结构  差错检测  故障安全系统