Lingzhi Ouyang | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Yu Huang
49 publications
Hengfeng Wei
11 publications
Xiaoxing Ma
10 publications
Binyu Huang
1 publication
Maosen Huang
1 publication

research

∙ 02/06/2023

Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service

ZooKeeper is a coordination service, widely used as a backbone of variou...

0 Lingzhi Ouyang, et al. ∙

research

∙ 01/08/2019

Inversion-based Measurement of Data Consistency for Read/Write Registers

Both provides and consumers of distributed storage services can benefit ...

0 Yu Huang, et al. ∙