[1] |
苏庆, 陈建成, 顾国生, 刘冬宁, 黄剑锋. 程序调试中的数据结构演变可视化方法[J]. 计算机工程, 2024, 50(9): 197-207. |
[2] |
王文斌, 钱振江, 靳勇, 孙高飞, 邢晓双, 苏超, 孙天琦. 基于Isabelle/HOL的文件系统形式化设计与验证[J]. 计算机工程, 2024, 50(4): 277-285. |
[3] |
闫小勇, 李青, 莫有权. 基于状态相关字段的二进制协议状态机推断[J]. 计算机工程, 2019, 45(7): 126-133. |
[4] |
谢闯,杨志家,王剑. 基于TSCH模式的工业无线系统级芯片设计[J]. 计算机工程, 2018, 44(6): 288-293,299. |
[5] |
林伟建,王伦耀,夏银水. 有限状态机的双逻辑面积优化[J]. 计算机工程, 2016, 42(5): 282-287. |
[6] |
马殷元,王虎军,张伟. 机电系统中实时控制软件状态图模型扩展及实现[J]. 计算机工程, 2016, 42(3): 94-97. |
[7] |
李明哲,陈君,王劲林,陈晓. 基于状态机的HTTP Chunked流并发解析[J]. 计算机工程, 2015, 41(1): 256-260. |
[8] |
冯紫竹,赵毅强,刘长龙. 一种基于时序型硬件木马的IP 版权保护结构[J]. 计算机工程, 2014, 40(9): 19-22. |
[9] |
熊雄,刘新,叶德建. 基于电信IPTV的服务质量监测与实现[J]. 计算机工程, 2014, 40(5): 257-261. |
[10] |
许家铭,李晓东,金键,马盈. 一种高效的多模式字符串匹配算法[J]. 计算机工程, 2014, 40(3): 315-320. |
[11] |
曹文, 郭帆, 余敏, 张磊. 基于哈希树和有限状态机的XSS检测模型[J]. 计算机工程, 2013, 39(6): 154-157,161. |
[12] |
朱琴跃, 王瑛, 谭喜堂, 赵亚辉. 模块化高速电动车组牵引传动跟踪监测系统[J]. 计算机工程, 2013, 39(3): 20-24,30. |
[13] |
黄鹏,刘箴. 一种基于动机理论的人群行为模型[J]. 计算机工程, 2013, 39(12): 290-293. |
[14] |
谭貌, 段斌, 彭邦伦, 张建和. 云制造环境下协同工作流控制模型研究[J]. 计算机工程, 2012, 38(24): 21-26. |
[15] |
黄晓玲, 陈桂林, 赵生慧. 基于云计算的并行测试方案设计与实现[J]. 计算机工程, 2012, 38(24): 27-31. |