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