找到4个数据集

标签: 学术复现支持

过滤结果

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

    2025年12月15日 30 123 97

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

  • 开源软件可持续性数据集

    2025年12月15日 30 56 52

    数据集概述 本数据集包含与开源软件可持续性相关的论文提交配套材料，涵盖可复现代码和数据集，为研究开源软件可持续性提供基础数据支持。 文件详解 文件名称: Coding Manual.pdf，文件格式: PDF，可能包含编码手册，用于说明数据编码规则或研究方法细节 文件名称: data.zip，文件格式:...
    packageimg

  • 双接触器件突触功能的神经形态电路应用数据集

    2025年12月13日 30 88 37

    数据集概述 本数据集为《双接触器件突触功能的神经形态电路应用》一文提供原始数据支持，包含相关实验或研究的基础数据，具体内容可参考配套说明文档。 文件详解 文件名称: Dataset.zip 文件格式: ZIP压缩包（.zip） 文件内容: 压缩包内包含支撑论文研究的原始数据，具体文件结构与内容需解压后查看，无公开预览信息。 适用场景 神经形态器件研究:...
    packageimg

  • 消费者破产_抵押贷款违约与劳动力供给复制包

    2025年12月10日 30 163 10

    数据集概述 本数据集为《消费者破产、抵押贷款违约与劳动力供给》一文的复制包，该文即将发表于《国际经济评论》（2025年）。包含研究复现所需的文档与压缩文件，为学术验证提供支持。 文件详解 该数据集包含以下文件： - 文件名称: README.pdf - 文件格式: PDF - 内容说明: 可能包含研究复现的说明文档、数据使用指南或补充信息。 -...
    packageimg