研究院/所/中心/实验室 > 高可信软件技术教育部重点实验室 [1973]

Key Lab of High-Confidence Software Technology

Subscribe to this field to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
(Sorted by Submit Date in Descending order): 1 to 20 of 1973
Issue DateTitleAuthor(s)
May-2025CAFE plus : Towards Compact, Adaptive, and Fast Embedding for Large-scale Online Recommendation ModelsLiu, Zirui; Zhang, Hailin; Chen, Boxuan; Jiang, Zihan; Zhao, Yikai; Tao, Yangyu; Yang, Tong; Cui, Bin
19-Mar-2025移动应用GUI测试自动生成技术综述王博; 陈冲; 邓明; 董震; 林友芳; 郝丹
21-Mar-2025Dna coding theory and algorithmsXu, Jin; Liu, Wenbin; Zhang, Kai; Zhu, Enqiang
Mar-2025Bias behind the Wheel: Fairness Testing of Autonomous Driving SystemsLi, Xinyue; Chen, Zhenpeng; Zhang, Jie m.; Sarro, Federica; Zhang, Ying; Liu, Xuanzhe
Apr-2025An infrastructure software perspective toward computation offloading between executable specifications and foundation modelsRan, Dezhi; Wu, Mengzhou; Cao, Yuan; Marron, Assaf; Harel, David; Xie, Tao
Jan-2025SAGA: Summarization-Guided Assert Statement GenerationZhang, Yu-Wei; Jin, Zhi; Wang, Ze-Jun; Xing, Ying; Li, Ge
Jan-2025Coverage-Based Fault Localization in HaskellLi, Feng; Wang, Guo-Qing; Wang, Meng; Hao, Dan
21-Mar-2025Protocol for processing multivariate time-series electronic health records of COVID-19 patientsWang, Zixiang; Zhu, Yinghao; Sui, Dehao; Wang, Tianlong; Zhang, Yuntao; Wang, Yasha; Pan, Chengwei; Gao, Junyi; Ma, Liantao; Wang, Ling; Zhang, Xiaoyun
Feb-2025CodeScore: Evaluating Code Generation by Learning Code ExecutionDong, Yihong; Ding, Jiazheng; Jiang, Xue; Li, Ge; Li, Zhuo; Jin, Zhi
Apr-2025EdgeLLM: Fast On-Device LLM Inference With Speculative DecodingXu, Daliang; Yin, Wangsong; Zhang, Hao; Jin, Xin; Zhang, Ying; Wei, Shiyun; Xu, Mengwei; Liu, Xuanzhe
May-2025Efficient and scalable huge embedding model training via distributed cache managementMiao, Xupeng; Zhang, Hailin; Shi, Yining; Nie, Xiaonan; Yang, Zhi; Tao, Yangyu; Jiang, Jie; Cui, Bin
May-2025Exploring the potential of general purpose LLMs in automated software refactoring: an empirical studyLiu, Bo; Jiang, Yanjie; Zhang, Yuxia; Niu, Nan; Li, Guangjie; Liu, Hui
11-Jul-2024复杂嵌入式系统需求一致性的组合验证方法杨晓; 王小齐; 陈小红; 金芝
14-Mar-2025An infrastructure software perspective toward computation offloading between executable specifications and foundation modelsDezhi RAN; Mengzhou WU; Yuan CAO; Assaf MARRON; David HAREL; Tao XIE
2025Redactable Blockchain From Decentralized Chameleon Hash Functions, RevisitedLi,Cong; Shen,Qingni; Wu,Zhonghai
2025Multi-view Riemannian Manifolds Fusion Enhancement for Knowledge Graph CompletionLi,Linyu; Jin,Zhi; Zhang,Xuan; Duan,Haoran; Wang,Jishu; Tao,Zhengwei; Zhao,Haiyan; Zhu,Xiaofeng
20-Nov-2024Efficient Federated Learning Using Dynamic Update and Adaptive Pruning with Momentum on Shared Server Data(Open Access)Liu,Ji; Jia,Juncheng; Zhang,Hong; Yun,Yuhui; Wang,Leye; Zhou,Yang; Dai,Huaiyu; Dou,Dejing
2025MmRotation: Unlocking Versatility of a Single mmWave Radar via Horizontal Mobility and Azimuthal RotationZhang,Duo; Zhang,Xusheng; Yin,Zhehui; Xie,Yaxiong; Wei,Hewen; Chang,Zhaoxin; Li,Wenwei; Zhang,Daqing
2024Mutual Evidential Deep Learning for Semi-supervised Medical Image SegmentationHe,Yuanpeng; Bi,Yali; Li,Lijian; Pun,Chi-Man; Jiao,Wenpin; Jin,Zhi
2024Efficient Prototype Consistency Learning in Semi-Supervised Medical Image Segmentation via Joint Uncertainty and Data AugmentatiLi,Lijian; He,Yuanpeng; Pun,Chi-Man
(Sorted by Submit Date in Descending order): 1 to 20 of 1973