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
PandaDB: Intelligent Management System for Heterogeneous Data. 69-90 - Baozhu Liu, Xin Wang, Pengkai Liu, Sizhuo Li, Xiaowang Zhang
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.
last updated on 2024-12-18 18:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: