找到2个数据集

标签: 基准测试用例

过滤结果

  • SAS25_Future_Conditions_Based_论文实验验证配套完整数据

    2025年12月19日 30 137 0

    数据集概述 本数据集为SAS25会议论文《Specifying and Verifying Future Conditions》的配套工件，包含用于复现论文实验结果的文档与压缩包，提供Docker镜像使用说明及实验步骤指导，支持论文中表3结果的验证。 文件详解...
    packageimg

  • 内存高效不动点计算数据集2020

    2025年12月7日 30 137 36

    数据集概述 本数据集为论文《Memory-Efficient Fixpoint Computation》（SAS2020）的原始数据，包含24个文件，涵盖CSV格式的实验数据与PNG格式的可视化图表，用于支撑内存高效不动点计算方法的性能评估与结果呈现。 文件详解 数据文件（CSV格式，共12个）：...
    packageimg