| [1] |
杨慧慧, 方贤文, 邵叱风. 基于Petri网的并发事件流程模型修复分析[J]. 计算机工程与科学, 2021, 43(10): 1773-1780. |
| [2] |
龚昊, 刘莹, 冯建周, 赵仁良, 冷佳旭, . 基于GPU加速的脉冲多普勒雷达信号处理[J]. 计算机工程与科学, 2021, 43(07): 1141-1149. |
| [3] |
吴振伟,张文喆. 基于硬件事务内存构建并发链表[J]. 计算机工程与科学, 2018, 40(增刊S1): 154-158. |
| [4] |
李树楠1,2,3,詹男杰1,2,3,章玥1,2. 面向数据中心租户带宽特征的虚拟拥塞控制方法性能分析[J]. 计算机工程与科学, 2018, 40(09): 1562-1571. |
| [5] |
袁红娟1,2,马艳芳3,潘海玉1,2. 模糊交互时态逻辑的模型检测[J]. 计算机工程与科学, 2017, 39(12): 2290-2296. |
| [6] |
陈琳,南洋. 一种面向大规模系统域网络性能管理系统[J]. 计算机工程与科学, 2017, 39(09): 1588-1593. |
| [7] |
马占有1,2,李永明1. 广义可能性决策过程的计算树逻辑模型检测[J]. J4, 2015, 37(11): 2162-2168. |
| [8] |
钱俊彦1,2,贾书贵1, 蔡国永1,赵岭忠1. 基于上下文定界的Fork/Join并行性的并发程序可达性分析[J]. J4, 2013, 35(2): 1-6. |
| [9] |
沈以楼,朱艳琴. 流媒体直播系统的多路并发流自适应传输控制[J]. J4, 2012, 34(2): 35-40. |
| [10] |
曾小荟1,2,冷明1,刘冬生1,李平1,金士尧2,3. 一个新的SYN Flood攻击防御模型的研究[J]. J4, 2011, 33(4): 35-39. |
| [11] |
周志远, 张大方, 缪力. 基于Java内存模型的并发程序模型检测[J]. J4, 2010, 32(3): 111-114. |
| [12] |
张小强, 彭林, 黄春, 谢伦国. 面向STM的松弛存储一致性算法[J]. J4, 2010, 32(1): 127-131. |
| [13] |
顾大刚 张牧. 拥塞控制算法的仿真研究[J]. J4, 2008, 30(6): 33-36. |
| [14] |
李慧霸 彭宇行 卢锡城. 一种面向分布式系统的程序设计模式[J]. J4, 2008, 30(12): 142-145. |
| [15] |
王鲁达[1,2] 曾凡仔[1] 张澎[1,2] 唐日成[1,2]. 信息共享系统的防火墙穿透技术的研究与实现[J]. J4, 2008, 30(1): 38-40. |