Contents

Modeling and Correctness Repair for Collaborative Business Processes MO Qi, DAI Fei, DA Jian, ZHU Rui, XIE Zhong-Wen, LI Tong Published October 06, 2020 (20 pages) 2020,31(10):3147-3166 [Abstract(1844)]  [View PDF(4896)537.46 K]

Aided Diagnosis Method for Diseases Based on the Domain Semantic Knowledge Base CHEN De-Yan, ZHAO Hong, ZHANG Xia Published October 06, 2020 (17 pages) 2020,31(10):3167-3183 [Abstract(1431)]  [View PDF(3780)2.07 M]

General Implementation of 1-D FFT on the Sunway 26010 Processor ZHAO Yu-Wen, AO Yu-Long, YANG Chao, LIU Fang-Fang, YIN Wan-Wang, LIN Rong-Fen Published October 06, 2020 (13 pages) 2020,31(10):3184-3196 [Abstract(1688)]  [View PDF(4446)1.72 M]

Efficient Algorithm of Top-k Spatial Keyword Search with OR Semantics PAN Xiao, YU Qi-Di, MA Ang, SUN Ya-Xin, WU Lei, GUO Jing-Feng Published October 06, 2020 (19 pages) 2020,31(10):3197-3215 [Abstract(1237)]  [View PDF(3204)1.98 M]

Time Series Discriminative Feature Dictionary Construction Algorithm ZHANG Wei, WANG Zhi-Hai, YUAN Ji-Dong, HAO Shi-Lei Published October 06, 2020 (22 pages) 2020,31(10):3216-3237 [Abstract(1523)]  [View PDF(3843)2.26 M]

Improved Verifier-based Three-party Password-authenticated Key Exchange Protocol ZHANG Qi-Hui, HU Xue-Xian, LIU Wen-Fen, WEI Jiang-Hong Published October 06, 2020 (13 pages) 2020,31(10):3238-3250 [Abstract(1364)]  [View PDF(3741)1.36 M]

Physically-based and Data-driven Fluid Simulation Research XIAO Xiang-Yun, YANG Xu-Bo Published October 06, 2020 (15 pages) 2020,31(10):3251-3265 [Abstract(1286)]  [View PDF(4427)5.08 M]

Curve Design Method on Mesh Surface Based on Distance Constraints JIN Yao, SONG Dan, YU Cheng-Hai, MA Wen-Juan, SONG Ying, HE Li-Li Published October 06, 2020 (14 pages) 2020,31(10):3266-3279 [Abstract(1254)]  [View PDF(2978)2.14 M]

Local Anisotropic Contraction Deformation of Thin Shell SUN Xiao-Peng, HE Xin, WANG Zhen-Yan, LI Jiao-Jiao, CHEN Teng, DONG Yu Published October 06, 2020 (15 pages) 2020,31(10):3280-3294 [Abstract(1140)]  [View PDF(3669)1.91 M]

Multi-node System Abnormal Log Flow Mode Detection Method WANG Xiao-Dong, ZHAO Yi-Ning, XIAO Hai-Li, CHI Xue-Bin, WANG Xiao-Ning Published October 06, 2020 (14 pages) 2020,31(10):3295-3308 [Abstract(2145)]  [View PDF(5006)1.74 M]

Parallel Frame Buffer Device: Graphics Acceleration Based on Multi-core CPU for Xorg GAO Long, DAI Hua-Dong, YANG Sha-Zhou, DING Yan Published October 06, 2020 (12 pages) 2020,31(10):3309-3320 [Abstract(1291)]  [View PDF(3683)3.86 M]

Special Issue's Articles

系统软件前沿进展专题前言 武延军，陈海波，包云岗，李玲 Published October 06, 2020 (2 pages) 2020,31(10):2981-2982 [Abstract(2198)]  [View PDF(4382)302.08 K]

Static Checking of Array Index out of Bounds Defects in C Programs Based on Taint Analysis GAO Feng-Juan, WANG Yu, CHEN Tian-Jiao, SITU Ling-Yun, WANG Lin-Zhang, LI Xuan-Dong Published October 06, 2020 (21 pages) 2020,31(10):2983-3003 [Abstract(3974)]  [View PDF(7328)2.10 M]

Autonomous Learning System Towards Mobile Intelligence XU Meng-Wei, LIU Yuan-Qiang, HUANG Kang, LIU Xuan-Zhe, HUANG Gang Published October 06, 2020 (15 pages) 2020,31(10):3004-3018 [Abstract(3520)]  [View PDF(7436)1.69 M]

Accelerator Virtualization Framework Based on Inter-VM Exitless Communication LI Ding-Ji, MI Ze-Yu, WU Bao-Dong, CHEN Xun, ZHAO Yong-Wang, DING Zuo-Hua, CHEN Hai-Bo Published October 06, 2020 (19 pages) 2020,31(10):3019-3037 [Abstract(3252)]  [View PDF(5856)1.95 M]

Hybrid Access Cache Indexing Framework Adapted to GPU ZHANG Hong-Jun, WU Yan-Jun, ZHANG Heng, ZHANG Li-Bo Published October 06, 2020 (18 pages) 2020,31(10):3038-3055 [Abstract(2804)]  [View PDF(5413)1.82 M]

Open Source Software Supply Chain for Reliability Assurance of Operating Systems LIANG Guan-Yu, WU Yan-Jun, WU Jing-Zheng, ZHAO Chen Published October 06, 2020 (18 pages) 2020,31(10):3056-3073 [Abstract(3367)]  [View PDF(6403)1.83 M]

Neural Network Instruction Set Extension and Code Mapping Mechanism LOU Wen-Qi, WANG Chao, GONG Lei, ZHOU Xue-Hai Published October 06, 2020 (13 pages) 2020,31(10):3074-3086 [Abstract(2997)]  [View PDF(5979)1.38 M]

Review Articles

FPGA Acceleration System Development Tools: Survey and Practice LIU Yan-Qiang, QI Zheng-Wei, GUAN Hai-Bing Published October 06, 2020 (13 pages) 2020,31(10):3087-3099 [Abstract(3627)]  [View PDF(6324)1.47 M]

State-of-the-art Survey of Scheduling and Resource Management Technology for Colocation Jobs WANG Kang-Jin, JIA Tong, LI Ying Published October 06, 2020 (20 pages) 2020,31(10):3100-3119 [Abstract(4193)]  [View PDF(7748)2.01 M]

Survey of Research on Protection Mechanisms of Operating System against Board Level Physical Attacks ZHANG Qian-Ying, ZHAO Shi-Jun Published October 06, 2020 (27 pages) 2020,31(10):3120-3146 [Abstract(3275)]  [View PDF(5155)2.46 M]