找到1个数据集

标签: 原型代码生成

过滤结果

  • 选择PUSH_PULL数据传输的代数架构模型_ASE2022

    2025年12月19日 30 109 18

    数据集概述 本数据集是ASE 2022会议投稿的补充材料，包含PUSH/PULL数据传输代数架构模型的证明文档、图基重构工具、案例研究模型文件、生成的原型代码、性能评估数据及完整实现文件，为该模型的验证与应用提供支持。 文件详解 证明文档： ASE2022_proofs.pdf：PDF格式，包含定理1、2、3及其他引理的详细正确性证明 工具文件：...
    packageimg