| [1] |
王梓, 王洪强, 杨晓艺, 兰雨晴. 操作系统形式规约与验证综述[J]. 计算机工程, 2026, 52(2): 24-45. |
| [2] |
彭龙, 高元钧, 刘晓东, 余杰. 群体机器人系统通信编程框架综述[J]. 计算机工程, 2025, 51(10): 37-52. |
| [3] |
王法臻, 崔少辉, 王成. 基于Linux的PXIe可重构仪器设备驱动程序开发[J]. 计算机工程, 2021, 47(4): 166-172. |
| [4] |
何相甫, 范志辉, 王辉, 翟智博, 李静. IPv6与ZigBee互联网关的设计与实现[J]. 计算机工程, 2019, 45(7): 154-158. |
| [5] |
欧阳湘臻, 朱怡安, 李联, 史先琛. 一种安全关键的嵌入式实时操作系统内核设计[J]. 计算机工程, 2019, 45(7): 78-85. |
| [6] |
孟子琪,张倩颖,施智平,关永. 基于可信执行环境的嵌入式双操作系统架构研究[J]. 计算机工程, 2019, 45(4): 6-12. |
| [7] |
朱怡安,黄林林,李联,罗殊彦. 多核平台下分区操作系统的安全关键任务调度方法[J]. 计算机工程, 2017, 43(12): 38-44. |
| [8] |
张锋,朱振荣,史胜伟. 一种高速免驱USB加密卡的设计与实现[J]. 计算机工程, 2017, 43(11): 292-296,302. |
| [9] |
李青,朱晓冉,郭建. AUTOSAR OS存储保护机制的形式化验证框架[J]. 计算机工程, 2017, 43(1): 79-85. |
| [10] |
李亚格,兰诚栋. 基于iOS的移动办公系统设计与性能优化[J]. 计算机工程, 2016, 42(7): 22-26. |
| [11] |
罗求,丁滟,陈松政. 一种基于管理员分权的用户特权提升机制[J]. 计算机工程, 2016, 42(4): 27-30,36. |
| [12] |
徐健,侯振龙,龚东磊,方明. 高速串行数据处理模块的设计与实现[J]. 计算机工程, 2016, 42(3): 289-294. |
| [13] |
林海波,柯晶晶,张毅. 结合粒子群寻优与遗传重采样的RBPF算法[J]. 计算机工程, 2016, 42(11): 295-299. |
| [14] |
李健,陈革,叶晓芸,符凯,何巍. 基于MILS多级安全架构的远程调试机制[J]. 计算机工程, 2016, 42(1): 61-65. |
| [15] |
黄国兵,李瑞玲,李华丽,王琼. μC/OS-II任务优先级调度算法分析与改进[J]. 计算机工程, 2015, 41(8): 52-54,60. |