• 引用567篇文章[sw06916]
  • 难度SAT的幅度性能改进基准与其他解算器(DP或其他。。。
  • PSPLIB公司

  • 引用250篇文章[sw00740号]
  • 问题库。我们提出一套基准评估解决方案程序的实例。。。ProGen的输入参数。整个基准包括它的详细特征和最好的。。。现场。因此,研究人员可以下载基准他们需要的评估他们的。。。
  • MIPLIB公司

  • 引用了300篇文章[sw04067]
  • 各种学术和工业应用标杆管理以及mip解决方案算法的测试。。。
  • 优化软件的基准测试

  • 在134篇文章中引用[sw04617]
  • 基准对于优化软件:在这里,我们提供关于比较不同解决方案方法的测试运行信息。。。相同或不同的计算机系统。标杆管理是非线性问题的难点,因为。。。根据您的具体申请。很多基准结果可以在文献中找到。。。
  • NAS并行基准测试

  • 引用128篇文章[sw08853]
  • 平行基准(NPB)是一个小的程序集,旨在帮助评估性能。。。并行超级计算机。这个基准从计算流体力学(CFD)的应用和组成。。。铅笔和纸”规范(NPB 1)。这个基准套房已经扩展到包括。。。基准适用于非结构化自适应网格、并行I/O、多区域应用和计算网格。问题大小。。。
  • NETGEN公司

  • 在146篇文章中引用[sw09229]
  • 网络问题与一组基准由此产生的问题。代码“NETGEN。。。在一个类中改变结构特征。问题基准关于目前可用的几种代码。。。
  • SMT-LIB公司

  • 引用182篇文章[sw04103]
  • 共同标准和图书馆基准将极大地促进评价和比较。。。
  • BSDS系统

  • 引用172篇文章[sw14427]
  • 伯克利分段数据集和基准. 人类分割自然影像资料库及其应用。。。
  • CEC 05

  • 引用166篇文章[sw18811]
  • 实参数优化。。在本报告中,25基准给出了函数,并进行了实验。。。
  • RCV1型

  • 参考109篇文章[sw07279]
  • RCV1:一个新的基准文本分类研究的集合。路透社语料库第一卷(RCV1。。。修正数据为RCV1-v2。我们基准几种广泛使用的RCV1监督学习方法。。。
  • 参考文献125篇【sw24855】
  • 20个集合的收敛性能基准问题。玉与外部档案显示。。。
  • 大锤

  • 引用了119篇文章[sw07047]
  • 伊莎贝尔的战术基准从伊莎贝尔和TPTP图书馆。大锤提供。。。
  • 滑溜

  • 引用80篇文章[sw01095]
  • 严格的编程和文档标准。标杆管理也就是说,一组标准化的例子允许。。。关于正确性、准确性和速度。标杆管理也能洞察行为。。。
  • 法弗

  • 参考109篇文章[sw04123]
  • 多面体。导航实验结果基准隧道二极管电路显示了这种效果。。。
  • BEMECH公司

  • 参考105篇文章[sw10847]
  • 计算机代码,f)表示基准问题与应用。这本书将。。。
  • CSPLib公司

  • 引用92篇文章[sw04150]
  • 技术报告页)相关清单基准库链接到约束求解器历史。。。
  • 米本奇

  • 引用51篇文章[sw04421]
  • 并将其与现有的基准套件,SPEC2000。SimpleScalar的新版本。。。用于描述基准使用类似“当前”和“下一个”的配置。。。现有规范中具有代表性的嵌入式程序基准包括指令分配、内存行为和可用。。。平行性。嵌入的基准名为MiBench,所有研究人员都可以免费使用。。。
  • 长凳

  • 引用了55篇文章[sw27644号]
  • 基准线性时不变动力系统模型简化实例。我们提出一个基准... 请在此描述基准示例。。。