Volume 31,Issue 10,2020 Table of Contents

Other Issues:  
  
Contents

  • Modeling and Correctness Repair for Collaborative Business Processes
  • MO Qi, DAI Fei, DA Jian, ZHU Rui, XIE Zhong-Wen, LI Tong
  • 2020,31(10):3147-3166 [Abstract(367)]  [View PDF(1103)1.89 M]
  • Aided Diagnosis Method for Diseases Based on the Domain Semantic Knowledge Base
  • CHEN De-Yan, ZHAO Hong, ZHANG Xia
  • 2020,31(10):3167-3183 [Abstract(54)]  [View PDF(56)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
  • 2020,31(10):3184-3196 [Abstract(31)]  [View PDF(45)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
  • 2020,31(10):3197-3215 [Abstract(37)]  [View PDF(37)1.98 M]
  • Time Series Discriminative Feature Dictionary Construction Algorithm
  • ZHANG Wei, WANG Zhi-Hai, YUAN Ji-Dong, HAO Shi-Lei
  • 2020,31(10):3216-3237 [Abstract(42)]  [View PDF(67)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
  • 2020,31(10):3238-3250 [Abstract(33)]  [View PDF(27)1.36 M]
  • Physically-based and Data-driven Fluid Simulation Research
  • XIAO Xiang-Yun, YANG Xu-Bo
  • 2020,31(10):3251-3265 [Abstract(55)]  [View PDF(231)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
  • 2020,31(10):3266-3279 [Abstract(25)]  [View PDF(27)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
  • 2020,31(10):3280-3294 [Abstract(38)]  [View PDF(29)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
  • 2020,31(10):3295-3308 [Abstract(632)]  [View PDF(674)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
  • 2020,31(10):3309-3320 [Abstract(25)]  [View PDF(39)3.86 M]
  • Special Issue's Articles

  • 系统软件前沿进展专题前言
  • 武延军,陈海波,包云岗,李玲
  • 2020,31(10):2981-2982 [Abstract(99)]  [View PDF(47)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
  • 2020,31(10):2983-3003 [Abstract(989)]  [View PDF(767)2.10 M]
  • Autonomous Learning System Towards Mobile Intelligence
  • XU Meng-Wei, LIU Yuan-Qiang, HUANG Kang, LIU Xuan-Zhe, HUANG Gang
  • 2020,31(10):3004-3018 [Abstract(845)]  [View PDF(837)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
  • 2020,31(10):3019-3037 [Abstract(656)]  [View PDF(479)1.95 M]
  • Hybrid Access Cache Indexing Framework Adapted to GPU
  • ZHANG Hong-Jun, WU Yan-Jun, ZHANG Heng, ZHANG Li-Bo
  • 2020,31(10):3038-3055 [Abstract(635)]  [View PDF(355)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
  • 2020,31(10):3056-3073 [Abstract(629)]  [View PDF(561)1.83 M]
  • Neural Network Instruction Set Extension and Code Mapping Mechanism
  • LOU Wen-Qi, WANG Chao, GONG Lei, ZHOU Xue-Hai
  • 2020,31(10):3074-3086 [Abstract(796)]  [View PDF(591)1.38 M]
  • Review Articles

  • FPGA Acceleration System Development Tools: Survey and Practice
  • LIU Yan-Qiang, QI Zheng-Wei, GUAN Hai-Bing
  • 2020,31(10):3087-3099 [Abstract(958)]  [View PDF(609)1.47 M]
  • State-of-the-art Survey of Scheduling and Resource Management Technology for Colocation Jobs
  • WANG Kang-Jin, JIA Tong, LI Ying
  • 2020,31(10):3100-3119 [Abstract(858)]  [View PDF(571)2.01 M]
  • Survey of Research on Protection Mechanisms of Operating System against Board Level Physical Attacks
  • ZHANG Qian-Ying, ZHAO Shi-Jun
  • 2020,31(10):3120-3146 [Abstract(930)]  [View PDF(337)2.46 M]