找到4个数据集

标签: 实验基准

过滤结果

  • 基于面向对象程序的规范错误推断研究支持数据_OOPSLA24

    2026年1月29日 30 110 84

    数据集概述 本数据集是OOPSLA24会议投稿论文《Inferring Incorrectness Specifications for OO Programs》的支持数据，包含论文中呈现的源代码和基准测试内容，以压缩包形式提供，总计一个文件，无目录层级结构。 文件详解 文件名称：infer_oop.zip 文件格式：ZIP...
    packageimg

  • vstte21_Artifact_LLVM区域内存模型抽象解释实验复现数据

    2026年1月21日 30 110 34

    数据集概述 本数据集为论文“Abstract Interpretation of LLVM with a Region-Based Memory Model”的实验复现工件，包含复现论文表1结果所需的全部脚本，支持验证LLVM区域内存模型抽象解释的实验结论，是程序分析领域研究的重要辅助材料。 文件详解 文件名称：vstte21-artifact.zip...
    packageimg

  • 数据30种传统ACVR1_ALK2抑制剂的双荧光素酶ALK5_IC50值测定数据集

    2025年12月10日 30 52 15

    数据集概述 该数据集包含30种传统ACVR1/ALK2抑制剂的双荧光素酶ALK5 IC50值测定相关内容。这些抑制剂最初用于治疗进行性骨化性纤维发育不良（FOP），现作为细胞实验基准，在新型DIPG化合物测试前开展测定，因TGFBR1/ALK5抑制与心脏毒性相关，采用双荧光素酶启动子实验进行检测。 文件详解 文件名称：Zenodo...
    packageimg

  • FraSMT实验分析基准与原始数据集

    2025年12月9日 30 20 8

    数据集概述 本数据集包含FraSMT实验的分析基准数据与原始数据，涉及超图的分数超树宽度（fhtd）相关实验结果，涵盖时间、内存、目标值等指标，支持实验结果的复现与分析。 文件详解 该数据集包含多种格式的文件，具体说明如下： - CSV数据文件（24个）： - 名称示例：fhtd-hypergraphs-by-...
    packageimg