2017年第28卷第4期目录
NuTL2PFG:νTL公式的可满足性检查刘尧,段振华,田聪2017,28(4):898-906 [摘要(3384)] [PDF(3564)1.18 M][HTML(944)]一种随机化的软件模型生成方法何啸,李文峰,张天,麻志毅,邵维忠,胡长军2017,28(4):907-924 [摘要(3729)] [PDF(3392)2.14 M][HTML(1442)]向量并行度指导的循环SIMD向量化方法高伟,韩林,赵荣彩,徐金龙,陈超然2017,28(4):925-939 [摘要(3888)] [PDF(4819)1.69 M][HTML(1516)]融合网络环境下快速可靠的服务组合容错方法张俊娜,王尚广,孙其博,杨放春2017,28(4):940-958 [摘要(3585)] [PDF(4010)2.17 M][HTML(1029)]轨迹大数据:数据处理关键技术研究综述高强,张凤荔,王瑞锦,周帆2017,28(4):959-992 [摘要(9063)] [PDF(24587)3.58 M][HTML(4094)]社会网络中的团队形成问题研究综述黄健斌,孙晓晶,周瑜,吕泽,孙鹤立,贾晓琳2017,28(4):993-1009 [摘要(5352)] [PDF(4457)2.26 M][HTML(1043)]网络安全态势感知综述龚俭,臧小东,苏琪,胡晓艳,徐杰2017,28(4):1010-1026 [摘要(8684)] [PDF(13335)1.93 M][HTML(2109)]片上多核处理器Cache一致性协议优化研究综述胡森森,计卫星,王一拙,陈旭,付文飞,石峰2017,28(4):1027-1047 [摘要(4279)] [PDF(6566)2.45 M][HTML(1958)]
程序设计语言与系统前沿专题前言冯新宇,陈海波2017,28(4):745-746 [摘要(3616)] [PDF(4109)385.43 K][HTML(1078)]获取访存依赖:并发程序动态分析基础技术综述蒋炎岩,许畅,马晓星,吕建2017,28(4):747-763 [摘要(4175)] [PDF(5313)1.89 M][HTML(2362)]面向国产异构众核系统的Parallel C语言设计与实现何王全,刘勇,方燕飞,魏迪,漆锋滨2017,28(4):764-785 [摘要(4051)] [PDF(4839)4.97 M][HTML(1811)]通过抽象程序证明复杂具体程序李彬,汤震浩,翟娟,赵建华2017,28(4):786-803 [摘要(3963)] [PDF(4154)2.10 M][HTML(1773)]基于通信Petri网的异步通信程序验证模型杨启哲,李国强2017,28(4):804-818 [摘要(3779)] [PDF(5003)1.69 M][HTML(2436)]基于Z3的Coq自动证明策略的设计和实现张恒若,付明2017,28(4):819-826 [摘要(4591)] [PDF(5192)1.03 M][HTML(1803)]C/C++程序静态内存泄漏警报自动确认方法李筱,周严,李孟宸,陈园军,XU Guo-Qing,王林章,李宣东2017,28(4):827-844 [摘要(4654)] [PDF(5649)2.02 M][HTML(2088)]数据中心中DVFS对程序性能影响模型的设计李登辉,赵家程,崔慧敏,冯晓兵2017,28(4):845-859 [摘要(3584)] [PDF(4779)1.96 M][HTML(1896)]污点分析技术的原理和实践应用王蕾,李丰,李炼,冯晓兵2017,28(4):860-882 [摘要(5744)] [PDF(16571)2.49 M][HTML(3765)]拟态防御Web服务器设计与实现仝青,张铮,张为华,邬江兴2017,28(4):883-897 [摘要(4895)] [PDF(8554)1.75 M][HTML(2459)]