消息
×
loading..
中文版 | English

在结果中检索

KMS

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

已选(0)清除 条数/页：   排序方式：
Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks 会议论文
FORMAL METHODS, PT II, FM 2024, null,Milan,ITALY, SEP 09-13, 2024
作者:  Tan, Huiyu;  Yang, Xi;  Song, Fu;  Chen, Taolue;  Wu, Zhilin
Adobe PDF(595Kb)  |  收藏  |  浏览/下载：318/1  |  提交时间：2024/10/11
Coverage Goal Selector for Combining Multiple Criteria in Search-Based Unit Test Generation 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 卷号: PP, 期号: 99, 页码: 1-28
作者:  Zhou, Zhichao;  Zhou, Yuming;  Fang, Chunrong;  Chen, Zhenyu;  Luo, Xiapu
Adobe PDF(4372Kb)  |  收藏  |  浏览/下载：400/61  |  提交时间：2024/03/08
Noncontact Heartbeat and Respiratory Signal Separation Using a Sub 6 GHz SDR Micro-Doppler Radar 期刊论文
IEEE JOURNAL OF ELECTROMAGNETICS, RF AND MICROWAVES IN MEDICINE AND BIOLOGY, 2024, 卷号: PP, 期号: 99, 页码: 1-13
作者:  Ma, Chao;  Shi, Quan;  Hua, Bing;  Zhang, Yongwei;  Xu, Zhihuo
Adobe PDF(7043Kb)  |  收藏  |  浏览/下载：226/0  |  提交时间：2024/05/11
ORDER MATTERS: AGENT-BY-AGENT POLICY OPTIMIZATION 会议论文
11TH INTERNATIONAL CONFERENCE ON LEARNING REPRESENTATIONS, ICLR 2023, Kigali, Rwanda, May 1, 2023 - May 5, 2023
作者:  Wang, Xihuai;  Tian, Zheng;  Wan, Ziyu;  Wen, Ying;  Wang, Jun
收藏  |  浏览/下载：116/0  |  提交时间：2024/08/09
The SLAM Hive Benchmarking Suite 会议论文
IEEE CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA) 2023, London, May 29, 2023 - June 2, 2023
作者:  Yuanyuan Yang;  Bowen Xu;  Yinjie Li;  Sören Schwertfeger
Adobe PDF(328Kb)  |  收藏  |  浏览/下载：372/5  |  提交时间：2023/05/23
Group Testing With Side Information via Generalized Approximate Message Passing 会议论文
IEEE TRANSACTIONS ON SIGNAL PROCESSING
作者:  Cao, Shu-Jie;  Goenka, Ritesh;  Wong, Chau-Wai;  Rajwade, Ajit;  Baron, Dror
Adobe PDF(1596Kb)  |  收藏  |  浏览/下载：488/186  |  提交时间：2023/07/28
Distributed MPC with ALADIN—A Tutorial 会议论文
2022 AMERICAN CONTROL CONFERENCE (ACC), Atlanta, GA, USA, 8-10 June 2022
作者:  Houska, Boris;  Shi, Jiahe
Adobe PDF(288Kb)  |  收藏  |  浏览/下载：1234/206  |  提交时间：2022/10/14
Joint Task Offloading and Caching for Massive MIMO-Aided Multi-Tier Computing Networks 会议论文
IEEE TRANSACTIONS ON COMMUNICATIONS
作者:  Wang, Kunlun;  Chen, Wen;  Li, Jun;  Yang, Yang;  Hanzo, Lajos
Adobe PDF(903Kb)  |  收藏  |  浏览/下载：843/244  |  提交时间：2022/05/13
Formal Verification of Masking Countermeasures for Arithmetic Programs 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2022, 卷号: PP, 期号: 99, 页码: 1
作者:  Gao Pengfei;  Xie Hongyi;  Pu Sun;  Jun Zhang;  Fu Song
Adobe PDF(1214Kb)  |  收藏  |  浏览/下载：967/1  |  提交时间：2020/07/22
BORA: a bag optimizer for robotic analysis 会议论文
SC '20: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING NETWORKING, STORAGE AND ANALYSIS, Atlanta, GA, USA, 9-19 Nov. 2020
作者:  Jian Zhang;  Tao Xie;  Yuzhuo Jing;  Yanjie Song;  Guanzhou Hu
Adobe PDF(4537Kb)  |  收藏  |  浏览/下载：1270/247  |  提交时间：2020/12/07
  • 首页
  • 上一页
  • 1
  • 2
  • 下一页
  • 末页