找到3个数据集

标签: 基准测试分析

过滤结果

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

    2025年12月15日 30 146 115

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

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

    2025年12月6日 30 170 67

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

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

    2025年12月4日 30 31 29

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