机构

• 软件研究所 [67]
• 数学与系统科学研究... [20]
• 计算技术研究所 [3]
• 中国科学院大学 [2]
• 合肥物质科学研究院 [2]
• 新疆理化技术研究所 [1]
• 更多

采集方式

• OAI收割 [93]
• iSwitch采集 [2]

内容类型

• 期刊论文 [65]
• 会议论文 [30]

发表日期

• 2021 [1]
• 2020 [2]
• 2019 [2]
• 2018 [4]
• 2017 [2]
• 2016 [4]
• 更多

学科主题

• Computer ... [10]
• Computer S... [3]
• Artificial... [1]
• Computer S... [1]
• Electrical... [1]
• Engineerin... [1]
• 更多

筛选

浏览/检索结果: 共95条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 On Modeling and Detecting Trojans in Instruction Sets 期刊论文  OAI收割 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   |  收藏  |  浏览/下载：5/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   Inference in a mixture additive hazards cure model 期刊论文  OAI收割 STATISTICS AND ITS INTERFACE, 2021, 卷号: 14, 期号: 3, 页码: 323-338 作者:  Han, Dongxiao;  He, Haijin;  Sun, Liuquan;  Song, Xinyuan;  Xu, Wei   |  收藏  |  浏览/下载：44/0  |  提交时间：2021/04/26 Additive hazards model  Cure model  Estimating equation  Logistic regression  Mixture  Model checking   Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors 期刊论文  OAI收割 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2020, 卷号: 39, 期号: 3, 页码: 714-727 作者:  Zhang, Ying;  Chakrabarty, Krishnendu   |  收藏  |  浏览/下载：43/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)   Design and model checking of timed automata oriented architecture for Internet of thing 期刊论文  OAI收割 INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2020, 卷号: 16, 期号: 5, 页码: 1-13 作者:  Chen, G (Chen, Guang)[ 1,2,3,4 ];  Jiang, TH (Jiang, Tonghai)[ 1,5 ];  Wang, M (Wang, Meng)[ 1,3,4 ];  Tang, XY (Tang, Xinyu)[ 1,3,4 ];  Ji, WF (Ji, Wenfei)[ 1,2,3,4 ]   |  收藏  |  浏览/下载：22/0  |  提交时间：2020/07/06 Internet of thing  architecture  timed automata  modeling  model checking  UPPAAL   ADDITIVE MEAN RESIDUAL LIFE MODEL WITH LATENT VARIABLES UNDER RIGHT CENSORING 期刊论文  OAI收割 STATISTICA SINICA, 2019, 卷号: 29, 期号: 1, 页码: 47-66 作者:  He, Haijin;  Pan, Deng;  Song, Xinyuan;  Sun, Liuquan   |  收藏  |  浏览/下载：63/0  |  提交时间：2019/03/05 Borrow-strength estimation  corrected estimating equations  distribution-free factor analysis  latent variables  mean residual life function  model checking   Fine-Gray proportional subdistribution hazards model for competing risks data under length-biased sampling 期刊论文  OAI收割 STATISTICS AND ITS INTERFACE, 2019, 卷号: 12, 期号: 1, 页码: 107-122 作者:  Zhang, Feipeng;  Peng, Heng;  Zhou, Yong   |  收藏  |  浏览/下载：46/0  |  提交时间：2019/12/13 Competing risks data  Length-biased sampling  Fine-Gray model  Model checking techniques   An Additive Hazards Model for Clustered Recurrent Gap Times 期刊论文  OAI收割 JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2018, 卷号: 31, 期号: 5, 页码: 1377-1390 作者:  Kang Fangyuan;  Sun Liuquan;  Cheng Ximing   |  收藏  |  浏览/下载：39/0  |  提交时间：2018/09/08 Additive hazards model  cluster  gap time  model checking  recurrent event   An embedded estimating equation for the additive risk model with biased-sampling data 期刊论文  OAI收割 SCIENCE CHINA-MATHEMATICS, 2018, 卷号: 61, 期号: 8, 页码: 1495-1518 作者:  Zhang, Feipeng;  Zhao, Xingqiu;  Zhou, Yong   |  收藏  |  浏览/下载：27/0  |  提交时间：2018/09/08 additive risk model  biased-sampling data  missing covariates  estimating equation  model checking   Evaluation of redundancy based system： a model checking approach 期刊论文  OAI收割 中国科学：信息科学（英文版）, 2018, 卷号: 061 作者:  Fang Ling;  Mu Chunyan;  Cheng Zhuo;  Li Guoqiang   |  收藏  |  浏览/下载：21/0  |  提交时间：2020/11/25 Evaluation  of  redundancy  a  model  checking  approach