-
Petri_Games_Based_网络更新合成实验复现数据
2026年1月29日 30 200 94
数据集概述 本数据集是论文“Automatic Synthesis of Transiently Correct Network Updates via Petri Games”的配套实验复现工具包,包含实验所需的脚本、二进制文件、源代码及预生成模型。支持执行网络拓扑更新合成实验,验证暂态正确性,可复现论文中的实验结果并支持实验修改与扩展。 文件详解...
-
ML_Deployment_Adds_Based_机器学习部署架构设计决策数据集与代码_论文配套
2026年1月8日 30 119 49
数据集概述 本数据集是论文《Architectural Design Decisions for Machine Learning Deployment》的配套数据与代码工件,包含生成结果、生成器代码、元模型、源编码、模型实现及研究方法附录等内容,旨在支撑机器学习部署领域的架构设计决策研究。 文件详解...



