机构

• 软件研究所 [76]
• 数学与系统科学研究... [22]
• 计算技术研究所 [6]
• 长春光学精密机械与物... [5]
• 自动化研究所 [5]
• 地理科学与资源研究所 [2]
• 更多

采集方式

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

内容类型

• 期刊论文 [80]
• 会议论文 [42]
• 学位论文 [1]

发表日期

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

学科主题

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

筛选

浏览/检索结果: 共123条，第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   |  收藏  |  浏览/下载：11/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   Misconfiguration-Free Compositional SDN for Cloud Networks 期刊论文  OAI收割 IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2023, 卷号: 20, 期号: 3, 页码: 2484-2499 作者:  Pan, Heng;  Li, Zhenyu;  Zhang, Penghao;  Cui, Penglai;  Salamatian, Kave   |  收藏  |  浏览/下载：21/0  |  提交时间：2023/12/04 Law enforcement  Cloud computing  Programming  Pattern matching  Behavioral sciences  Optimization  Monitoring  IaaS cloud networks  misconfiguration checking  policy management  compositional SDN   Knowledge structure driven prototype learning and verification for fact checking 期刊论文  OAI收割 KNOWLEDGE-BASED SYSTEMS, KNOWLEDGE-BASED SYSTEMS, 2022, 2022, 卷号: 238, 238, 页码: 10, 10 作者:  Wang, Shuai;  Mao, Wenji;  Wei, Penghui;  Zeng, Daniel D.   |  收藏  |  浏览/下载：38/0  |  提交时间：2022/06/10 Fact checking  Fact checking  Knowledge structure  Hierarchical prototype learning  Relation enhancement  Verification  Knowledge structure  Hierarchical prototype learning  Relation enhancement  Verification   过活动断裂隧洞抗错断适应性结构响应分析 期刊论文  OAI收割 长江科学院院报, 2022, 卷号: 39, 期号: 12, 页码: 90 作者:  崔臻;  张延杰   |  收藏  |  浏览/下载：1/0  |  提交时间：2025/06/27 water conveyance tunnel  active fault  anti-dislocation design  strike slip fault  checking  输水隧洞  活动断裂  抗错断设计  走滑断层  校核   Modeling Inter-Claim Interactions for Verifying Multiple Claims 会议论文  OAI收割 线上, 2021年11月 作者:  Wang S(王帅);  Mao WJ(毛文吉)   |  收藏  |  浏览/下载：28/0  |  提交时间：2022/07/01 fact checking knowledge graph   Ensuring the Correctness of Regular Expressions: A Review 期刊论文  OAI收割 International Journal of Automation and Computing, 2021, 卷号: 18, 期号: 4, 页码: 521-535 作者:  Li-Xiao Zheng   |  收藏  |  浏览/下载：29/0  |  提交时间：2021/07/20 Regular expressions  correctness  string generation  learning  static checking  verification  visualization, repairing   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   |  收藏  |  浏览/下载：50/0  |  提交时间：2021/04/26 Additive hazards model  Cure model  Estimating equation  Logistic regression  Mixture  Model checking   A KG-based Enhancement Framework for Fact Checking Using Category Information 会议论文  OAI收割 线上, 2020年11月 作者:  Wang S(王帅);  Wang L(王磊);  Mao WJ(毛文吉)   |  收藏  |  浏览/下载：21/0  |  提交时间：2022/07/01 fact checking knowledge graph   Error checking of large land quality databases through data mining based on low frequency associations 期刊论文  OAI收割 LAND DEGRADATION & DEVELOPMENT, 2020, 页码: 10 作者:  Qiu, Xiao-Qian;  Zhu, A-Xing;  Hu, Yue-Ming;  Guo, Yu-Bin;  Shen, Xiao-Wen   |  收藏  |  浏览/下载：28/0  |  提交时间：2021/03/18 data mining  error checking  land quality assessment  land quality database  low-frequency data associations   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;  Peng, Zebo;  Rezine, Ahmed;  Li, Huawei   |  收藏  |  浏览/下载：52/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)