• 蟒蛇

  • 引用1378篇文章[sw14460]
  • 各种各样的系统。使用第三方工具,例如Py2exe或Pyinstaller,Python代码。。。在没有需要Python解释器的安装。(维基百科。。。
  • 正规化工具

  • 在680篇文章中引用[sw00797]
  • 正规化工具:一个用于分析和求解离散不适定问题的MATLAB软件包。版本。。。该软件包还包括12个测试问题。要求Matlab 7.3版。手册和更多细节。。。
  • PVS公司

  • 参考文献614篇[sw03484]
  • 与支持集成的规范语言工具还有一个定理证明者。它是为了捕捉。。。实际使用的压力暴露出新的要求...
  • PETSc公司

  • 参考1148篇文章[sw04012]
  • PETSc是一套复杂的软件工具因此,对于一些用户来说,它最初。。。例如gdb或dbx,它可能要求需要花费大量的时间。。。
  • 高超声速

  • 引用324篇文章[sw04125]
  • 海因奇是自动的工具用于分析嵌入式系统。赫尼奇计算条件。。。线性混合系统满足时间要求. 混合系统被指定为自动机的集合。。。有离散的和连续的成分,和时间的要求通过符号模型验证。。。HyTech标准参考工具...
  • 交易2

  • 引用549篇文章[sw03516]
  • 复杂的数据结构和算法必修的. 交易2的主要目的是使快速。。。自适应网格和广泛的数组工具有限元程序中常用的类。。。
  • PLTMG公司

  • 引用215篇[sw00717]
  • OpenGL显示工具SG。X-Windows、MPI和SG接口要求图书馆。。。
  • 锡林克斯

  • 引用93篇文章[sw07491]
  • 超越。锡林克斯提供发展工具支持可编程平台需要积极的步伐和需要。。。联盟成员的生态系统,正在提供发展工具他们正在定义下一代。。。
  • ANSYS软件

  • 引用655篇文章[sw00044]
  • 工程仿真是一个设计过程要求. 世界各地的组织都相信ANSYS能提供。。。与其他CAE不同的技术工具. 这些优点为工程设计增加了价值。。。
  • XFEM公司

  • 引用了358篇文章[sw01026]
  • 代码。编程环境提供了一个健壮的工具对于扩展有限元(XFEM)计算。。。旨在满足所有自然条件要求模块化、可扩展性和健壮性。为了方便网格。。。
  • GPstuff公司

  • 引用21篇文章[sw12867]
  • 高斯过程模型与计算工具 必修的为了推断。这个工具其中包括各种。。。
  • 克洛诺斯

  • 引用261篇文章[sw01270]
  • 克洛诺斯是个工具开发的目的是验证复杂的实时系统。真的。。。他们的正确性要求. 在克洛诺斯,实时系统的组成部分。。。
  • NSDTST公司

  • 引用了77篇文章[sw10818]
  • 主要目标是开发测试工具可以用来评估。。。方法没有需要方法的重大修改工具他们影响着。。。
  • 标准试验

  • 引用了77篇文章[sw10819]
  • 主要目标是开发测试工具可以用来评估。。。方法没有需要方法的重大修改工具他们影响着。。。
  • Trilinos公司

  • 引用了356篇文章[sw04028号文件]
  • 软件自带一套要求,它自己的开发团队和用户群。。。包装。它还提供了一套工具它可以帮助包开发人员构建。。。
  • 布拉特

  • 在34篇文章中引用[sw16891]
  • 布拉特-爆炸般的排列工具. 脊椎动物基因组分析要求快速mRNA/DNA和跨物种。。。比现在流行的速度快一倍工具对于mRNA/DNA比对和蛋白质比对速度要快50倍。。。大小、不匹配方案和数量必修的索引匹配。布拉特与其他路线相比。。。
  • CSparse公司

  • 引用195篇文章【sw20382】
  • 线性方程组。有效地解决这些问题要求对基础理论的深入了解。。。为读者提供工具有必要了解更大更复杂的软件。。。系统为读者提供工作知识必修的要使用稀疏解算器包并写入。。。
  • 班德拉

  • 第134条引用[sw07663]
  • 并发Java软件的特性。班德拉工具Set是一个完整的程序集合。。。输入Java源代码和一个软件要求用Bandera的时态规范语言形式化。。。几种现有的模型检验工具(包括Spin、dSpin、SMV和JPF)。两个程序切片。。。
  • 木桶

  • 引用172篇文章[sw02235]
  • 实用语言。适用于指定要求以及传统软件包的设计。。。语言。Casl的使用由工具...
  • UG公司

  • 引用了190篇文章[sw04596]
  • 具有足够普遍性的代码中的技术要求很多时间知道。。。克服这些问题。它提供了非常一般的工具对于非结构化的生成和操作。。。