Volume 31,Issue 8,2020 Table of Contents

Other Issues:  
  
Contents

  • Preface
  • CHEN Zhen-Bang, FENG Xin-Yu, LIU Zhi-Ming
  • 2020,31(8):2283-2284 [Abstract(3)]  [View PDF(5)297.73 K]
  • Algorithms for Solving Algebraic Degree and Its Applications to SIMON-like Algorithms
  • REN Jiong-Jiong, LI Hang, LIN Jian, CHEN Shao-Zhen
  • 2020,31(8):2453-2464 [Abstract(5)]  [View PDF(7)1.23 M]
  • Joint Model for Sentiment Analysis and Review Quality Detection with User and Product Representations
  • WU Fan, WANG Zhong-Qing, ZHOU Xia-Bing, ZHOU Guo-Dong
  • 2020,31(8):2492-2507 [Abstract(4)]  [View PDF(6)1.69 M]
  • Crowdsourcing Test Method for Android Applications Based on Recording/Replay
  • CAO Yu-Zhong, WU Guo-Quan, CHEN Wei, WEI Jun, HUANG Tao, WANG Su
  • 2020,31(8):2508-2529 [Abstract(1034)]  [View PDF(1085)2.51 M]
  • Latent Sparse Representation Classification Algorithm Based on Symmetric Positive Definite Manifold
  • CHEN Kai-Xuan, WU Xiao-Jun
  • 2020,31(8):2530-2542 [Abstract(3)]  [View PDF(6)1.32 M]
  • Optimization of Keyword-aware Optimal Route Query on Large-scale Road Networks
  • HAO Jin-Yao, NIU Bao-Ning, KANG Jia-Xing
  • 2020,31(8):2543-2556 [Abstract(3)]  [View PDF(5)1.50 M]
  • Private Data Protection Scheme for Consortium Blockchain Based on Two-layer Cooperation
  • CAI Liang, Duan Hao, YAN Meng, XIA Xin
  • 2020,31(8):2557-2573 [Abstract(349)]  [View PDF(280)2.01 M]
  • Medical Image Segmentation Using Semi-supervised Conditional Generative Adversarial Nets
  • LIU Shao-Peng, HONG Jia-Ming, LIANG Jie-Peng, JIA Xi-Ping, OUYANG Jia, YIN Jian
  • 2020,31(8):2588-2602 [Abstract(11)]  [View PDF(8)1.80 M]
  • Special Issue's Articles

  • Specification Language for Packet Parsers and Its Compiler Architecture
  • LI Huang-Hua, LI Ling, ZHAO Yu, WANG Sheng-Yuan, LI Xiang-Yu
  • 2020,31(8):2285-2308 [Abstract(610)]  [View PDF(769)2.72 M]
  • High-order Typed Verifiable Application System Architecture Modelling and Its Case
  • LI Xiao-Ping, WUNIRI Qi-Qi-Ge, MA Shi-Long, LÜ Jiang-Hua
  • 2020,31(8):2309-2335 [Abstract(610)]  [View PDF(1412)3.00 M]
  • TPaxos Consensus Protocol in PaxosStore: Derivation, Specification, and Refinement
  • YI Xing-Chen, WEI Heng-Feng, HUANG Yu, QIAO Lei, LÜ Jian
  • 2020,31(8):2336-2361 [Abstract(647)]  [View PDF(539)6.30 M]
  • Formal Modeling and Verification of Paxos Based on Coq
  • LI Ya-Nan, DENG Yu-Xin, LIU Jing
  • 2020,31(8):2362-2374 [Abstract(778)]  [View PDF(486)1.30 M]
  • Operating System Task Management Requirements Layer Modeling and Verification Based on Coq
  • JIANG Jing-Jing, QIAO Lei, YANG Meng-Fei, YANG Hua, LIU Bo
  • 2020,31(8):2375-2387 [Abstract(604)]  [View PDF(251)1.30 M]
  • Bounded Model Checking Liveness on Basic Parallel Processes
  • TAN Jin-Hao, LI Guo-Qiang
  • 2020,31(8):2388-2403 [Abstract(648)]  [View PDF(342)1.69 M]
  • Review Articles

  • Survey of Machine Learning Enabled Software Self-adaptation
  • ZHANG Ming-Yue, JIN Zhi, ZHAO Hai-Yan, LUO Yi-Xing
  • 2020,31(8):2404-2431 [Abstract(1214)]  [View PDF(696)3.31 M]
  • Research Progress on Software Bug Localization Technology Based on Information Retrieval
  • ZHANG Yun, LIU Jia-Kun, XIA Xin, WU Ming-Hui, YAN Hui
  • 2020,31(8):2432-2452 [Abstract(695)]  [View PDF(1047)2.42 M]
  • Dimensional Speech Emotion Recognition Review
  • LI Hai-Feng, CHEN Jing, MA Lin, BO Hong-Jian, XU Cong, LI Hong-Wei
  • 2020,31(8):2465-2491 [Abstract(538)]  [View PDF(665)3.36 M]
  • State-of-the-art Survey of Intent-based Networking
  • LI Fu-Liang, FAN Guang-Yu, WANG Xing-Wei, LIU Shu-Cheng, XIE Kun, SUN Qiong
  • 2020,31(8):2574-2587 [Abstract(598)]  [View PDF(406)1.68 M]
  • Survey on Performance Analysis, Optimization, and Applications of Heterogeneous Fusion Processors
  • ZHANG Feng, ZHAI Ji-Dong, CHEN Zheng, LIN Jia-Zao, DU Xiao-Yong
  • 2020,31(8):2603-2624 [Abstract(1077)]  [View PDF(434)2.19 M]