• AspectGrid

• 在0篇文章中引用[sw25135]
• 过错-容忍通过插入额外的模块。所提出的技术在整个操作过程中是可移植的系统...

• 迪克斯

• 引用2篇文章[sw30226]
• 粗集探索辅助软件系统（资源支持）。它利用了网格的优势。。。计算并提供一个健壮的过错 宽容计算量大的实验环境。我们提供。。。

• 交谈

• 1条引用[sw21935]
• 控制器的设计过错 容忍在保持稳定的意义上。。。反馈系统在标准的unity反馈配置下，在多个传感器或执行器下断层...

• VCWC公司

• 1条引用[sw08837]
• 竞争维护者框架。最后两个系统在精神上相似，但每个人都有。。。评估平台不支持过错-宽容执行实例运行。此外，基准统计。。。

• 远端

• 引用2篇文章[sw17451]
• 简化伪代码转换的框架过错 宽容将分布式算法转化为高效的可执行代码。没有。。。更确信系统真正体现了协议规范在纸上的体现。远端。。。

• 帕尔马

• 在0篇文章中引用[sw15226]
• 促进数据洗牌、负载平衡，过错 容忍以及流式数据处理。我们研究收敛性。。。在一个分布式的MPI中实现它系统展示近乎完美的加速。。。

• 地图集

• 引用了197篇文章[sw00056]
• 本文描述了自动调谐线性代数。。。

• ACL2

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

• 轰炸机

• 引用158篇文章[sw00086]
• 一个并行代数多重网格解算器与预处理器。。。

• 可可

• 参考文献621篇[sw00143]
• 可可是一种系统对于交换计算。。。

• 可可碱

• 引用了55篇文章[sw00144]
• 可交换的C++库。。。

• 可口可乐

• 在1784篇文章中引用[sw00161]
• Coq是一种正式的证据管理系统. 它。。。

• 胖子

• 参考11篇文章[sw00265]
• 我们描述FATCOP2.0，一个新的并行混合。。。

• 差距

• 引用2850篇文章[sw00320]
• GAP是系统对于计算离散代数。。。

• 伟大的SPN

• 引用57篇文章[sw00384]
• GreatSPN2.0是一个用于建模的软件包。。。

• 炒作

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

• 康德/喀什

• 参考文献155篇[sw00481]
• KASH/KANT是一门计算机代数系统（CAS）用于。。。

• 拉帕克

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

• 岩浆

• 引用2857篇文章[sw00540]
• 计算机代数系统（CAS）。岩浆是一个大的。。。

• 枫木

• 引用5040篇文章[sw00545]
• 经过30多年的切割。。。