• 流行性腮腺炎

  • 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认为这样的精妙概念。系统应该…某些验证技术,例如部分的-排序模型检验的简化。我们把口吃等价于形式…