[1] |
苏庆, 陈建成, 顾国生, 刘冬宁, 黄剑锋. 程序调试中的数据结构演变可视化方法[J]. 计算机工程, 2024, 50(9): 197-207. |
[2] |
王文斌, 钱振江, 靳勇, 孙高飞, 邢晓双, 苏超, 孙天琦. 基于Isabelle/HOL的文件系统形式化设计与验证[J]. 计算机工程, 2024, 50(4): 277-285. |
[3] |
杜清华, 张凯. 一种高效的跨平台工作流优化方法[J]. 计算机工程, 2022, 48(7): 13-21,28. |
[4] |
王妍, 葛海波, 冯安琪. 云辅助移动边缘计算中的计算卸载策略[J]. 计算机工程, 2020, 46(8): 27-34. |
[5] |
尚蕾, 刘茜萍. 基于任务分配和数据集副本的科学工作流数据布局[J]. 计算机工程, 2020, 46(5): 122-130,138. |
[6] |
张继炎, 郑汉垣. 云环境下基于预算分配的科学工作流调度研究[J]. 计算机工程, 2019, 45(9): 40-48. |
[7] |
刘彪,王宝生,邓文平. 云环境下支持弹性伸缩的容器化工作流框架[J]. 计算机工程, 2019, 45(3): 7-13. |
[8] |
刘雨潇,王毅,袁磊,吴钊. 基于期限约束与关键路径的云工作流调度[J]. 计算机工程, 2018, 44(8): 30-37. |
[9] |
陈莹,邢建春,杨启亮,张孝鹏. 时间约束下任务关键系统的可调度性分析[J]. 计算机工程, 2018, 44(12): 115-119,128. |
[10] |
林伟建,王伦耀,夏银水. 有限状态机的双逻辑面积优化[J]. 计算机工程, 2016, 42(5): 282-287. |
[11] |
马殷元,王虎军,张伟. 机电系统中实时控制软件状态图模型扩展及实现[J]. 计算机工程, 2016, 42(3): 94-97. |
[12] |
李明哲,陈君,王劲林,陈晓. 基于状态机的HTTP Chunked流并发解析[J]. 计算机工程, 2015, 41(1): 256-260. |
[13] |
黄袁, 付晓东, 贾楠, 代志华, 马玉倩. 一种工作流的控制流距离度量方法[J]. 计算机工程, 2013, 39(7): 94-98,114. |
[14] |
曹文, 郭帆, 余敏, 张磊. 基于哈希树和有限状态机的XSS检测模型[J]. 计算机工程, 2013, 39(6): 154-157,161. |
[15] |
贠亚利, 韩海晓, 李雅萍. 工作流访问控制模型及动态用户分配策略[J]. 计算机工程, 2013, 39(4): 75-77,81. |