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