• 工艺

  • 1条引用[sw32911]
  • 更方便的应用程序级检查点/重启和自动 断层 公差. 为了有效地利用未来。。。几代超级计算机,过错 容忍电力消耗是预计的两个主要挑战。。。基于库工艺(检查点重启和自动 断层 公差),这有两个目的。第一。。。
  • MR4UM公司

  • 引用2篇文章[sw08198]
  • 要添加的状态图容忍新确定的断层. 特别是,MR4UM从程序开始。。。在UML状态图中建模,并且自动转换设计模型。。。生成过错-宽容程序。。。最后,先生自动转换过错-宽容将UCM中的程序转换为过错-宽容...
  • 林间空地

  • 引用3篇文章[sw02939]
  • 提供过错 容忍可以复制数据库;然后失败自动蒙面的。。。
  • VolpexMPI公司

  • 引用2篇文章[sw33353]
  • VolpexMPI设计是为了自动动态管理不同数量的过程副本。。。执行进度。钥匙过错 容忍所采用的技术是基于完全分布式发送器的。。。
  • 托帕斯

  • 引用2篇文章[sw02453]
  • 介绍了分布式系统的环境。托帕斯自动分析任务之间的数据依赖性并同步。。。调度、动态负载平衡和过错 容忍. 实验证明了并行编程的简单性和高效性。。。
  • 库奇达

  • 引用5篇文章[sw11079]
  • 复制。CouchDB支持主主设置自动的冲突检测。CouchDB有一套。。。缩放比例。CouchDB具有高可用性和分区性宽容,但最终也是一致的。。。关于你的数据。CouchDB有一个过错-宽容存储引擎,将安全。。。
  • 施耐德时钟同步

  • 1条引用[sw28681]
  • 兰波特和梅利亚尔·史密斯和断层-宽容Lundelius Lynch的中点算法,见施耐德。。。证明的某些部分自动的像ICS和CVC-lite这样的工具。这些。。。
  • ACL2

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

  • 引用2850篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 炒作

  • 引用263篇文章[sw00426]
  • hypre是一个解决方案的软件库。。。
  • 拉帕克

  • 在1626篇文章中引用[sw00503]
  • LAPACK是用Fortran 90编写的,它提供。。。
  • 岩浆

  • 引用2857篇文章[sw00540]
  • 计算机代数系统(CAS)。岩浆是一个大的。。。
  • 数学软件

  • 引用5883篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。