Page 4 - 《软件学报》2020年第10期

Journal of Software Vol.31, No.10 Oct. 2020

Contents

SPECIAL TOPIC ON FRONTIERS IN SYSTEM SOFTWARE
2981 Preface
WU Yan-Jun, CHEN Hai-Bo, BAO Yun-Gang, LI Ling
2983 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
3004 Autonomous Learning System Towards Mobile Intelligence
XU Meng-Wei, LIU Yuan-Qiang, HUANG Kang, LIU Xuan-Zhe, HUANG Gang
3019 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
3038 Hybrid Access Cache Indexing Framework Adapted to GPU
ZHANG Hong-Jun, WU Yan-Jun, ZHANG Heng, ZHANG Li-Bo
3056 Open Source Software Supply Chain for Reliability Assurance of Operating Systems
LIANG Guan-Yu, WU Yan-Jun, WU Jing-Zheng, ZHAO Chen
3074 Neural Network Instruction Set Extension and Code Mapping Mechanism
LOU Wen-Qi, WANG Chao, GONG Lei, ZHOU Xue-Hai
3087 FPGA Acceleration System Development Tools: Survey and Practice
LIU Yan-Qiang, QI Zheng-Wei, GUAN Hai-Bing
3100 State-of-the-art Survey of Scheduling and Resource Management Technology for Colocation Jobs
WANG Kang-Jin, JIA Tong, LI Ying
3120 Survey of Research on Protection Mechanisms of Operating System Against Board Level Physical Attacks
ZHANG Qian-Ying, ZHAO Shi-Jun
SYSTEM SOFTWARE AND SOFTWARE ENGINEERING
3147 Modeling and Correctness Repair for Collaborative Business Processes
MO Qi, DAI Fei, DA Jian, ZHU Rui, XIE Zhong-Wen, LI Tong
PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE
3167 Aided Diagnosis Method for Diseases Based on the Domain Semantic Knowledge Base
CHEN De-Yan, ZHAO Hong, ZHANG Xia
ALGORITHM DESIGN AND ANALYSIS
3184 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
DATABASE TECHNOLOGY
3197 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
3216 Time Series Discriminative Feature Dictionary Construction Algorithm
ZHANG Wei, WANG Zhi-Hai, YUAN Ji-Dong, HAO Shi-Lei
COMPUTER NETWORKS AND INFORMATION SECURITY
3238 Improved Verifier-based Three-party Password-authenticated Key Exchange Protocol
ZHANG Qi-Hui, HU Xue-Xian, LIU Wen-Fen, WEI Jiang-Hong
COMPUTER GRAPHICS AND COMPUTER AIDED DESIGN
3251 Physically-based and Data-driven Fluid Simulation Research
XIAO Xiang-Yun, YANG Xu-Bo
3266 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
3280 Local Anisotropic Contraction Deformation of Thin Shell
SUN Xiao-Peng, HE Xin, WANG Zhen-Yan, LI Jiao-Jiao, CHEN Teng, DONG Yu
OPERATING SYSTEM
3295 Multi-node System Abnormal Log Flow Mode Detection Method
WANG Xiao-Dong, ZHAO Yi-Ning, XIAO Hai-Li, CHI Xue-Bin, WANG Xiao-Ning
3309 Parallel Frame Buffer Device: Graphics Acceleration Based on Multi-core CPU for Xorg
GAO Long, DAI Hua-Dong, YANG Sha-Zhou, DING Yan

©Copyright 2020, Institute of Software, the Chinese Academy of Sciences. All rights reserved. No part of this
publication may be reproduced, stored in a retrieval system or transmitted in any form without the prior
written permission of the Institute of Software, the Chinese Academy of Sciences.