自稳定算法相关论文
本文介绍了分布式系统中自稳定性的意义和特点,强调自稳定性为分布式系统带来的无需初始化和系统容错的良好特性。通过对一个自稳......
分布式系统的一个重要的基本问题是选举算法。本文主要对这个问题展开研究,通过对松散稳定型选举算法(Loosly-Stabilizing Leader ......
介绍了分布式系统的自稳定性以及原型验证系统(PVS),阐述了从形式化角度验证系统性质的方法.使用PVS对分布式系统及系统中的自稳定算......
选举问题是分布式计算中的一个基本问题。它一直受到广泛关注,先后发表了一大批研究论文。但是,现有的研究较少涉度选举算法的自稳定......