LINEARIZABILITY

作品数：3被引量：4H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关期刊：《Frontiers of Computer Science》《Science China(Information Sciences)》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Fault-tolerant precise data access on distributed log-structured merge-tree被引量：2
《Frontiers of Computer Science》2019年第4期760-777,共18页Tao ZHU Huiqi HU Weining QIAN Huan ZHOU Aoying ZHOU 
National Hightech R&D Program (2015AA015307);the National Natural Science Foundation of China (Grant Nos. 61702189, 61432006 and 61672232);Youth Science and Technology -“Yang Fan” Program of Shanghai (17YF1427800).
Log-structured merge tree has been adopted by many distributed storage systems. It decomposes a large database into multiple parts: an in?writing part and several read-only ones. Records are firstly written into a mem...
关键词：DISTRIBUTED data storage log-structured MERGE TREE LINEARIZABILITY fault tolerance 
Decidability of linearizabilities for relaxed data structures
《Science China(Information Sciences)》2018年第1期109-118,共10页Chao WANG Yi LV Peng WU 
supported by National Natural Science Foundation of China (Grants Nos. 61672504, 60721061, 60833001, 61572478, 61672503, 61100069, 61161130530);National Basic Research Program of China (973 Program) (Grant No. 2014CB340700)
Many recent implementations of concurrent data structures relaxed their linearizability requirements for better performance and scalability. Quasi-linearizability, k-linearizability and regular-relaxed linearizability...
关键词：concurrent data structures quantitative relaxation LINEARIZABILITY DECIDABILITY finite automata 
INTEGRABILITY AND LINEARIZABILITY FOR A CLASS OF CUBIC KOLMOGOROV SYSTEMS被引量：2
《Annals of Differential Equations》2010年第4期442-449,共8页Qinlong Wang , Haitao Wu (School of Information and Mathematics, Yangtze University, Jingzhou 434023, Hubei) 
supported by the Science Fund of Hubei Education Department(Q20091209)
The integrability and linearizability for a class of cubic Kolmogorov systems are studied. A recursive formula to compute the saddle quantities of the systems is deduced firstly, and integrable conditions for the syst...
关键词：cubic Kolmogorov system INTEGRABILITY LINEARIZABILITY 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部