Следене
Lingzhi Ouyang
Lingzhi Ouyang
Потвърден имейл адрес: smail.nju.edu.cn
Заглавие
Позовавания
Позовавания
Година
Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores
L Ouyang, Y Huang, H Wei, J Lu
IEEE Transactions on Parallel and Distributed Systems 32 (4), 815-829, 2020
52020
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service
L Ouyang, Y Huang, B Huang, X Ma
Dependable Software Engineering. Theories, Tools, and Applications: 9th …, 2023
2023
Conflict-free Replicated Priority Queue: Design, Verification and Evaluation
Y Zhang, L Ouyang, Y Huang, X Ma
Proceedings of the 14th Asia-Pacific Symposium on Internetware, 302-312, 2023
2023
Inversion-based Measurement of Data Consistency for Read/Write Registers
Y Huang, H Wei, M Huang, L Ouyang
arXiv preprint arXiv:1901.02192, 2019
2019
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–4