机构

• 软件研究所 [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   |  收藏  |   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   |  收藏  |   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.   |  收藏  |   过活动断裂隧洞抗错断适应性结构响应分析 期刊论文  OAI收割 长江科学院院报, 2022, 卷号: 39, 期号: 12, 页码: 90 作者:  崔臻;  张延杰;  周光新;  谢静;  王义深   |  收藏  |   Modeling Inter-Claim Interactions for Verifying Multiple Claims 会议论文  OAI收割 线上, 2021年11月 作者:  Wang S(王帅);  Mao WJ(毛文吉)   |  收藏  |   Ensuring the Correctness of Regular Expressions: A Review 期刊论文  OAI收割 International Journal of Automation and Computing, 2021, 卷号: 18, 期号: 4, 页码: 521-535 作者:  Li-Xiao Zheng   |  收藏  |   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   |  收藏  |   A KG-based Enhancement Framework for Fact Checking Using Category Information 会议论文  OAI收割 线上, 2020年11月 作者:  Wang S(王帅);  Wang L(王磊);  Mao WJ(毛文吉)   |  收藏  |   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   |  收藏  |   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   |  收藏  |