• 心理同步

  • 引用4篇文章[sw17450]
  • 部分同步语言过错-宽容 分布式 算法.断层-宽容 分布式 算法扮演一个重要的。。。异步通信与断层,例如网络丢弃消息或计算机。。。设计和实现过错-宽容 分布式 算法实现了自动化的正式验证。我们有。。。PSync通过实现几个重要的过错-宽容 分布式 算法我们比较了执行情况。。。
  • ByMC公司

  • 引用4篇文章[sw21699]
  • 门限保护的模型检验过错-宽容 分布式 算法(例如,检查我们的基准。。。
  • 远端

  • 引用2篇文章[sw17451]
  • 远端:实现过错-宽容 分布式 算法. 我们介绍远端,一个新的框架。。。
  • 普雷格尔

  • 引用31篇文章[sw13416]
  • 算法. 该模型设计为高效、可扩展和过错-宽容群集上的实现。。。隐含的同步性使程序的推理更容易。分配-相关的细节隐藏在一个抽象的。。。
  • DiskPaxos公司

  • 引用2篇文章[sw29236]
  • 磁盘帕克斯是一个算法为了任意建造过错-宽容 分布式系统。说明书。。。
  • 风车

  • 参考7篇文章[sw08199]
  • 进程可以写入。问题分布在共享内存模型中,进程。。。过错操作和安全规范,工具综合了过错-宽容程序。。。各自合成的符号实现算法[BK07]。Sycraft已成功地用于合成一些。。。文献中的协议过错-宽容计算分布式系统(例如,拜占庭协议、代币。。。
  • 纳格卫星

  • 引用4篇文章[sw11453]
  • 可扩展,过错-宽容,分布式搜索范式。唠叨利用了沉重的尾巴分布... 应用于各种算法来自人工智能文献。在这个摘要中。。。
  • 库塞特

  • 1条引用[sw01949]
  • 交互包括多个消息交互和过错-容忍通过复制。运行时系统被扩展。。。便于施工和应用分布式协调制度的实施。一种基于接口定义语言。。。读写器问题包括复制,“贪婪的重用”算法还有一个分布式谷歌pageranks的计算。。。
  • ACL2

  • 引用277篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 宿便

  • 引用269篇文章[sw00891]
  • 我们很高兴向您介绍SOSTOOL,一种免费的。。。
  • 马甲

  • 参考第26条[sw01405]
  • VEST——一个用于构造和分析组件的工具集。。。