-
流行性腮腺炎
- 引用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]
- 同时和分布式 系统. 值得注意的是,兰波特认为,这种改进的概念系统应该。。。某些验证技术,如部分-秩序简化模型检查。我们形式化的口吃等价。。。