2017年第28卷第4期目录
NuTL2PFG:νTL公式的可满足性检查刘尧,段振华,田聪2017,28(4):898-906 [摘要(3465)] [PDF(4445)1.18 M][HTML(1730)]一种随机化的软件模型生成方法何啸,李文峰,张天,麻志毅,邵维忠,胡长军2017,28(4):907-924 [摘要(3837)] [PDF(4530)2.14 M][HTML(2608)]向量并行度指导的循环SIMD向量化方法高伟,韩林,赵荣彩,徐金龙,陈超然2017,28(4):925-939 [摘要(4172)] [PDF(7092)1.69 M][HTML(2346)]融合网络环境下快速可靠的服务组合容错方法张俊娜,王尚广,孙其博,杨放春2017,28(4):940-958 [摘要(3715)] [PDF(5162)2.17 M][HTML(2134)]轨迹大数据:数据处理关键技术研究综述高强,张凤荔,王瑞锦,周帆2017,28(4):959-992 [摘要(24257)] [PDF(33110)3.58 M][HTML(8050)]社会网络中的团队形成问题研究综述黄健斌,孙晓晶,周瑜,吕泽,孙鹤立,贾晓琳2017,28(4):993-1009 [摘要(5499)] [PDF(5517)2.26 M][HTML(1968)]网络安全态势感知综述龚俭,臧小东,苏琪,胡晓艳,徐杰2017,28(4):1010-1026 [摘要(9350)] [PDF(16450)1.93 M][HTML(3394)]片上多核处理器Cache一致性协议优化研究综述胡森森,计卫星,王一拙,陈旭,付文飞,石峰2017,28(4):1027-1047 [摘要(4547)] [PDF(8647)2.45 M][HTML(2925)]
程序设计语言与系统前沿专题前言冯新宇,陈海波2017,28(4):745-746 [摘要(3771)] [PDF(6172)385.43 K][HTML(2340)]获取访存依赖:并发程序动态分析基础技术综述蒋炎岩,许畅,马晓星,吕建2017,28(4):747-763 [摘要(4379)] [PDF(8481)1.89 M][HTML(4002)]面向国产异构众核系统的Parallel C语言设计与实现何王全,刘勇,方燕飞,魏迪,漆锋滨2017,28(4):764-785 [摘要(4251)] [PDF(7069)4.97 M][HTML(3571)]通过抽象程序证明复杂具体程序李彬,汤震浩,翟娟,赵建华2017,28(4):786-803 [摘要(4107)] [PDF(6449)2.10 M][HTML(3327)]基于通信Petri网的异步通信程序验证模型杨启哲,李国强2017,28(4):804-818 [摘要(3969)] [PDF(7185)1.69 M][HTML(4024)]基于Z3的Coq自动证明策略的设计和实现张恒若,付明2017,28(4):819-826 [摘要(4840)] [PDF(7731)1.03 M][HTML(3704)]C/C++程序静态内存泄漏警报自动确认方法李筱,周严,李孟宸,陈园军,XU Guo-Qing,王林章,李宣东2017,28(4):827-844 [摘要(4880)] [PDF(11600)2.02 M][HTML(3873)]数据中心中DVFS对程序性能影响模型的设计李登辉,赵家程,崔慧敏,冯晓兵2017,28(4):845-859 [摘要(3751)] [PDF(7057)1.96 M][HTML(3815)]污点分析技术的原理和实践应用王蕾,李丰,李炼,冯晓兵2017,28(4):860-882 [摘要(17832)] [PDF(23600)2.49 M][HTML(6114)]拟态防御Web服务器设计与实现仝青,张铮,张为华,邬江兴2017,28(4):883-897 [摘要(5162)] [PDF(10935)1.75 M][HTML(4438)]
