| [1] |
王梓, 王洪强, 杨晓艺, 兰雨晴. 操作系统形式规约与验证综述[J]. 计算机工程, 2026, 52(2): 24-45. |
| [2] |
彭龙, 高元钧, 刘晓东, 余杰. 群体机器人系统通信编程框架综述[J]. 计算机工程, 2025, 51(10): 37-52. |
| [3] |
王文斌, 钱振江, 靳勇, 孙高飞, 邢晓双, 苏超, 孙天琦. 基于Isabelle/HOL的文件系统形式化设计与验证[J]. 计算机工程, 2024, 50(4): 277-285. |
| [4] |
孙瑾, 苏文娟, 王璐, 叶克鑫. 基于联盟区块链和星际文件系统的安全租房方案[J]. 计算机工程, 2024, 50(11): 187-196. |
| [5] |
黄保华, 郑慧颖, 屈锡, 陈宁江. 联盟链高效存储访问控制方案[J]. 计算机工程, 2023, 49(8): 37-45. |
| [6] |
余进, 严华. 基于数据更新间隔的NAND闪存垃圾回收算法[J]. 计算机工程, 2022, 48(3): 54-59. |
| [7] |
黄志清, 解鲁阳, 张严心, 尹泽明. 基于区块链的物联网数据服务信誉评估模型[J]. 计算机工程, 2022, 48(1): 33-42. |
| [8] |
魏秀然, 王峰. 基于协调器与遗传算法的云存储数据复制策略[J]. 计算机工程, 2021, 47(8): 124-130,139. |
| [9] |
王法臻, 崔少辉, 王成. 基于Linux的PXIe可重构仪器设备驱动程序开发[J]. 计算机工程, 2021, 47(4): 166-172. |
| [10] |
何相甫, 范志辉, 王辉, 翟智博, 李静. IPv6与ZigBee互联网关的设计与实现[J]. 计算机工程, 2019, 45(7): 154-158. |
| [11] |
欧阳湘臻, 朱怡安, 李联, 史先琛. 一种安全关键的嵌入式实时操作系统内核设计[J]. 计算机工程, 2019, 45(7): 78-85. |
| [12] |
孟子琪,张倩颖,施智平,关永. 基于可信执行环境的嵌入式双操作系统架构研究[J]. 计算机工程, 2019, 45(4): 6-12. |
| [13] |
高原,任升,顾文杰. 异构环境中HDFS数据块调度算法的设计与实现[J]. 计算机工程, 2017, 43(8): 82-89. |
| [14] |
朱嘉舟,邵培南,陈景. 影像数据分布并行计算处理平台体系架构研究[J]. 计算机工程, 2017, 43(5): 60-66,74. |
| [15] |
詹玲,方协云,李大平,万继光. 基于Ceph文件系统的元数据缓存备份[J]. 计算机工程, 2017, 43(4): 67-72,83. |