1000-9825
2014 Issue 6
Termination Analysis of Loops with Linear Assignment over Closed and Bounded Domains
FENG Yong;,LI Yi;,WU Wen-Yuan;
FENG Yong;,LI Yi;,WU Wen-Yuan;
..............page:1133-1142
Logic of Multi-Threaded Programs for Non-Interference
LI Qin;,YUAN Zhi-Xiang;,ZENG Qing-Kai;
LI Qin;,YUAN Zhi-Xiang;,ZENG Qing-Kai;
..............page:1143-1153
Automatic Generation of Pipeline Parallel Code for Regular DOACROSS Loops
LIU Xiao-Xian;,XU Jin-Long;,ZHAO Jie;,ZHAO Rong-Cai;
LIU Xiao-Xian;,XU Jin-Long;,ZHAO Jie;,ZHAO Rong-Cai;
..............page:1154-1168
Bug Localization Method Based on Gaussian Processes
CHEN Li-Guo;,LIU Chao;
CHEN Li-Guo;,LIU Chao;
..............page:1169-1179
Service Network Planning Method for Mass Personalized Functional Requirements
WANG Zhong-Jie;,XU Fei;,XU Xiao-Fei;
WANG Zhong-Jie;,XU Fei;,XU Xiao-Fei;
..............page:1180-1195
Multi-User Oriented Load-Aware Dynamic Service Selection Model
LI Wei;,LUO Jun-Zhou;,ZHU Yong;
LI Wei;,LUO Jun-Zhou;,ZHU Yong;
..............page:1196-1211
Denotational Semantics of Tabular Expressions
JIN Ying;,LIU Hua-Xiao;,LIU Lei;,ZHANG Peng;
JIN Ying;,LIU Hua-Xiao;,LIU Lei;,ZHANG Peng;
..............page:1212-1224
Argumentation Model Based on Certainty-Factor and Algorithms of Argument Evaluation
MEI Qing;,OUYANG Yong;,XIONG Cai-Quan;
MEI Qing;,OUYANG Yong;,XIONG Cai-Quan;
..............page:1225-1238
Label Propagation Using Sparse Approximated Nearest Feature Space Embedding
Fu-Lai CHUNG;,TAO Jian-Wen;,WANG Shi-Tong;
Fu-Lai CHUNG;,TAO Jian-Wen;,WANG Shi-Tong;
..............page:1239-1254
..............page:1255-1272
Remote Attestation Project of the Running Environment of the Trusted Terminal
CHEN Ju;,TAN Liang;
CHEN Ju;,TAN Liang;
..............page:1273-1290
Optimal Stopping Decision Method for Routing of Opportunistic Networks
CHEN Zhou;,HUANG Di;,WU Guo-Xin;,ZHANG San-Feng;
CHEN Zhou;,HUANG Di;,WU Guo-Xin;,ZHANG San-Feng;
..............page:1291-1300
Research on Network Measurement of Structured P2P Network
FENG Deng-Guo;,LIU Hai-Feng;,SU Pu-Rui;,YAN Jia;,YING Ling-Yun;
FENG Deng-Guo;,LIU Hai-Feng;,SU Pu-Rui;,YAN Jia;,YING Ling-Yun;
..............page:1301-1315
Resolution Strategy of Hidden Node Collision Based on Collision Indication and Grouping
LI Yong-Jun;,TAN Xiao-Qing;,XIE Rong;
LI Yong-Jun;,TAN Xiao-Qing;,XIE Rong;
..............page:1316-1327
Mapping Algorithm for Service Aggregation in Network Virtualization
CHENG Dong-Nian;,JIANG Yi-Ming;,LAN Ju-Long;,WANG Zhi-Ming;
CHENG Dong-Nian;,JIANG Yi-Ming;,LAN Ju-Long;,WANG Zhi-Ming;
..............page:1328-1338
High Performance Expandable Data Center Networking Structure
GUO De-Ke;,LU Fei-Fei;,TAO Zhi-Rong;,XIE Xiang-Hui;,ZHU Gui-Ming;
GUO De-Ke;,LU Fei-Fei;,TAO Zhi-Rong;,XIE Xiang-Hui;,ZHU Gui-Ming;
..............page:1339-1351
Neighbor Discovery Algorithm in Mobile Low Duty Cycle WSNs
CHEN Liang-Yin;,HU Jian-Bo;,LIU Yan;,LIU Zhen-Lei;,LUO Qian;,XU Zheng-Kun;,YAN Bing-Shu;,ZHANG Jing-Yu;
CHEN Liang-Yin;,HU Jian-Bo;,LIU Yan;,LIU Zhen-Lei;,LUO Qian;,XU Zheng-Kun;,YAN Bing-Shu;,ZHANG Jing-Yu;
..............page:1352-1368