2017年第28卷第4期目录
浏览其它刊期:
2025年第36卷
2024年第35卷
2023年第34卷
2022年第33卷
2021年第32卷
2020年第31卷
2019年第30卷
2018年第29卷
2017年第28卷
2016年第27卷
2015年第26卷
2014年第25卷
2013年第24卷
2012年第23卷
2011年第22卷
2010年第21卷
2009年第20卷
2008年第19卷
2007年第18卷
2006年第17卷
2005年第16卷
2004年第15卷
2003年第14卷
2002年第13卷
2001年第12卷
2000年第11卷
1999年第10卷
1998年第9卷
1997年第8卷
1996年第7卷
1995年第6卷
1994年第5卷
1993年第4卷
1992年第3卷
1991年第2卷
1990年第1卷
5年
0年
第s2期
第s1期
第1期
第2期
第3期
第4期
第5期
第6期
第7期
第8期
第9期
第10期
第11期
第12期
本期目录
NuTL2PFG:
ν
TL公式的可满足性检查
刘尧,段振华,田聪
2017,28(4):898-906 [
摘要
(3444)
] [
PDF
(4276)
1.18 M
][
HTML(1538)
]
一种随机化的软件模型生成方法
何啸,李文峰,张天,麻志毅,邵维忠,胡长军
2017,28(4):907-924 [
摘要
(3817)
] [
PDF
(4327)
2.14 M
][
HTML(2366)
]
向量并行度指导的循环SIMD向量化方法
高伟,韩林,赵荣彩,徐金龙,陈超然
2017,28(4):925-939 [
摘要
(4055)
] [
PDF
(6259)
1.69 M
][
HTML(2147)
]
融合网络环境下快速可靠的服务组合容错方法
张俊娜,王尚广,孙其博,杨放春
2017,28(4):940-958 [
摘要
(3681)
] [
PDF
(4973)
2.17 M
][
HTML(1896)
]
轨迹大数据:数据处理关键技术研究综述
高强,张凤荔,王瑞锦,周帆
2017,28(4):959-992 [
摘要
(9590)
] [
PDF
(30084)
3.58 M
][
HTML(6873)
]
社会网络中的团队形成问题研究综述
黄健斌,孙晓晶,周瑜,吕泽,孙鹤立,贾晓琳
2017,28(4):993-1009 [
摘要
(5465)
] [
PDF
(5301)
2.26 M
][
HTML(1760)
]
网络安全态势感知综述
龚俭,臧小东,苏琪,胡晓艳,徐杰
2017,28(4):1010-1026 [
摘要
(9205)
] [
PDF
(15819)
1.93 M
][
HTML(2813)
]
片上多核处理器Cache一致性协议优化研究综述
胡森森,计卫星,王一拙,陈旭,付文飞,石峰
2017,28(4):1027-1047 [
摘要
(4511)
] [
PDF
(8416)
2.45 M
][
HTML(2701)
]
专刊文章
程序设计语言与系统前沿专题前言
冯新宇,陈海波
2017,28(4):745-746 [
摘要
(3737)
] [
PDF
(5883)
385.43 K
][
HTML(2137)
]
获取访存依赖:并发程序动态分析基础技术综述
蒋炎岩,许畅,马晓星,吕建
2017,28(4):747-763 [
摘要
(4340)
] [
PDF
(7665)
1.89 M
][
HTML(3684)
]
面向国产异构众核系统的Parallel C语言设计与实现
何王全,刘勇,方燕飞,魏迪,漆锋滨
2017,28(4):764-785 [
摘要
(4200)
] [
PDF
(6743)
4.97 M
][
HTML(3134)
]
通过抽象程序证明复杂具体程序
李彬,汤震浩,翟娟,赵建华
2017,28(4):786-803 [
摘要
(4069)
] [
PDF
(6108)
2.10 M
][
HTML(3022)
]
基于通信Petri网的异步通信程序验证模型
杨启哲,李国强
2017,28(4):804-818 [
摘要
(3932)
] [
PDF
(6887)
1.69 M
][
HTML(3732)
]
基于Z3的Coq自动证明策略的设计和实现
张恒若,付明
2017,28(4):819-826 [
摘要
(4783)
] [
PDF
(7288)
1.03 M
][
HTML(3299)
]
C/C++程序静态内存泄漏警报自动确认方法
李筱,周严,李孟宸,陈园军,XU Guo-Qing,王林章,李宣东
2017,28(4):827-844 [
摘要
(4826)
] [
PDF
(9385)
2.02 M
][
HTML(3483)
]
数据中心中DVFS对程序性能影响模型的设计
李登辉,赵家程,崔慧敏,冯晓兵
2017,28(4):845-859 [
摘要
(3700)
] [
PDF
(6726)
1.96 M
][
HTML(3427)
]
污点分析技术的原理和实践应用
王蕾,李丰,李炼,冯晓兵
2017,28(4):860-882 [
摘要
(6189)
] [
PDF
(21432)
2.49 M
][
HTML(5715)
]
拟态防御Web服务器设计与实现
仝青,张铮,张为华,邬江兴
2017,28(4):883-897 [
摘要
(5114)
] [
PDF
(10660)
1.75 M
][
HTML(3956)
]
快速直达
作者登录
审稿登录
编辑登录
读者登录
最新录用
过刊浏览
期刊检索
RSS
E-mail
下载排行
点击排行
引用排行
返回首页
用微信扫一扫
