VCWC公司 swMATH ID: 8837 软件作者： 格恩瑟·查瓦特；Ianni，Giovambattista；托马斯·克伦瓦尔纳（Thomas Krennwallner）；马丁·克罗内格（Martin Kroneger）；安德烈亚斯·普凡德勒；克里斯托夫·雷德尔；马丁·施温格勒；斯彭迪埃，劳拉·卡塔琳娜；约翰·彼得·沃纳（Johannes Peter Wallner）；肖国辉 描述： VCWC：版本控制竞争工作流编译器。系统竞赛评估解算器，并在一个专用且受控的计算环境（通常由多台机器组成）中比较基准集上的最新实现。最近的一些举措（如[6]）旨在建立计算机科学评估的最佳实践，特别是确定为确保可重复性而采取的措施，排除常见缺陷，并引入适当的工具。例如，Asparagus[1]专注于维护基准及其实例。其他已知工具，如Runlim（url{http://fmv.jku.at/runlim/})和Runsolver[12]有助于限制资源并测量求解器运行的CPU时间和内存使用。其他系统是根据特定社区的特定需求定制的：2011年第三届ASP竞赛的未公开访问的ASP竞赛评估平台[4]实现了一个ASP竞赛运行框架。另一个更通用的平台是StarExec[13]，旨在为竞争维护者提供通用框架。最后两个系统在精神上是相似的，但每个系统都有减少通用可能性的限制：StarExec平台不支持通用解算器输入，也没有脚本支持，而ASP竞争评估平台不支持实例运行的容错执行。此外，只有在完成所有基准实例的所有求解器运行之后，才能计算基准统计信息和排名。 主页： http://link.springer.com/章节/10.1007%2F978-3-642-40564-8_23 相关软件： TPTP公司;芦笋;运行求解器;StarExec公司;RunLim公司 引用于： 0个文档