JCST - volume 35 - 2020 论文列表 |
| 点击这里查看 Journal of Computer Science and Technology 的JCR分区、影响因子等信息 |
Volume 35, Number 6, November 2020
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
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. Mining Design Pattern Use Scenarios and Related Design Pattern Pairs: A Case Study on Online Posts.Volume 35, Number 4, July 2020
Gökçer Peynirci Mete Eminagaoglu Korhan Karabulut
Active Learning Query Strategies for Classification, Regression, and Clustering: A Survey. 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. 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.Volume 35, Number 3, May 2020
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. 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.Volume 35, Number 2, March 2020
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. 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. Preface.Volume 35, Number 1, January 2020
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.