-
流行性腮腺炎
- 357篇参考文献[SW04013]
- 大型线性方程组的解法系统对称正定矩阵；一般对称矩阵；一般非对称矩阵…输入格式汇编格式；分布式的组合格式；基本格式；部分的因子分解和Schur补矩阵…流行性腮腺炎：FORTRAN、C、Matlab和ScILAB排序接口：AMD、AMF、POD、METIS、PARMETIS、苏格兰…
-
急速前进
- 38篇参考文献[ SW01249 ]
- 仿真工具集分布式的 系统由部分的 排序突发事件占地面积语言努力…大型建筑技术分布式的多语言系统. 这项技术是基于…
-
菲什帕克
- 89篇参考文献[ SW08012]
- 第二和第四排序可分椭圆的有限差分逼近部分的微分方程（PDE）。这些…计算。坐标奇异性系统处理，包括在原产地…当您下载文件时销售. MaFIX文件构建库和驱动程序…
-
TGFF
- 14篇参考文献[SW1768 9]
- 设计、运行系统（实时和通用），并行或分布式的硬件或软件…它要求问题实例由部分地-命令或任务的有向无环图（DAG）…
-
丽贝卡
- 8篇参考文献[SW09422]
- 并发模型的形式化基础分布式的 系统这是在努力设计的…介绍组合验证、抽象、对称和部分的 排序减少状态空间的减少技术…
-
利斯明
- 14篇参考文献[SW07214]
- 标记转换的模型检验与操作系统. LTSMIN已经连接了相当数量的现有…语言模块在排序200至600行的“胶”代码…向量集，完全符号（BDD）可达性，分布式的可达性（MPI）和多核可达性…符号算法的时间和内存消耗，部分的 排序约简和线性时态逻辑…
-
FDEM
- 6篇参考文献[SW1083]
- 解决方案系统非线性椭圆与抛物线部分的微分方程偏微分方程。算法…一致性排序从不同一致性差异公式的差异看PAQ排序…整个代码有效地并行化分布式的内存并行计算机…
-
SLDG
- 5篇参考文献[SW17637 ]
- 用于离散双曲的部分的微分方程（通常是第一个）排序方程）。因为这些方法…半Lagrangian discontinuous Galerkin法分布式的内存系统（所谓的集群）。两者都很强…
-
时隙
- 4篇参考文献[SW15830]
- 因其使用而广受欢迎分布式的 系统和同步语言。逻辑时间提供…能够处理A的微积分引擎部分的 排序符合约束集…
-
无损检测
- 5篇参考文献[SW1043]
- 数值估计第一和第二排序 部分的有限差分函数的导数。各种精确的对应公式排序…体系结构和MPI版本分布式的 系统（簇）。并行版本利用多处理…
-
海泰格
- 2篇参考文献[SW39099 ]
- 本文，一个新的通用高排序大规模并行模拟的有限元框架…性能优良。完全不同的抽象层次分布式的此外，数据结构确保了高度灵活性、可扩展性。元素空间。耦合实例场景系统属于部分的微分方程表明了该方法的适用性。
-
维兹利格
- 1篇参考文献[SW14819]
- 基础设施部分的从实验存储元件的数据集传输是在排序减少…多分散颗粒系统地理上不同大小的分布式的网格注意…
-
扫描迹等价
- 1篇参考文献[ SW28 575 ]
- 并发和分布式的 系统. 值得注意的是，Lamport认为这样的精妙概念。系统应该…某些验证技术，例如部分的-排序模型检验的简化。我们把口吃等价于形式…
