• mpFq公司

  • 引用19篇文章[sw09337]
  • 运行时的字段。这个图书馆用于呈现基准一些曲线型的公众。。。
  • 法弗

  • 参考117篇文章[sw04123]
  • 帕尔玛多面体图书馆,它支持任意大的数字。为了管理多面体的复杂性。。。多面体。导航实验结果基准隧道二极管电路显示了这种效果。。。
  • ILTP

  • 引用28篇文章[sw00437]
  • 定理证明图书馆为测试和标杆管理自动定理证明。。。ILTP中存在问题的结果图书馆...
  • SNDlib公司

  • 引用72篇文章[sw00884]
  • SNDlib是一个图书馆可生存固定通信网络设计的测试实例。它的目的。。。研究社区,作为标准化服务基准用于测试、评估和比较网络设计。。。这个领域。为了这个目的图书馆包括一组网络设计实例在一起。。。
  • 气隙

  • 引用28篇文章【sw17977】
  • 加斯利布。A图书馆天然气网络实例。天然气是最重要的。。。提供一套大而逼真的基准实例。。。
  • 摊铺机

  • 引用51篇文章[sw04401]
  • 允许扩展图书馆以及建模和解决问题。数学模型。。。语言和一套基准也提供了。区间算法是由gaol支持的。。。
  • MBL公司

  • 引用8篇文章[sw00561]
  • 功能。一个MPI基准程序图书馆命名为MBL已经开发。。。
  • PQM4

  • 引用4篇文章[sw34496]
  • Cortex-M4。pqm4图书馆,标杆管理因此,测试框架开始了。。。微控制器。设计目标图书馆提供:自动化功能测试。。。开发板连接到);自动化标杆管理速度、堆栈使用率和代码大小;自动。。。
  • 本奇马克

  • 引用9篇文章[sw10619]
  • 旨在促进标杆管理任意R码。这个图书馆只包含一个函数。。。
  • zChaff公司

  • 引用了37篇文章[sw04757]
  • 行业最佳完整解决方案基准在2004年的SAT比赛中。。。编译成可链接的图书馆为了方便与用户应用程序集成。。。
  • 米尔普利布

  • 引用19篇文章[sw11220]
  • 图书馆海运库存路径问题实例:调查,核心模型,和基准结果。这篇论文。。。这些问题。最后,我们提出一个图书馆,称为MIRPLib,公开可用的测试问题实例。。。为此,我们(1)提供基准这类MIRPs的实例。。。
  • 维也纳

  • 引用21篇文章[sw06444]
  • 维也纳图书馆,我们研究了一个标准的分区方法基准问题。。。
  • ILLTP公司

  • 引用2篇文章[sw40829]
  • ILLTP公司图书馆对于直觉线性逻辑。标杆管理自动定理证明(ATP)系统使用标准化问题。。。他们的表现。但是图书馆因为非经典逻辑是非常有限的。。。这项工作我们建议图书馆对于标杆管理吉拉德(命题)直觉线性逻辑。。。保留命题的翻译基准在ILTP中图书馆最后,我们生成一个综合的。。。
  • MLPACK公司

  • 在14篇文章中引用[sw08468]
  • 可伸缩的多平台C++机器学习图书馆2011年底发布,提供了一个简单的。。。算法基准表现出比其他领先的机器学习更好的性能图书馆.MLPACK版本。。。
  • FedML公司

  • 引用2篇文章[sw34090]
  • FedML:一项研究图书馆基准用于联合机器学习。学习是一种快速的。。。已经做出了相当多的研究工作图书馆无法充分支持不同的算法开发。。。介绍FedML,一项开放性研究图书馆基准这促进了新联邦的发展。。。
  • 迪巴普

  • 引用15篇文章[sw08343]
  • 多层次框架内的启发式。当这些图书馆很快,他们的解决方案。。。较慢的算法。流行的实验基准图表显示DibaP计算的结果总是比。。。最先进的图书馆勇气和竞争。此外,使用我们的新算法,我们已经。。。广泛使用的六个分区数基准图。。。
  • PGLib OPF公司

  • 1条引用[sw34018]
  • 电网库-最佳功率流。这个基准 图书馆由IEEE管理和维护。。。动机和目标基准 图书馆...
  • 达克班特

  • 1条引用[sw38657]
  • 达斯本:A基准 图书馆动态算法配置。动态算法配置(DAC)旨在动态地。。。然而,是困难的,既然存在基准通常是专用的,并且与相同的接口不兼容。。。建议DACBench,a基准 图书馆旨在收集和标准化现有的DAC基准从。。。