Volume 31,Issue 8,2020 Table of ContentsDownload Contents
PrefaceCHEN Zhen-Bang, FENG Xin-Yu, LIU Zhi-MingPublished August 06, 2020 (2 pages)2020,31(8):2283-2284 [Abstract(1346)] [View PDF(3471)297.73 K]Algorithms for Solving Algebraic Degree and Its Applications to SIMON-like AlgorithmsREN Jiong-Jiong, LI Hang, LIN Jian, CHEN Shao-ZhenPublished August 06, 2020 (12 pages)2020,31(8):2453-2464 [Abstract(1298)] [View PDF(3498)1.23 M]Joint Model for Sentiment Analysis and Review Quality Detection with User and Product RepresentationsWU Fan, WANG Zhong-Qing, ZHOU Xia-Bing, ZHOU Guo-DongPublished August 06, 2020 (16 pages)2020,31(8):2492-2507 [Abstract(1834)] [View PDF(3825)1.69 M]Crowdsourcing Test Method for Android Applications Based on Recording/ReplayCAO Yu-Zhong, WU Guo-Quan, CHEN Wei, WEI Jun, HUANG Tao, WANG SuPublished August 06, 2020 (22 pages)2020,31(8):2508-2529 [Abstract(2733)] [View PDF(7657)1.43 M]Latent Sparse Representation Classification Algorithm Based on Symmetric Positive Definite ManifoldCHEN Kai-Xuan, WU Xiao-JunPublished August 06, 2020 (13 pages)2020,31(8):2530-2542 [Abstract(1405)] [View PDF(3128)1.32 M]Optimization of Keyword-aware Optimal Route Query on Large-scale Road NetworksHAO Jin-Yao, NIU Bao-Ning, KANG Jia-XingPublished August 06, 2020 (14 pages)2020,31(8):2543-2556 [Abstract(1476)] [View PDF(3730)1.50 M]Private Data Protection Scheme for Consortium Blockchain Based on Two-layer CooperationCAI Liang, Duan Hao, YAN Meng, XIA XinPublished August 06, 2020 (17 pages)2020,31(8):2557-2573 [Abstract(3114)] [View PDF(5952)799.22 K]Medical Image Segmentation Using Semi-supervised Conditional Generative Adversarial NetsLIU Shao-Peng, HONG Jia-Ming, LIANG Jie-Peng, JIA Xi-Ping, OUYANG Jia, YIN JianPublished August 06, 2020 (15 pages)2020,31(8):2588-2602 [Abstract(2461)] [View PDF(5445)1.80 M]
Specification Language for Packet Parsers and Its Compiler ArchitectureLI Huang-Hua, LI Ling, ZHAO Yu, WANG Sheng-Yuan, LI Xiang-YuPublished August 06, 2020 (24 pages)2020,31(8):2285-2308 [Abstract(2827)] [View PDF(6558)2.72 M]High-order Typed Verifiable Application System Architecture Modelling and Its CaseLI Xiao-Ping, WUNIRI Qi-Qi-Ge, MA Shi-Long, LÜ Jiang-HuaPublished August 06, 2020 (27 pages)2020,31(8):2309-2335 [Abstract(2751)] [View PDF(8009)3.00 M]TPaxos Consensus Protocol in PaxosStore: Derivation, Specification, and RefinementYI Xing-Chen, WEI Heng-Feng, HUANG Yu, QIAO Lei, LÜ JianPublished August 06, 2020 (26 pages)2020,31(8):2336-2361 [Abstract(2920)] [View PDF(6421)6.30 M]Formal Modeling and Verification of Paxos Based on CoqLI Ya-Nan, DENG Yu-Xin, LIU JingPublished August 06, 2020 (13 pages)2020,31(8):2362-2374 [Abstract(2795)] [View PDF(6813)1.30 M]Operating System Task Management Requirements Layer Modeling and Verification Based on CoqJIANG Jing-Jing, QIAO Lei, YANG Meng-Fei, YANG Hua, LIU BoPublished August 06, 2020 (13 pages)2020,31(8):2375-2387 [Abstract(2980)] [View PDF(6700)1.30 M]Bounded Model Checking Liveness on Basic Parallel ProcessesTAN Jin-Hao, LI Guo-QiangPublished August 06, 2020 (16 pages)2020,31(8):2388-2403 [Abstract(2836)] [View PDF(5567)1.69 M]
Survey of Machine Learning Enabled Software Self-adaptationZHANG Ming-Yue, JIN Zhi, ZHAO Hai-Yan, LUO Yi-XingPublished August 06, 2020 (28 pages)2020,31(8):2404-2431 [Abstract(4351)] [View PDF(8628)1.17 M]Research Progress on Software Bug Localization Technology Based on Information RetrievalZHANG Yun, LIU Jia-Kun, XIA Xin, WU Ming-Hui, YAN HuiPublished August 06, 2020 (21 pages)2020,31(8):2432-2452 [Abstract(3559)] [View PDF(7828)794.97 K]Dimensional Speech Emotion Recognition ReviewLI Hai-Feng, CHEN Jing, MA Lin, BO Hong-Jian, XU Cong, LI Hong-WeiPublished August 06, 2020 (27 pages)2020,31(8):2465-2491 [Abstract(3663)] [View PDF(12064)968.01 K]State-of-the-art Survey of Intent-based NetworkingLI Fu-Liang, FAN Guang-Yu, WANG Xing-Wei, LIU Shu-Cheng, XIE Kun, SUN QiongPublished August 06, 2020 (14 pages)2020,31(8):2574-2587 [Abstract(4547)] [View PDF(11897)591.56 K]Survey on Performance Analysis, Optimization, and Applications of Heterogeneous Fusion ProcessorsZHANG Feng, ZHAI Ji-Dong, CHEN Zheng, LIN Jia-Zao, DU Xiao-YongPublished August 06, 2020 (22 pages)2020,31(8):2603-2624 [Abstract(3846)] [View PDF(7298)499.03 K]