| [1] |
王梓, 王洪强, 杨晓艺, 兰雨晴. 操作系统形式规约与验证综述[J]. 计算机工程, 2026, 52(2): 24-45. |
| [2] |
苏珲, 张建辉, 曾俊杰, 楚小茜. 基于规则验证的Dockerfile临时文件静态检测方法[J]. 计算机工程, 2025, 51(3): 189-196. |
| [3] |
鲜港, 杨文祥, 张晓蓉, 喻杰, 田永强. 基于作业路径的存储系统作业感知条带优化方法[J]. 计算机工程, 2025, 51(3): 34-44. |
| [4] |
彭龙, 高元钧, 刘晓东, 余杰. 群体机器人系统通信编程框架综述[J]. 计算机工程, 2025, 51(10): 37-52. |
| [5] |
王文斌, 钱振江, 靳勇, 孙高飞, 邢晓双, 苏超, 孙天琦. 基于Isabelle/HOL的文件系统形式化设计与验证[J]. 计算机工程, 2024, 50(4): 277-285. |
| [6] |
孙瑾, 苏文娟, 王璐, 叶克鑫. 基于联盟区块链和星际文件系统的安全租房方案[J]. 计算机工程, 2024, 50(11): 187-196. |
| [7] |
黄保华, 郑慧颖, 屈锡, 陈宁江. 联盟链高效存储访问控制方案[J]. 计算机工程, 2023, 49(8): 37-45. |
| [8] |
曾畅, 蒋文保, 郭阳楠. 基于有序哈希链的文件数据同步方法[J]. 计算机工程, 2023, 49(1): 181-190,200. |
| [9] |
余进, 严华. 基于数据更新间隔的NAND闪存垃圾回收算法[J]. 计算机工程, 2022, 48(3): 54-59. |
| [10] |
何晓斌, 高洁, 肖伟, 陈起, 刘鑫, 陈左宁. 应用透明的超算多层存储加速技术研究[J]. 计算机工程, 2022, 48(12): 1-8. |
| [11] |
黄志清, 解鲁阳, 张严心, 尹泽明. 基于区块链的物联网数据服务信誉评估模型[J]. 计算机工程, 2022, 48(1): 33-42. |
| [12] |
魏秀然, 王峰. 基于协调器与遗传算法的云存储数据复制策略[J]. 计算机工程, 2021, 47(8): 124-130,139. |
| [13] |
王法臻, 崔少辉, 王成. 基于Linux的PXIe可重构仪器设备驱动程序开发[J]. 计算机工程, 2021, 47(4): 166-172. |
| [14] |
程振京, 汪璐, 程耀东, 陈刚, 胡庆宝, 李海波. 面向高能物理分级存储的文件访问热度预测[J]. 计算机工程, 2021, 47(2): 126-132. |
| [15] |
骆云鹏, 朱旎彤, 毛慈伟, 程晋雪, 许春根. 一种基于连接关键词的实用化可搜索加密方案[J]. 计算机工程, 2020, 46(2): 175-182. |