Page 4 - 《软件学报》2025年第9期
P. 4

Journal of Software                         Vol.36, No.9        Sep. 2025


                                                       Contents



                 SPECIAL TOPIC ON RISC-V SYSTEM SOFTWARE AND HARDWARE/SOFTWARE CO-DESIGN
                 TECHNOLOGY


                    3917       Preface
                            WU Yan-Jun, XIE Tao, HOU Rui, ZHANG Ke, SONG Wei, XING Ming-Jie
                    3919       Sequential Consistency Per Location Theorem Proving in RISC-V Memory Consistency Model
                            XU Xue-Zheng, YANG De-Heng, WANG Lu, WANG Tao, HUANG An-Wen, LI Qiong

                    3937       Hybrid Instruction Scheduling Algorithm for RISC-V VLIW Architecture
                            LI Yi-Jin, DU Shao-Min, ZHAO Jia-Cheng, WANG Xue-Ying, ZHA Yong-Quan, CUI Hui-Min
                    3954       Spike-FlexiCAS: RISC-V Processor Simulator Supporting Flexible Cache Architecture Configuration
                            HAN Jin-Chi, WANG Zhi-Dong, MA Hao, SONG Wei
                    3970       Lazy Shadow Paging Under the RISC-V Architecture
                            LI Chuan-Dong, YI Ran, LUO Ying-Wei, WANG Xiao-Lin, WANG Zhen-Lin

                    3985       Optimization Method for High-performance Libraries Targeting RISC-V Vector Extension
                            HAN Liu-Tong, ZHANG Hong-Bin, XING Ming-Jie, WU Yan-Jun, ZHAO Chen


                 SYSTEM SOFTWARE AND SOFTWARE ENGINEERING


                    4006       Research on Equivalence of Solidity to MSVL Conversion
                            WANG Xiao-Bing, CHANG Jia-Jun, LI Chun-Yi, YANG Xiao-Yu, ZHAO Liang
                    4036       Collaborative Bug Triaging Method Based on Multimodal Fusion
                            XIE Sheng-Long, LI Qing-Shan, DAI Jie, CUI Di


                 PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE


                    4056       Knowledge Graph Question Answering Based on Relevance Prompts
                            MA Jie, SUN Wang-Chun, WANG Ping-Hui, ZHANG Ruo-Fei, LI Shuai-Peng, SU Zhou

                    4072       Incremental-construction for Random Recurrent Neural Network
                            LI Wen-Yi, DAI Wei, NAN Jing, LIU Cong-Hu
                    4093       Neural Network Force Field Training Based on Reorganized Layer-wised Extended Kalman Filtering
                            HU Si-Yu, ZHOU Yuan-Chang, ZHAO Tong, WANG Lin-Wang, JIA Wei-Le, TAN Guang-Ming

                    4110       Efficient Framework for BERT Model Training Based on Federated Learning
                            WANG Xin-Ao, CHEN Ke, SHOU Li-Dan, LUO Xin-Yuan, CHEN Gang
                    4134       Robust Causal Discovery Algorithm Based on Enhanced Conditional Independence Tests
                            HAO Zhi-Feng, WANG Fei-Xia, CHEN Zheng-Ming, QIAO Jie, CAI Rui-Chu
                    4153       Method for Expanding Event Commonsense Knowledge Graph Based on Large Language Models
                            HUANG Qiao-Juan, CAO Cun-Gen, WANG Ya, WANG Shi

                    4187       Knowledge Distillation for Scene Text Detection via Mask Information Entropy Transfer
                            CHEN Jian-Wei, SHEN Ying-Long, YANG Fan, LAI Yong-Xuan
   1   2   3   4   5   6   7   8   9