-
Survey_Source_欧洲中小型分布式研究基础设施调查数据
2026年1月28日 30 29 27
数据集概述 本数据集是关于欧洲中小型分布式研究基础设施计划的调查数据，核心内容为调查问题文档，旨在记录和分析欧洲该类基础设施的相关情况，为研究基础设施领域的研究提供基础调查资料。 文件详解 文件名称：DRI survey questions.docx 文件格式：DOCX...
-
IMITATOR_Based_非Zenoness假设下分布式参数模型检查时间自动机实验数据_FMSD22
2026年1月1日 30 30 0
数据集概述 本数据集为发表于FMSD 2022的相关论文配套实验数据，记录了基于IMITATOR 2.9.2分布式版本开展的实验结果，实验环境为两台Intel Xeon Silver 4114服务器（共20核、96GiB内存），运行Ubuntu 16.04 LTS系统。数据集以压缩包形式提供，无目录结构，总计包含一个文件。 文件详解...
