• 流行性腮腺炎

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

  • 在233篇文章中引用[sw00019]
  • ADOL-C:C/C++的自动微分。我们呈现。。。
  • 武器

  • 引用63篇文章[sw00048]
  • ARMS:一个代数递归多层解算器。。。
  • ACL2

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