[1] |
苏庆, 陈建成, 顾国生, 刘冬宁, 黄剑锋. 程序调试中的数据结构演变可视化方法[J]. 计算机工程, 2024, 50(9): 197-207. |
[2] |
王文斌, 钱振江, 靳勇, 孙高飞, 邢晓双, 苏超, 孙天琦. 基于Isabelle/HOL的文件系统形式化设计与验证[J]. 计算机工程, 2024, 50(4): 277-285. |
[3] |
李春雷,高峰,颜运强. 基于Actor模型的软总线设计[J]. 计算机工程, 2019, 45(5): 77-83. |
[4] |
孟子琪,张倩颖,施智平,关永. 基于可信执行环境的嵌入式双操作系统架构研究[J]. 计算机工程, 2019, 45(4): 6-12. |
[5] |
仵林博,陈小红,彭艳红,聂长海. 基于SysML的嵌入式软件系统建模与验证方法研究[J]. 计算机工程, 2019, 45(1): 1-8. |
[6] |
朱秋煜,黄家虎,朱鸣. 面向嵌入式应用的性别与年龄识别检测系统[J]. 计算机工程, 2018, 44(7): 188-192. |
[7] |
高峰,邓霏,陈泉根. 基于分层模型的半实物仿真测试平台设计[J]. 计算机工程, 2018, 44(1): 104-109,115. |
[8] |
蒋存波,孔祥丽,金红,焦阳. 具有射频识别功能的嵌入式低功耗智能钥匙设计[J]. 计算机工程, 2017, 43(7): 54-59. |
[9] |
张晶,孙少杰,范洪博. 一种基于开销优化的高稳定性任务调度算法[J]. 计算机工程, 2017, 43(7): 60-63,69. |
[10] |
张晶,王亮,范洪博,肖智斌. 基于时间Petri网的嵌入式系统构件建模与能耗分析[J]. 计算机工程, 2017, 43(6): 30-34,39. |
[11] |
徐哲鑫,张艺林,林潇,吴怡. 基于OpenWrt与ZigBee的智能家居路由器设计[J]. 计算机工程, 2017, 43(3): 94-98,104. |
[12] |
岳国华,陈鹏. 基于MapInfo数据的嵌入式电子地图快速输出算法[J]. 计算机工程, 2017, 43(1): 93-97. |
[13] |
陈勇,吴晓民,杨坚,奚宏生. 基于CUDA的H.264并行解码器设计与实现[J]. 计算机工程, 2016, 42(5): 249-252,257. |
[14] |
林伟建,王伦耀,夏银水. 有限状态机的双逻辑面积优化[J]. 计算机工程, 2016, 42(5): 282-287. |
[15] |
马殷元,王虎军,张伟. 机电系统中实时控制软件状态图模型扩展及实现[J]. 计算机工程, 2016, 42(3): 94-97. |