乐观方法相关论文
接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具.接口自动机在处理组件组合问题时所使用的"乐观方法"和博弈思......
分布式数据库系统通常采用2PL（两阶段锁定协议）来维护其一致性。本文运用Shadow—Opt方法．通过区分写操作将新旧算法结合从而保证一致......
