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

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 1819
Issue DateTitleAuthor(s)
9-Jul-2024A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway SystemsChen, Xiaohong; Jin, Zhi; Zhang, Min; Mallet, Frederic; Liu, Xiaoshan; Zhou, Tingliang
Aug-2024Improving Automatic Parallel Training via Balanced Memory Workload OptimizationWang, Yujie; Jiang, Youhe; Miao, Xupeng; Fu, Fangcheng; Zhu, Shenhan; Nie, Xiaonan; Tu, Yaofeng; Cui, Bin
Jul-2024On the Security of Secure Keyword Search and Data Sharing Mechanism for Cloud ComputingLi, Cong; Feng, Xinyu; Shen, Qingni; Wu, Zhonghai
Jun-2024Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic ParadigmsJi, Ruyi; Zhao, Yuwei; Xiong, Yingfei; Wang, Di; Zhang, Lu; Hu, Zhenjiang
2024Hot or Cold? Adaptive Temperature Sampling for Code Generation with Large Language ModelsZhu, Yuqi; Li, Jia; Li, Ge; Zhao, YunFei; Li, Jia; Jin, Zhi; Mei, Hong
2024A Learnable Discrete-Prior Fusion Autoencoder with Contrastive Learning for Tabular Data SynthesisZhang, Rongchao; Lou, Yiwei; Xu, Dexuan; Cao, Yongzhi; Wang, Hanpin; Huang, Yu
2024Accelerating Text-to-Image Editing via Cache-Enabled Sparse Diffusion InferenceYu, Zihao; Li, Haoyang; Fu, Fangcheng; Miao, Xupeng; Cui, Bin
2024Data-Augmented Curriculum Graph Neural Architecture Search under Distribution ShiftsYao, Yang; Wang, Xin; Qin, Yijian; Zhang, Ziwei; Zhu, Wenwu; Mei, Hong
2023Model-enhanced Vector IndexZhang, Hailin; Wang, Yujing; Chen, Qi; Chang, Ruiheng; Zhang, Ting; Miao, Ziming; Hou, Yingyan; Ding, Yang; Miao, Xupeng; Wang, Haonan; Pang, Bochen; Zhan, Yuefeng; Sun, Hao; Deng, Weiwei; Zhang, Qi; Yang, Fan; Xie, Xing; Yang, Mao; Cui, Bin
2023Learning Few-shot Sample-set Operations for Noisy Multi-label Aspect Category DetectionShimanZhao; WeiChen; TengjiaoWang
2023OSDP: Optimal Sharded Data Parallel for Distributed Deep LearningJiang, Youhe; Fu, Fangcheng; Miao, Xupeng; Nie, Xiaonan; Cui, Bin
3-Mar-2024面向鲁棒图结构防御的过参数化图神经网络初旭; 马辛宇; 林阳; 王鑫; 王亚沙; 朱文武; 梅宏
22-Aug-2024Deep learning for code generation: a surveyHuangzhao ZHANG; Kechi ZHANG; Zhuo LI; Jia LI; Jia LI; Yongmin LI; Yunfei ZHAO; Yuqi ZHU; Fang LIU; Ge LI; Zhi JIN
6-Mar-2024流域人居系统科学的框架探索与研究展望汪芳; 刘永; 贺金生; 胡燮; 覃栎; 王乐业
31-May-2024DeepScaling: Autoscaling Microservices With Stable CPU Utilization for Large Scale Production Cloud SystemsWang, Ziliang; Zhu, Shiyi; Li, Jianguo; Jiang, Wei; Ramakrishnan, K. K.; Yan, Meng; Zhang, Xiaohong; Liu, Alex X.
Aug-2024Residual Feature-Reutilization Inception NetworkHe, Yuanpeng; Song, Wenjie; Li, Lijian; Zhan, Tianxiang; Jiao, Wenpin
Jul-2024Research artifacts in software engineering publications: Status and trends*Liu, Mugeng; Huang, Xiaolong; He, Wei; Xie, Yibing; Zhang, Jie M.; Jing, Xiang; Chen, Zhenpeng; Ma, Yun
Jun-2024A differentiable first-order rule learner for inductive logic programmingGao, Kun; Inoue, Katsumi; Cao, Yongzhi; Wang, Hanpin
Apr-2024Learning Abstraction Selection for Bayesian Program AnalysisZhang, Yifan; Shi, Yuanfeng; Zhang, Xin
Apr-2024Newtonian Program Analysis of Probabilistic ProgramsWang, Di; Reps, Thomas
(Sorted by Submit Date in Descending order): 1 to 20 of 1819