找到6个数据集

标签: 基准测试分析

过滤结果

  • ICFP24_Based_代数效应与处理验证规范支持数据

    2026年1月30日 30 201 118

    数据集概述 本数据集是提交至ICFP24的论文《Specification and Verification for Unrestricted Algebraic Effects and Handling》的支持数据，包含论文相关的源代码和基准测试样例，所有内容压缩为一个归档文件。 文件详解 文件名称：AlgebraicEffect-...
    packageimg

  • AxSAT_JELIA_2025_SAT规划实验代码与结果数据

    2026年1月28日 30 118 7

    数据集概述 本数据集为JELIA 2025论文《AxSAT - Bringing Axioms to SAT Planning》的配套资源，包含扩展版Fast Downward规划系统代码、PDDL基准测试用例、原始实验数据及解析后的数据，共4个文件，用于支持SAT规划算法AxSAT的实验复现与分析。 文件详解 代码文件 文件名称：code.zip...
    packageimg

  • BBOB2018_Based_优化算法CMAES_APOP变体数据

    2026年1月27日 30 89 40

    数据集概述 本数据集为BBOB2018赛事相关的CMAES-APOP算法三个变体的实验数据，包含1个压缩文件，无目录层级结构，未划分训练/测试集、数据/标签集或原始/处理数据，文件类型单一为压缩格式。 文件详解 文件名称：dataBBOB2018_Manh.zip 文件格式：ZIP 字段映射介绍：压缩包内包含BBOB2018场景下CMAES-...
    packageimg

  • 组合式并发系统验证补充材料_2019

    2025年12月15日 30 105 1

    数据集概述 本数据集是论文《Compositional Verification of Concurrent Systems by Combining Bisimulations》的补充材料，包含带附录的论文全文、TFTP协议示例及RERS 2018挑战赛并行基准测试的模型、属性与验证脚本，为理解组合式并发系统验证方法提供支持。 文件详解 文件名称:...
    packageimg

  • WSN协议监控框架ProtoMon基准测试结果数据集

    2025年12月6日 30 1 0

    数据集概述 该数据集包含WSN协议监控框架ProtoMon基准测试实验的原始数据，ProtoMon是硕士论文《WSN测试床参数监控与可视化框架》的研究成果，为分析WSN协议监控性能提供数据支持。 文件详解 文件名称：Results.zip 文件格式：ZIP压缩包 内容说明：包含ProtoMon基准测试实验的原始数据，具体字段及结构需解压后查看 适用场景...
    packageimg

  • EvoDiff在MotifBench基准测试的评估结果数据集

    2025年12月4日 30 127 72

    数据集概述 本数据集包含EvoDiff模型在MotifBench基准测试中生成的结果及评估文件，通过压缩包形式存储，为模型性能验证提供数据支持。 文件详解 压缩文件组: evaluation_summary.zip: ZIP格式压缩文件，可能包含评估结果的汇总信息 scaffolds.zip: ZIP格式压缩文件，可能包含基准测试中使用的骨架结构数据...
    packageimg