| [1] |
王文斌, 钱振江, 靳勇, 孙高飞, 邢晓双, 苏超, 孙天琦. 基于Isabelle/HOL的文件系统形式化设计与验证[J]. 计算机工程, 2024, 50(4): 277-285. |
| [2] |
孙瑾, 苏文娟, 王璐, 叶克鑫. 基于联盟区块链和星际文件系统的安全租房方案[J]. 计算机工程, 2024, 50(11): 187-196. |
| [3] |
黄保华, 郑慧颖, 屈锡, 陈宁江. 联盟链高效存储访问控制方案[J]. 计算机工程, 2023, 49(8): 37-45. |
| [4] |
余进, 严华. 基于数据更新间隔的NAND闪存垃圾回收算法[J]. 计算机工程, 2022, 48(3): 54-59. |
| [5] |
黄志清, 解鲁阳, 张严心, 尹泽明. 基于区块链的物联网数据服务信誉评估模型[J]. 计算机工程, 2022, 48(1): 33-42. |
| [6] |
魏秀然, 王峰. 基于协调器与遗传算法的云存储数据复制策略[J]. 计算机工程, 2021, 47(8): 124-130,139. |
| [7] |
李春雷,高峰,颜运强. 基于Actor模型的软总线设计[J]. 计算机工程, 2019, 45(5): 77-83. |
| [8] |
孟子琪,张倩颖,施智平,关永. 基于可信执行环境的嵌入式双操作系统架构研究[J]. 计算机工程, 2019, 45(4): 6-12. |
| [9] |
仵林博,陈小红,彭艳红,聂长海. 基于SysML的嵌入式软件系统建模与验证方法研究[J]. 计算机工程, 2019, 45(1): 1-8. |
| [10] |
朱秋煜,黄家虎,朱鸣. 面向嵌入式应用的性别与年龄识别检测系统[J]. 计算机工程, 2018, 44(7): 188-192. |
| [11] |
高峰,邓霏,陈泉根. 基于分层模型的半实物仿真测试平台设计[J]. 计算机工程, 2018, 44(1): 104-109,115. |
| [12] |
高原,任升,顾文杰. 异构环境中HDFS数据块调度算法的设计与实现[J]. 计算机工程, 2017, 43(8): 82-89. |
| [13] |
蒋存波,孔祥丽,金红,焦阳. 具有射频识别功能的嵌入式低功耗智能钥匙设计[J]. 计算机工程, 2017, 43(7): 54-59. |
| [14] |
张晶,孙少杰,范洪博. 一种基于开销优化的高稳定性任务调度算法[J]. 计算机工程, 2017, 43(7): 60-63,69. |
| [15] |
张晶,王亮,范洪博,肖智斌. 基于时间Petri网的嵌入式系统构件建模与能耗分析[J]. 计算机工程, 2017, 43(6): 30-34,39. |