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