• PETSc公司

  • 参考文献1121篇[sw04012]
  • PETSc是一套复杂的软件 工具因此,对于一些用户来说,它最初。。。使高效软件使用。然而,PETSc的力量。。。
  • 旋转

  • 参考文献707篇[sw03455]
  • Spin是一种流行的开源软件软件 工具全世界成千上万的人都在使用。。。分布式系统的形式化验证软件系统。这个工具是在贝尔实验室研发的。。。科学研究中心,始于1980年。这个软件从。。。2002年4月工具被授予享有盛誉的系统软件奖励。。。
  • DLMF

  • 引用第2127条[sw04968]
  • 参考文献、计算方法和链接软件. 网站的特色包括。。。方程搜索能力。信息技术工具必要的,是被使用的,是。。。
  • 龙骨

  • 引用100篇文章[sw06791]
  • 龙骨a软件 工具评估数据挖掘问题的进化算法。本文介绍。。。软件 工具命名为龙骨软件 工具为了评估数据的进化算法。。。与现有学习模式比较软件 工具. 此外,龙骨还设计了。。。
  • 可爱的

  • 引用213篇文章[sw14681]
  • 研究人员为他们的发展优化软件. 这个工具可以通过匿名获得。。。LANCELOT使用的输入格式(SIF)软件包装说明。认识到。。。软件并没有考虑到SIF,我们提供工具协助。。。
  • 爆炸

  • 参考文献124篇[sw02937]
  • BLAST(伯克利懒惰抽象)软件验证工具)是静电的软件验证工具... 它所依赖的组件是免费的软件. 爆炸本身是在Apache下发布的。。。
  • 班德拉

  • 在134篇文章中引用[sw07663]
  • 检查并发Java的属性软件. 班德拉工具集合是一个集成的集合。。。输入Java源代码和软件用Bandera的时态规范语言形式化的需求。。。几种现有的模型检验工具(包括Spin、dSpin、SMV和JPF)。两个程序切片。。。
  • 伊莎贝尔/霍尔

  • 引用933篇文章[sw01569]
  • 用一种正式的语言表达并提供工具在逻辑上证明这些公式。。。证明计算机硬件的正确性或软件以及证明计算机语言的性质。。。
  • 小品

  • 引用221篇[sw07692]
  • 提供基本工具为便于交换软件研究人员之间的数据在稀疏矩阵中。。。我们提供了一些工具. 除此之外,该软件包还提供程序。。。
  • 蟒蛇

  • 参考文献1251篇[sw14460]
  • 各种各样的系统。使用第三方工具,例如Py2exe或Pyinstaller,Python代码。。。系统,允许基于Python的软件在这些环境中使用而不需要。。。
  • ANSYS软件

  • 引用652篇文章[sw00044]
  • 我们无与伦比的深度和广度软件再加上其无与伦比的工程可扩展性,全面的多物理。。。与其他CAE不同的技术工具. 这些优点为工程设计增加了价值。。。
  • 雏菊

  • 引用42篇文章[sw09059]
  • 黛西:一个新的软件 工具为了测试生物和生理系统的全局可识别性。。。知识,到目前为止没有软件 工具提出了一种自动检验非线性系统可辨识性的方法。。。本文描述了一个软件 工具实现一个微分代数算法来执行参数。。。使用软件 工具雏菊出现了。黛西有空。。。
  • SAS/统计

  • 引用396篇文章【sw18788】
  • SAS/统计软件SAS系统的一个组件,提供全面的统计信息工具为了广泛。。。
  • 马蒂塔

  • 引用69篇文章[sw06140]
  • 博洛尼亚。交互式验证程序是软件 工具有助于形式证明的发展。。。
  • MRMC公司

  • 引用68篇文章[sw04129]
  • 奖励模型检查器(MRMC)是一个软件 工具为了验证概率模型的属性。。。
  • 事实++

  • 参考第67条[sw09836]
  • 为了创造更高效的软件 工具,并最大限度地提高可移植性。新的优化。。。
  • 麦克白

  • 引用98篇文章[sw16199]
  • 麦克白软件提供工具促进:完整的模型结构;管理涉及定性的复杂问题。。。判断。作为判决书软件,它自动验证它们的一致性。一个数字。。。
  • 策略

  • 引用49篇文章[sw07238]
  • 策略:软件 工具对于博弈论来说,Gambit是一个博弈论库软件...
  • ILOG计划

  • 参考61篇文章[sw21243]
  • 基于约束的技术和工具实现精确、灵活、高效和可扩展的调度。。。基于解算器,通用软件 工具用于ILOG的面向对象约束编程。解算器。。。