-
流行性腮腺炎
- 引用421篇文章[sw04013]
- 大型线性方程的求解系统具有对称正定矩阵；一般对称矩阵；一般非对称。。。输入格式汇编格式；分布式组合格式；基本格式；部分矩阵与补矩阵分解。。。流行性腮腺炎：Fortran、C、Matlab和Scilab；几个订购接口：AMD，AMF，PORD，METIS，PARMETIS，SCOTCH。。。
-
急流
- 在38篇文章中引用[sw01249]
- 仿真工具集分布式 系统通过部分 订购急流事件™ 语言努力。。。建造大型建筑的技术，分布式多种语言系统. 这项技术基于。。。
-
菲什帕克
- 引用92篇文章[sw08012]
- 第二和第四-秩序可分椭圆的有限差分逼近部分微分方程（PDE）。这些。。。计算的。坐标引起的奇异性系统处理，包括在原点。。。当你下载这个文件的时候分布. Makefile生成库和驱动程序。。。
-
转化生长因子
- 引用15篇文章[sw17689]
- 设计、操作系统（实时和通用）、并行或分布式硬件或软件。。。这要求问题实例包括部分-命令或者任务的有向无环图（DAG）。。。
-
丽贝卡
- 引用8篇文章[sw09422]
- 并行与并行建模的形式化基础分布式 系统这是为了。。。介绍组合验证、抽象、对称和部分 秩序减少状态空间的简化技术。。。
-
LTSmin公司
- 引用18条[sw07214]
- 模型检查和标记转换操作系统. LTSmin已经连接了大量现有的。。。语言模块位于秩序200-600行C“胶水”代码。。。向量集），全符号（基于BDD）可达性，分布式可达性（基于MPI）和多核可达性。。。符号算法的时间和内存消耗），部分 秩序简化和线性时序逻辑。。。
-
FDEM公司
- 引用8篇文章[sw10383]
- 解决方案系统非线性椭圆和抛物线部分微分方程。一种算法。。。一致性秩序$q$.par来自不同一致性的差分公式的差异秩序... 整个代码在分布式内存并行计算机。。。
-
NDL公司
- 参考6篇文章[sw10433]
- 数值估算第一和第二秩序 部分用有限差分法求函数的导数。各种各样的。。。精确到秩序... 体系结构和MPI版本分布式 系统（群集）。并行版本利用了多重处理。。。
-
sldg公司
- 引用5篇文章[sw17637]
- 用于离散双曲型部分微分方程（通常是第一个秩序方程式）。因为这些方法。。。半拉格朗日间断Galerkin方法分布式记忆系统（所谓的集群）。都很坚强。。。
-
时间单位
- 引用4篇文章[sw15830]
- 因其在分布式 系统以及同步语言。逻辑时间提供。。。微积分引擎能够处理部分 秩序符合约束条件。。。
-
维兹利特
- 引用2篇文章[sw14819]
- 基础设施。部分实验存储元素的数据集传输是在中开发的秩序为了减少。。。多分散粒子系统在不同的地理位置分布式网格。注意。。。
-
赫特格
- 引用2篇文章[sw32099]
- 这篇文章，一个新的通用高等-秩序大规模并行模拟的有限元框架。。。出色的性能。不同的抽象层次和分布式此外，数据结构还确保了高度的灵活性、可扩展性。。。元素空间。耦合的示例场景系统属于部分微分方程显示了它的适用性。。。
-
结巴对等
- 1条引用[sw28575]
- 同时和分布式 系统. 值得注意的是，兰波特认为，这种改进的概念系统应该。。。某些验证技术，如部分-秩序简化模型检查。我们形式化的口吃等价。。。
