发布求助
文献互助 智能选刊 最新文献

Int. J. Softw. Informatics最新文献

筛选
英文 中文
Raft with Out-of-Order Executions 木筏被乱枪决
Int. J. Softw. Informatics Pub Date : 1900-01-01 DOI: 10.21655/ijsi.1673-7288.00257
Xiaosong Gu, Hengfeng Wei, L. Qiao, Yu Huang
{"title":"Raft with Out-of-Order Executions","authors":"Xiaosong Gu, Hengfeng Wei, L. Qiao, Yu Huang","doi":"10.21655/ijsi.1673-7288.00257","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00257","url":null,"abstract":"PolarFS is a distributed file system developed by Alibaba variant of the Raft consensus protocol, called ParallelRaft.ParallelRaft execution of log entries and enables state machines to commit and execute log entries in an out open-sourced. It has only a brief description, lacking formal specification. proven or formally checked. We aim to provide a precise formal specification for ParallelRaft and prove its correctness make the following main contributions: First, to clarify the relationship b (Sequential Execution), which allows out-of-order commitment but prohibits out  基金项目: 国家自然科学基金 (61932021, 61772258); 五〇二所空间先进计算与电子信息专业实验室开放基金 2020-04) Foundation item: National Natural Science Foundation of China (61932021, 61772258), Space Advanced C Information Laboratory of BICE (OBCandETL-2020-04) 收稿时间: 2020-08-30; 修改时间: 2020-10-26, 2021-01-18 E-mail: jos@iscas.ac.cn http://www.jos.org.cn Tel: +86-10-62562563","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121817810","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Preface to Special Issue on New Technologies of Database Systems 数据库系统新技术专刊前言
Int. J. Softw. Informatics Pub Date : 1900-01-01 DOI: 10.21655/ijsi.1673-7288.00272
Guoliang Li, Ge Yu, Jun Yang, Ju Fan
{"title":"Preface to Special Issue on New Technologies of Database Systems","authors":"Guoliang Li, Ge Yu, Jun Yang, Ju Fan","doi":"10.21655/ijsi.1673-7288.00272","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00272","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123940382","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Preface to Special Issue on System Software Security 《系统软件安全专题》序言
Int. J. Softw. Informatics Pub Date : 1900-01-01 DOI: 10.21655/ijsi.1673-7288.00285
Min Yang, Chao Zhang, Fuxiao Song, Yuan Zhang
{"title":"Preface to Special Issue on System Software Security","authors":"Min Yang, Chao Zhang, Fuxiao Song, Yuan Zhang","doi":"10.21655/ijsi.1673-7288.00285","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00285","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123011877","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Autonomous Learning System Towards Mobile Intelligence 面向移动智能的自主学习系统
Int. J. Softw. Informatics Pub Date : 1900-01-01 DOI: 10.21655/ijsi.1673-7288.00247
Mengwei Xu, Yuanqiang Liu, Kang Huang, Xuanzhe Liu, Gang Huang
{"title":"Autonomous Learning System Towards Mobile Intelligence","authors":"Mengwei Xu, Yuanqiang Liu, Kang Huang, Xuanzhe Liu, Gang Huang","doi":"10.21655/ijsi.1673-7288.00247","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00247","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131943469","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Unsupervised New-set Domain Adaptation with Self-supervised Knowledge 基于自监督知识的无监督新集领域自适应
Int. J. Softw. Informatics Pub Date : 1900-01-01 DOI: 10.21655/ijsi.1673-7288.00269
Yunyun Wang, Guwei Sun, Guoxiang Zhao, H. Xue
{"title":"Unsupervised New-set Domain Adaptation with Self-supervised Knowledge","authors":"Yunyun Wang, Guwei Sun, Guoxiang Zhao, H. Xue","doi":"10.21655/ijsi.1673-7288.00269","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00269","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115595105","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An Extensible Heterogeneous Network Embedding Framework for Knowledge Tracing 面向知识跟踪的可扩展异构网络嵌入框架
Int. J. Softw. Informatics Pub Date : 1900-01-01 DOI: 10.21655/ijsi.1673-7288.00292
Xue He, Tiancheng Zhang, Minghe Yu, Gensitskiy Yu., Yuhai Zhao
{"title":"An Extensible Heterogeneous Network Embedding Framework for Knowledge Tracing","authors":"Xue He, Tiancheng Zhang, Minghe Yu, Gensitskiy Yu., Yuhai Zhao","doi":"10.21655/ijsi.1673-7288.00292","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00292","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"34 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121004971","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Memory Optimization System for SGXv2 Trusted Execution Environment SGXv2可信执行环境的内存优化系统
Int. J. Softw. Informatics Pub Date : 1900-01-01 DOI: 10.21655/ijsi.1673-7288.00287
Mingyu Li, Yubin Xia, Haibo Chen
{"title":"Memory Optimization System for SGXv2 Trusted Execution Environment","authors":"Mingyu Li, Yubin Xia, Haibo Chen","doi":"10.21655/ijsi.1673-7288.00287","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00287","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115033371","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Approach to Generating TAP Rules in IoT Systems Based on Enviro nment Modeling 基于环境建模的物联网系统TAP规则生成方法
Int. J. Softw. Informatics Pub Date : 1900-01-01 DOI: 10.21655/ijsi.1673-7288.00259
Minxue Pan, Jun Wei, Zhanqi Cui
{"title":"Approach to Generating TAP Rules in IoT Systems Based on Enviro nment Modeling","authors":"Minxue Pan, Jun Wei, Zhanqi Cui","doi":"10.21655/ijsi.1673-7288.00259","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00259","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129996180","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Counterexample-guided Spatial Flow Model Checking Methods for C Code 反例指导的C代码空间流模型检查方法
Int. J. Softw. Informatics Pub Date : 1900-01-01 DOI: 10.21655/ijsi.1673-7288.00286
Yinbo Yu, Jiajia Liu, Dejun Mu
{"title":"Counterexample-guided Spatial Flow Model Checking Methods for C Code","authors":"Yinbo Yu, Jiajia Liu, Dejun Mu","doi":"10.21655/ijsi.1673-7288.00286","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00286","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131568542","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Refcount Field Identification for Linux Kernel Based on Deep Learning 基于深度学习的Linux内核Refcount字段识别
Int. J. Softw. Informatics Pub Date : 1900-01-01 DOI: 10.21655/ijsi.1673-7288.00288
Xin Tan, Xiyu Yang, Jiajun Cao, Yuan Zhang
{"title":"Refcount Field Identification for Linux Kernel Based on Deep Learning","authors":"Xin Tan, Xiyu Yang, Jiajun Cao, Yuan Zhang","doi":"10.21655/ijsi.1673-7288.00288","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00288","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"205 10","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131845556","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信