线性一致性相关论文
并发程序执行具有不确定性,交错空间大,导致并发缺陷难以检测。线性一致性是并发对象正确性的标准之一,而检测线性化通常需要在指......
作为一种基于强函数积分形式的无网格计算方法，SPH（Smoothed Particle Hydrodynamics）方法已经得到比较广泛的应用。然而，目前该方法还......
复制状态机作为分布式系统的主要容错手段,典型地使用复制日志来实现。该方法维持一组服务器上的多个复制日志彼此相同,同时要求每......
