Volume 35, Number 6, November 2020
Retraction Note: Edge-Oriented Spatial Interpolation for Error Concealment of Consecutive Blocks.

Wei Fu Guangzong Xing

JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY.

Topic Modeling Based Warning Prioritization from Change Sets of Software Repository.

Jung-Been Lee Taek Lee Hoh Peter In

Neural Explainable Recommender Model Based on Attributes and Reviews.

Yu-Yao Liu Bo Yang Hongbin Pei Jing Huang

Predicting Code Smells and Analysis of Predictions: Using Machine Learning Techniques and Software Metrics.

Mohammad Y. Mhawish Manjari Gupta

Automatic Buffer Overflow Warning Validation.

Fengjuan Gao Yu Wang Linzhang Wang Zijiang Yang Xuandong Li

Modular Verification of SPARCv8 Code.

Junpeng Zha Xin-Yu Feng Lei Qiao

Verifying ReLU Neural Networks from a Model Checking Perspective.

Wan-Wei Liu Fu Song Tang-Hao-Ran Zhang Ji Wang

Jupiter Made Abstract, and Then Refined.

Heng-Feng Wei Rui-Ze Tang Yu Huang Jian Lv

Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow.

Qianqian Lin Shuling Wang Bohua Zhan Bin Gu

Specification and Verification of the Zab Protocol with TLA+.

Jiaqi Yin Huibiao Zhu Yuan Fei

Reachability of Patterned Conditional Pushdown Systems.

Xin Li Patrick Gardy Yuxin Deng Hiroyuki Seki

Automatically Identifying Calling-Prone Higher-Order Functions of Scala Programs to Assist Testers.

Yisen Xu Xiangyang Jia Fan Wu Lingbo Li Jifeng Xuan

Learning Human-Written Commit Messages to Document Code Changes.

Yuan Huang Nan Jia Hao-Jie Zhou Xiangping Chen Zibin Zheng Mingdong Tang

ProSy: API-Based Synthesis with Probabilistic Model.

Bin-Bin Liu Wei Dong Jiaxin Liu Yating Zhang Daiyan Wang

Preface.

Tao Xie Zhi Jin Xuandong Li Gang Huang Hausi A. Müller Jun Pang Li-Jun Zhang


Volume 35, Number 5, October 2020
Item Cold-Start Recommendation with Personalized Feature Selection.

Yifan Chen Xiang Zhao Jinyuan Liu Bin Ge Wei Ming Zhang

Evaluating and Constraining Hardware Assertions with Absent Scenarios.

Huina Chao Huawei Li Xiaoyu Song Tiancheng Wang Xiaowei Li

Evaluating and Improving Linear Regression Based Profiling: On the Selection of Its Regularization.

Xiangjun Lu Chi Zhang Dawu Gu Junrong Liu Qian Peng Hai-Feng Zhang

Machine Learning Techniques for Software Maintainability Prediction: Accuracy Analysis.

Sara Elmidaoui Laila Cheikhi Ali Idri Alain Abran

Comparison Between Deep Learning Models and Traditional Machine Learning Approaches for Facial Expression Recognition in Ageing Adults.

Andrea Caroppo Alessandro Leone Pietro Siciliano

Chinese Word Segmentation via BiLSTM+Semi-CRF with Relay Node.

Nuo Qun Hang Yan Xipeng Qiu Xuanjing Huang

Minimum Time Extrema Estimation for Large-Scale Radio-Frequency Identification Systems.

Xiaojun Zhu Lijie Xu Xiaobing Wu Bing Chen

A Spatiotemporal Causality Based Governance Framework for Noisy Urban Sensory Data.

Biying Yan Chao Yang Pan Deng Qiao Sun Feng Chen Yang Yu

Fault-Tolerant Hamiltonicity and Hamiltonian Connectivity of BCube with Various Faulty Elements.

Guijuan Wang Cheng-Kuan Lin Jianxi Fan Jingya Zhou Baolei Cheng

Detecting Anomalous Bus-Driving Behaviors from Trajectories.

Zhao-Yang Wang Beihong Jin Tingjian Ge Taofeng Xue

EasyModel: A Refinement-Based Modeling and Verification Approach for Self-Adaptive Software.

Deshuai Han Qiliang Yang Jianchun Xing Guang-Lian Ma

Predicted Robustness as QoS for Deep Neural Network Models.

Yue-Huan Wang Zenan Li Jingwei Xu Ping Yu Taolue Chen Xiaoxing Ma

FATOC: Bug Isolation Based Multi-Fault Localization by Using OPTICS Clustering.

Yonghao Wu Zheng Li Yong Liu Xiang Chen

Mining Design Pattern Use Scenarios and Related Design Pattern Pairs: A Case Study on Online Posts.

Dong Liu Zhilei Ren Zhong-Tian Long Guojun Gao He Jiang


Volume 35, Number 4, July 2020
Feature Selection for Malware Detection on the Android Platform Based on Differences of IDF Values.

Gökçer Peynirci Mete Eminagaoglu Korhan Karabulut

Active Learning Query Strategies for Classification, Regression, and Clustering: A Survey.

Punit Kumar Atul Gupta

Window Detection in Facades Using Heatmap Fusion.

Chuankang Li Hong-Xin Zhang Jia-Xin Liu Yuan-Qing Zhang Shan-Chen Zou Yu-Tong Fang

Color Image Super-Resolution and Enhancement with Inter-Channel Details at Trivial Cost.

Chuang-Ye Zhang Yan Niu Tie-Ru Wu Ximing Li

Cognition-Driven Traffic Simulation for Unstructured Road Networks.

Hua Wang Xiaoyu He Liu-Yang Chen Jun-Ru Yin Li Han Hui Liang Fubao Zhu Ruijie Zhu Zhimin Gao Mingliang Xu

Preserving Privacy of Software-Defined Networking Policies by Secure Multi-Party Computation.

Maryam Zarezadeh Hamid Mala Homa Khajeh

Data Security and Privacy in Bitcoin System: A Survey.

Liehuang Zhu Baokun Zheng Meng Shen Feng Gao Hongyu Li Kexin Shi

A Multi-Point Distance-Bounding Protocol for Securing Automatic Dependent Surveillance-Broadcast in Unmanned Aerial Vehicle Applications.

Zachary P. Languell Qijun Gu

Towards Accurate Bit Error Simulation in Wireless Sensor Networks Including Environmental Influences.

Sven Pullwitt Robert Hartung Ulf Kulau Lars C. Wolf

ATLRec: An Attentional Adversarial Transfer Learning Network for Cross-Domain Recommendation.

Ying Li Jia-Jie Xu Pengpeng Zhao Junhua Fang Wei Chen Lei Zhao

A Survey on Blocking Technology of Entity Resolution.

Bohan Li Yi Liu Anman Zhang Wen-Huan Wang Shuo Wan

User Account Linkage Across Multiple Platforms with Location Data.

Wei Chen Weiqing Wang Hongzhi Yin Junhua Fang Lei Zhao

DEM: Deep Entity Matching Across Heterogeneous Information Networks.

Chao Kong Bao-Xiang Chen Li-Ping Zhang

Enriching Context Information for Entity Linking with Web Data.

Yi-Ting Wang Jie Shen Zhixu Li Qiang Yang An Liu Pengpeng Zhao Jia-Jie Xu Lei Zhao Xun-Jie Yang

Preface.

Xiaofang Zhou Wen Hua


Volume 35, Number 3, May 2020
A Survey on Performance Optimization of High-Level Synthesis Tools.

Lan Huang Dalin Li Kangping Wang Teng Gao Adriano Tavares

Data-Driven Approaches for Spatio-Temporal Analysis: A Survey of the State-of-the-Arts.

Monidipa Das Soumya K. Ghosh

Deploy Efficiency Driven k-Barrier Construction Scheme Based on Target Circle in Directional Sensor Network.

Xinggang Fan Zhi-Cong Che Fengdan Hu Tao Liu Jinshan Xu Xiao-Long Zhou

Cloaking Region Based Passenger Privacy Protection in Ride-Hailing Systems.

Yubin Duan Guoju Gao Mingjun Xiao Jie Wu

Word-Pair Relevance Modeling with Multi-View Neural Attention Mechanism for Sentence Alignment.

Ying Ding Junhui Li Zhengxian Gong Guodong Zhou

Next POI Recommendation Based on Location Interest Mining with Recurrent Neural Networks.

Ming Chen Wenzhong Li Lin Qian Sanglu Lu Daoxu Chen

Distinguishing Computer-Generated Images from Natural Images Using Channel and Pixel Correlation.

Rui-Song Zhang Weize Quan Lu-Bin Fan Li-Ming Hu Dong-Ming Yan

EmotionMap: Visual Analysis of Video Emotional Content on a Map.

Cui-Xia Ma Jian-Cheng Song Qian Zhu Kevin T. Maher Ze-Yuan Huang Hong-An Wang

Automatic Video Segmentation Based on Information Centroid and Optimized SaliencyCut.

Huisi Wu Meng-Shu Liu Lulu Yin Ping Li Zhenkun Wen Hon-Cheng Wong

Reference Image Guided Super-Resolution via Progressive Channel Attention Networks.

Huanjing Yue Sheng Shen Jing-Yu Yang Haofeng Hu Yan-Fang Chen

Two-Stream Temporal Convolutional Networks for Skeleton-Based Human Action Recognition.

Jin-Gong Jia Yuanfeng Zhou Xing-Wei Hao Feng Li Christian Desrosiers Cai-ming Zhang

A Comprehensive Pipeline for Complex Text-to-Image Synthesis.

Fei Fang Fei Luo Hongpan Zhang Hua-Jian Zhou Alix L. H. Chow Chunxia Xiao

Denoising Stochastic Progressive Photon Mapping Renderings Using a Multi-Residual Network.

Zheng Zeng Lu Wang Beibei Wang Chun-Meng Kang Yanning Xu

Lane Detection: A Survey with New Results.

Dun Liang Yuanchen Guo Shaokui Zhang Tai-Jiang Mu Xiaolei Huang

Preface.

Shi-Min Hu Ying He Belén Masiá


Volume 35, Number 2, March 2020
Erratum to: A Framework for Supporting Tree-Like Indexes on the Chord Overlay.

Mingdong Zhu Derong Shen Yue Kou Tiezheng Nie Ge Yu

SIES: A Novel Implementation of Spiking Convolutional Neural Network Inference Engine on Field-Programmable Gate Array.

Shuquan Wang Lei Wang Yu Deng Zhi-Jie Yang Shasha Guo Ziyang Kang Yu-Feng Guo Weixia Xu

A Machine Learning Framework with Feature Selection for Floorplan Acceleration in IC Physical Design.

Shuzheng Zhang Zhen-Yu Zhao Chaochao Feng Lei Wang

Bigflow: A General Optimization Layer for Distributed Computing Frameworks.

Yuncong Zhang Xiaoyang Wang Cong Wang Yao Xu Jian-Wei Zhang Xiaodong Lin Guangyu Sun Gong-Lin Zheng Shan-Hui Yin Xian-Jin Ye Li Li Zhan Song Dong-Dong Miao

Huge Page Friendly Virtualized Memory Management.

Sai Sha Jingyuan Hu Yingwei Luo Xiaolin Wang Zhenlin Wang

IMPULP: A Hardware Approach for In-Process Memory Protection via User-Level Partitioning.

Yangyang Zhao Mingyu Chen Yuhang Liu Zong-Hao Yang Xiaojing Zhu Zonghui Hong Yunge Guo

Interference Analysis of Co-Located Container Workloads: A Perspective from Hardware Performance Counters.

Wen-Yan Chen Kejiang Ye Chengzhi Lu Dongdai Zhou Cheng-Zhong Xu

MPI-RCDD: A Framework for MPI Runtime Communication Deadlock Detection.

Hongmei Wei Jian Gao Peng Qing Kang Yu Yan-Fei Fang Ming-Lu Li

Optimistic Transaction Processing in Deterministic Database.

Zhiyuan Dong Chuzhe Tang Jia-Chen Wang Zhaoguo Wang Haibo Chen Binyu Zang

Preface.

Wen-Guang Chen Ying-Wei Luo Guang-Yu Sun

PetroKG: Construction and Application of Knowledge Graph in Upstream Area of PetroChina.

Xiang-Guang Zhou Ren-Bin Gong Fu-Geng Shi Zhe-Feng Wang

You Are How You Behave - Spatiotemporal Representation Learning for College Student Academic Achievement.

Xiao-Lin Li Li Ma Xiang-Dong He Hui Xiong

Exploiting Multiple Correlations Among Urban Regions for Crowd Flow Prediction.

Qiang Zhou Jingjing Gu Chao Ling Wen-Bo Li Yi Zhuang Jian Wang

Finding Communities by Decomposing and Embedding Heterogeneous Information Network.

Yue Kou Derong Shen Dong Li Tiezheng Nie Ge Yu

Sequential Recommendation via Cross-Domain Novelty Seeking Trait Mining.

Fuzhen Zhuang Ying-Min Zhou Haochao Ying Fuzheng Zhang Xiang Ao Xing Xie Qing He Hui Xiong

Semi-Supervised Classification of Data Streams by BIRCH Ensemble and Local Structure Mapping.

Yi-Min Wen Shuai Liu

Exploiting Structural and Temporal Influence for Dynamic Social-Aware Recommendation.

Yang Liu Zhi Li Wei Huang Tong Xu En-Hong Chen

Efficient Multiagent Policy Optimization Based on Weighted Estimators in Stochastic Cooperative Environments.

Yan Zheng Jianye Hao Zongzhang Zhang Zhao-Peng Meng Xiaotian Hao

Discrimination-Aware Domain Adversarial Neural Network.

Yunyun Wang Jian-Min Gu Chao Wang Songcan Chen Hui Xue

Joint Label-Specific Features and Correlation Information for Multi-Label Learning.

Xiuyi Jia Sai-Sai Zhu Wei-Wei Li

Incremental Multi-Label Learning with Active Queries.

Sheng-Jun Huang Guo-Xiang Li Wen-Yu Huang Shao-Yuan Li

Preface.

Min-Ling Zhang Yu-Feng Li Qi Liu


Volume 35, Number 1, January 2020
AquaSee: Predict Load and Cooling System Faults of Supercomputers Using Chilled Water Data.

Yuqi Li Li-Quan Xiao Jinghua Feng Bin Xu Jian Zhang

A Case for Adaptive Resource Management in Alibaba Datacenter Using Neural Networks.

Sa Wang Yan-Hai Zhu Shan-Pei Chen Tian-Ze Wu Wen-Jie Li Xusheng Zhan Haiyang Ding Weisong Shi Yungang Bao

CirroData: Yet Another SQL-on-Hadoop Data Analytics Engine with High Performance.

Zheng-Hao Jin Haiyang Shi Ying-Xin Hu Li Zha Xiaoyi Lu

Labeled Network Stack: A High-Concurrency and Low-Tail Latency Cloud Server Framework for Massive IoT Devices.

Wenli Zhang Ke Liu Yifan Shen Yazhu Lan Hui Song Mingyu Chen Yuan-Fei Chen

SmartPipe: Towards Interoperability of Industrial Applications via Computational Reflection.

Su Zhang Huaqian Cai Yun Ma Tian-Yue Fan Ying Zhang Gang Huang

ExaHDF5: Delivering Efficient Parallel I/O on Exascale Computing Systems.

Suren Byna M. Scot Breitenfeld Bin Dong Quincey Koziol Elena Pourmal Dana Robinson Jérome Soumagne Houjun Tang Venkatram Vishwanath Richard Warren

Mochi: Composing Data Services for High-Performance Computing Environments.

Robert B. Ross George Amvrosiadis Philip H. Carns Charles D. Cranor Matthieu Dorier Kevin Harms Greg Ganger Garth Gibson Samuel K. Gutierrez Robert Latham Robert W. Robey Dana Robinson Bradley W. Settlemyer Galen M. Shipman Shane Snyder Jérome Soumagne Qing Zheng

I/O Acceleration via Multi-Tiered Data Buffering and Prefetching.

Anthony Kougkas Hariharan Devarajan Xian-He Sun

GekkoFS - A Temporary Burst Buffer File System for HPC Applications.

Marc-Andre Vef Nafiseh Moti Tim Süß Markus Tacke Tommaso Tocci Ramon Nou Alberto Miranda Toni Cortes André Brinkmann

Gfarm/BB - Gfarm File System for Node-Local Burst Buffer.

Osamu Tatebe Shukuko Moriwake Yoshihiro Oyama

Lessons Learned from Optimizing the Sunway Storage System for Higher Application I/O Performance.

Qi Chen Kang Chen Zuoning Chen Wei Xue Xu Ji Bin Yang

Design and Implementation of the Tianhe-2 Data Storage and Management System.

Yutong Lu Peng Cheng Zhiguang Chen

Ad Hoc File Systems for High-Performance Computing.

André Brinkmann Kathryn Mohror Weikuan Yu Philip H. Carns Toni Cortes Scott Klasky Alberto Miranda Franz-Josef Pfreundt Robert B. Ross Marc-Andre Vef

Preface.