• 算法656

  • 在10篇文章中引用【sw20254】
  • 本文描述了一个模型的实现和测试 软件对于二级基本线性代数。。。存在或不需要。这个测试 软件旨在验证专用实现是否满足。。。
  • 亚当斯

  • 引用46篇文章[sw06593]
  • 广泛应用的多体动力学和运动分析软件在世界上。亚当斯帮助工程师。。。他们产品的性能。传统的“建造和测试“设计方法昂贵、耗时。。。Adams多体动力学软件使工程师能够轻松创建测试机械虚拟样机。。。
  • 参考33篇文章[sw00357]
  • 算法在软件包装球。这个测验是按照某种标准。。。测试函数与一类NP难全局优化问题在实践中的应用。。。结果显示了新的软件...
  • CGAL公司

  • 引用335篇文章[sw00118]
  • 喜欢点和线段,并执行几何运算测验在他们身上。这些对象和谓词。。。进一步提供与第三方的接口软件比如GUI库Qt,Geomview。。。
  • 警察

  • 参考33篇文章[sw08461]
  • 标杆优化软件和警察在一起。我们正在继续发展警察,一个大规模的。。。收藏是为了提供困难测试优化案例软件. 当前版本中的问题。。。
  • qHiPSTER公司

  • 引用9篇文章[sw27649]
  • 量子高性能软件 测试环境。我们介绍qHiPSTER,量子高性能。。。软件 测试环境。qHiPSTER是一个分布式高性能量子模拟器的实现。。。在超级计算机上,我们模拟量子电路(“量子软件)最多40个量子位。我们带着。。。
  • 厌恶集

  • 引用21篇文章[sw06062]
  • 测试为开源中僵硬的初始值问题解决者设置软件R: 包。。。测试问题和大多数Fortran解算器。包deTestSet是免费的软件...
  • NModel公司

  • 参考11篇文章[sw11364]
  • NModel是基于模型的测试以及模型程序的分析框架。。。书中使用的模型基于软件 测试用。与。。。
  • 提森

  • 在147篇文章中引用[sw00967]
  • 降维,Lyapunov估计,非线性测试讨论的重点是。。。策略作为TISEAN公开可用软件包裹。每种算法的使用将。。。
  • IR工具

  • 引用了20篇文章[SW72261号]
  • MATLAB语言软件迭代正则化方法和测试大规模线性逆问题。。。问题。这个软件这个名为IR-Tools的包有两个相关的用途:我们提供实现。。。提供一套大型测试离散化形式的问题。。。
  • 算法829

  • 引用了37篇文章[sw04467]
  • 算法829:软件生成类测试具有已知局部和全局的函数。。。
  • veriSoft公司

  • 引用了91篇文章[sw01489]
  • 死锁等)和断言冲突软件通过产生、控制和观察。。。组件。它集成了自动测试在单一框架中生成、执行和评估。VeriSoft包括。。。
  • 斯维姆莱特

  • 引用文献257篇[sw04076]
  • 成千上万个有效的支持向量。这个软件同时也提供了评估泛化能力的方法。。。几乎没有偏见的估计提供了遗漏测试. SVMlight利用大多数。。。
  • G流量

  • 引用9篇文章[sw21518]
  • 特别强调软件 测试并且能够利用GPU硬件。。。
  • F外壳

  • 引用8篇文章[sw14481]
  • 的使用模式和性能要求软件 测试与正式的验证有很大不同。。。FShell工具提供了一个通用的测试支持交互式探索的C程序环境。。。脚本语言。不仅仅是一个前端软件模型跳棋,FShell是设计。。。描述支持高效的架构修改测试案例生成。。。
  • 阿特根

  • 参考11篇文章[sw07275号]
  • ATGen:自动测试使用约束逻辑编程和符号执行生成数据。。。验证和确认软件通过动态测试是一个软件工程在哪里。。。特别是自动设计和生成测试总的来说,数据仍然是一本手册。。。
  • 琵琶

  • 参考7篇文章[sw01252]
  • 琵琶:A测试同步环境软件... 现在的琵琶测试同步无功软件. Lutess提供了一个基于。。。光彩语言。它体现了几个方面测试技术:随机测试有或没有操作配置文件、规范。。。第二节介绍了测试反应性软件从测试员那里得到琵琶。。。
  • 缺陷4J

  • 引用4篇文章[sw26882]
  • Java程序。实证研究软件 测试研究可能不具有可比性、可重复性或特征性。。。Bug在软件 测试研究。提取和复制真正的错误。。。可在软件 测试研究。Defects4J的初始版本包含。。。中常见任务的级别接口软件 测试研究,使它更容易控制。。。
  • 算法692

  • 引用5篇文章[sw13131号]
  • 本文描述了一个模型实现和测试 软件对于稀疏基本线性代数子程序。。。存在或不需要。这个测试 软件旨在验证优化后的实现。。。