


default search action
International Journal of Software and Informatics, Volume 11
Volume 11, Number 1, 2021
- Lei Chen, Hongzhi Wang, Yongxin Tong, Hong Gao:

Preface to the Special Issue on Data Management and Analysis Technique Supporting AI. 1-4 - Anbiao Wu, Ye Yuan, Yuliang Ma, Guoren Wang:

Node Embedding Research Over Temporal Graph. 5-28 - Fei Gao, Shaoxu Song, Jianmin Wang

:
Time Series Data Cleaning under Multi-Speed Constraints. 29-54 - Changsheng Li, Qixing Min, Yurong Cheng, Ye Yuan, Guoren Wang:

Local Semantic Structure Captured and Instance Discriminated by Unsupervised Hashing. 55-67 - Zhihong Shen, Zihao Zhao, Huajin Wang, Zhongxin Liu, Chuan Hu

, Chunyuan Zhou:
PandaDB: Intelligent Management System for Heterogeneous Data. 69-90 - Baozhu Liu, Xin Wang, Pengkai Liu, Sizhuo Li, Xiaowang Zhang

, Yajun Yang:
KGDB: Knowledge Graph Database System with Unified Model and Query Language. 91-116
Volume 11, Number 2, 2021
- Yanjun Wu:

Preface: Special Issue on Advances in System Software. 117-119 - Fengjuan Gao, Yu Wang, Tianjiao Chen, Lingyun Situ, Linzhang Wang, Xuandong Li:

Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis. 121-147 - Mengwei Xu, Yuanqiang Liu, Kang Huang, Xuanzhe Liu, Gang Huang:

Autonomous Learning System Towards Mobile Intelligence. 149-168 - Dingji Li, Zeyu Mi, Baodong Wu, Xun Chen, Yongwang Zhao, Zuohua Ding, Haibo Chen:

Accelerator Virtualization Framework Based on Inter-VM Exitless Communication. 169-193 - Hongjun Zhang, Yanjun Wu, Heng Zhang, Libo Zhang

:
Hybrid Access Cache Indexing Framework Adapted to GPU. 195-216 - Guanyu Liang, Yanjun Wu, Jingzheng Wu, Chen Zhao:

Open Source Software Supply Chain for Reliability Assurance of Operating Systems. 217-241 - Wenqi Lou, Chao Wang, Lei Gong, Xuehai Zhou:

Neural Network Instruction Set Extension and Code Mapping Mechanism. 243-258
Volume 11, Number 3, 2021
- Minxue Pan, Jun Wei, Zhanqi Cui:

Approach to Generating TAP Rules in IoT Systems Based on Enviro nment Modeling. 259-262 - Bian Han, Xiaohong Chen, Zhi Jin, Min Zhang:

Approach to Generating TAP Rules in IoT Systems Based on Enviro nment Modeling. 263-286 - Ting Cai, Hui Lin, Wuhui Chen, Zibin Zheng, Yang Yu:

Efficient Blockchain-Empowered Data Sharing Incentive Scheme for Internet of Things. 287-313 - Menghan Zhang, Dehui Du, Mingzhuo Zhang, Lei Zhang, Yao Wang, Wentao Zhou:

A Meta-Modeling Approach for Autonomous Driving Scenario Based on STTD. 315-333 - Fengjuan Gao, Yu Wang, Lingyun Situ, Linzhang Wang:

Deep Learning-Based Hybrid Fuzz Testing. 335-355 - Yingkui Cao, Zeyu Sun, Yanzhen Zou, Bing Xie:

Structurally-Enhanced Approach for Automatic Code Transformation. 357-378
Volume 11, Number 4, 2021
- Cong Tian, Yuxin Deng, Yu Jiang:

Preface to the Topic of Formal Methods and Their Applications. 379-381 - Li Kuang, Ruyi Shi, Leihao Zhao, Huan Zhang, Honghao Gao:

Automatic Generation of Large-Granularity Pull Request Description. 383-403 - Zongyin Hao, Faming Lu:

Reverse Unfolding of Petri Nets and its Application in Program Data Race Detection. 405-428 - Yin Lu, Shudong Qin, Leqi Xi, Yunwei Dong:

On Schedulability Analysis of AADL Architecture with Storage Resource Constraint. 429-452 - Xiao Liu, Zhaohui Zhang, Ziming Wei, Pengwei Wang:

Smooth Intervention Model of Individual Interactive Behavior. 453-472 - Xiaosong Gu, Hengfeng Wei, Lei Qiao, Yu Huang:

Raft with Out-of-Order Executions. 473-503 - Qian Lu, Xiaojuan Li, Yong Guan, Rui Wang, Zhi-Ping Shi:

Modeling and Analysis of Data Flow-Oriented ROS2 Data Distribution Service. 505-520

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














