• PSYNC

  • 4篇参考文献[SW17450]
  • 部分同步语言过错-宽容的 分布式的 算法.故障-宽容的 分布式的 算法扮演重要的角色异步通信及其发生故障,例如网络丢弃消息或计算机…设计与实现过错-宽容的 分布式的 算法并实现自动形式化验证。我们有。。。通过实现几个重要的PSYNC过错-宽容的 分布式的 算法并且我们比较了实现…
  • BYMC

  • 4篇参考文献[SW21699 ]
  • 门限保护的模型检验过错-宽容的 分布式的 算法(例如检查我们的基准……
  • 远端的

  • 2篇参考文献[SW17451 ]
  • 远端:一个实施框架过错-宽容的 分布式的 算法. 我们介绍了远端,一个新的框架…
  • 预凝胶

  • 23篇参考文献[SW13416]
  • 算法. 该模型已被设计用于高效、可扩展和过错-宽容的集群实现隐含同步性使得程序推理更加容易。销售相关的细节隐藏在抽象的背后…
  • 赛艇

  • 7篇参考文献[SW08199]
  • 程序可以写。问题销售在共享内存模型中处理进程…过错动作和安全规范,工具综合A过错-宽容的程序相应合成的符号实现算法[BK07]。SyPalm已成功地用于合成一些…文献中的协议过错-宽容的计算在分布式的系统(例如拜占庭协议、令牌……
  • 纳格萨特

  • 4篇参考文献[SW11453]
  • 可扩展的,过错-宽容的分布式的搜索范例。唠叨着沉重的尾巴销售被应用于各种各样的算法从文章的智慧文学。在这篇摘要中…
  • 余集

  • 1篇参考文献[ SW01949 ]
  • 包括多个消息交互的交互过错-容忍通过复制。运行时系统被扩展…促进施工和应用分布式的协调系统的实现。基于…的接口定义语言包括复制、“贪婪重用”的读者/作者问题算法和A分布式的谷歌PageRANK的计算…
  • 可可

  • 585篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • MATLAB

  • 11146篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 皂土

  • 253篇参考文献[SW0891]
  • 我们很高兴介绍Sto粪便,一个免费的…
  • 背心

  • 26篇参考文献[SW01405]
  • 组件——构建和分析组件的工具集