| [1] |
李天然, 朴勇, 孔子涵. 一种面向软件成分分析的轻量化依赖分析方法[J]. 计算机工程, 2026, 52(9): 282-292. |
| [2] |
高林萍, 徐伟, 陈曦, 穆奕博, 张开. 基于QEMU的龙架构平台插桩软件[J]. 计算机工程, 2026, 52(8): 184-192. |
| [3] |
张俊娜, 王泓尊, 丁春涛. 后训练量化方法综述(特邀)[J]. 计算机工程, 2026, 52(1): 33-60. |
| [4] |
彭程炜, 杨晋吉, 杨光. SAP-AKA二次认证协议的形式化验证与改进[J]. 计算机工程, 2025, 51(6): 204-211. |
| [5] |
廖牛语, 田沄, 李岩松, 薛海峰, 杜长坤, 张国华. 大模型工具学习: 方法、作用与机制[J]. 计算机工程, 2025, 51(12): 1-17. |
| [6] |
李俊俊, 董建刚, 李坤. 基于Kubernetes的集群节能策略研究[J]. 计算机工程, 2024, 50(9): 82-91. |
| [7] |
刘阳, 张圣杰. 一种基于时间自动机的安全智能合约生成方法[J]. 计算机工程, 2023, 49(9): 137-143, 157. |
| [8] |
蒋楚, 王永杰. 一种基于表达式树的gadget语义分析技术[J]. 计算机工程, 2021, 47(1): 109-116. |
| [9] |
夏锐, 钱振江, 刘苇. 一种基于Isabelle/HOL的安全通信协议验证方法[J]. 计算机工程, 2021, 47(1): 146-153. |
| [10] |
李涛, 韩鹏, 侯冠东, 詹佳缘. 基于FPGA的ORUDP协议栈设计与实现[J]. 计算机工程, 2020, 46(6): 155-163. |
| [11] |
杨冯帆, 常劲帆, 王铮. 一种可实现高精度时间同步的数据传输方法[J]. 计算机工程, 2020, 46(2): 118-125,133. |
| [12] |
韩婷婷, 刘强, 孙延涛, 郭首江. 战术通信网中EIGRP路由协议的应用研究[J]. 计算机工程, 2020, 46(11): 214-222,230. |
| [13] |
胡文君,傅美君,潘文林. 基于Kaldi的普米语语音识别[J]. 计算机工程, 2018, 44(1): 199-205. |
| [14] |
李志敏,殷蓓蓓,张萍,王纪兵,王宾,张金鹏. 一种实时性缺陷定位方法及其可视化实现[J]. 计算机工程, 2017, 43(2): 111-119. |
| [15] |
李青,朱晓冉,郭建. AUTOSAR OS存储保护机制的形式化验证框架[J]. 计算机工程, 2017, 43(1): 79-85. |