Collaborative editors; Operational transformation; Difference bound matrices; Symbolic model checking; Convergence property;
机译:FBSA:用于优化复制的基于闪存的调度算法
机译:FBSA:一种用于乐观复制的基于闪存的调度算法
机译:使用符号模型检查计算信息流
机译:乐观复制算法的符号模型检验
机译:ORLEASE:使用租赁版本向量的乐观复制租赁,以便在乐观复制系统中为更高的副本副本
机译:基于符号表示算法的惯性传感器人体活动识别
机译:乐观复制算法的符号模型检验