Ironfleet: Proving Practical Distributed Systems Correct
COMMUNICATIONS OF THE ACM（2017）
关键词
Distributed Systems,Fault Tolerance,Fault Localization,Checkpointing,Heterogeneous Computing
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要
COMMUNICATIONS OF THE ACM（2017）