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

中国精品科技期刊

                 2013 年全国百强科技期刊   2015 年全国百强科技期刊   中国精品科技期刊        中国计算机学会会刊



                          软  件  学  报                                         第  36 卷第    9 期

                                                                               2025 年  9 月
                             (Ruanjian Xuebao)


                                                        目 次


                 RISC-V  系统软件及软硬协同技术专题

                 RISC-V  系统软件及软硬协同技术专题前言 ······························································································

                 ································································· 武延军 谢 涛 侯 锐 张 科 宋 威 邢明杰  (3917)
                 RISC-V  内存一致性模型的同地址顺序一致性定理证明 ···········································································

                 ································································· 徐学政 杨德亨 王 璐 王 涛 黄安文 李 琼  (3919)
                 基于  RISC-V VLIW  架构的混合指令调度算法 ··························································································
                 ································································· 李奕瑾 杜绍敏 赵家程 王雪莹 查永权 崔慧敏  (3937)

                 Spike-FlexiCAS: 支持缓存架构灵活配置的 RISC-V 处理器模拟器 ···························································
                 ······························································································· 韩金池 王智栋 马 浩 宋 威  (3954)
                 RISC-V  架构下的懒惰影子页表模型 ····················· 李传东 衣 然 罗英伟 汪小林 王振林  (3970)

                 面向  RISC-V  向量扩展的高性能算法库优化方法 ·····················································································
                 ················································································ 韩柳彤 张洪滨 邢明杰 武延军 赵 琛  (3985)


                 系统软件与软件工程

                 Solidity  到  MSVL  转换的等价性研究 ····················· 王小兵 常家俊 李春奕 杨潇钰 赵 亮  (4006)

                 基于多模态融合的软件缺陷协同分派方法 ··························· 谢生龙 李青山 歹 杰 崔 笛  (4036)

                 模式识别与人工智能


                 基于相关性提示的知识图谱问答 ············ 马 杰 孙望淳 王平辉 张若非 李帅鹏 苏 洲  (4056)

                 增量构造式随机循环神经网络 ·············································· 李文艺 代 伟 南 静 刘从虎  (4072)
                 基于层重组扩展卡尔曼滤波的神经网络力场训练 ·····················································································
                 ································································· 胡思宇 周远昌 赵 曈 汪林望 贾伟乐 谭光明  (4093)

                 基于联邦学习的       BERT  模型高效训练框架 ············ 王鑫澳 陈 珂 寿黎但 骆歆远 陈 刚  (4110)
   1   2   3   4   5   6   7