数据集 - 海数据

BSC_Based_任务调度机制成功率与计算成本数据

2026年1月31日 30 203 24

数据集概述本数据集包含与论文“Seeking Time-Composable Partitions of Tasks for COTS Multicore Processors”相关的机制调度成功率和计算成本数据，以单个Excel表格形式呈现，用于评估任务调度机制的性能指标。文件详解文件名称：2015ISORC.BSC.01.xlsx...

ZIP

IEEETC_多核资源竞争边界计算模拟测量数据2015

2026年1月31日 30 163 151

数据集概述本数据集包含一个Microsoft Excel表格形式的处理后数据，对应论文“Computing Safe Contention Bounds for Multicore Resources with Round-Robin and FIFO Arbitration”中描述的多核资源竞争模拟与测量结果。数据聚焦于轮询（Round-...

ZIP

Gerking_PhD_Based实时信息流安全验证技术评估数据

2026年1月28日 30 155 115

数据集概述本数据集是Christopher Gerking博士论文中“实时信息流安全验证技术”章节的配套评估成果，包含一个压缩文件，用于支持论文相关技术的验证与复现。文件详解文件名称：org.muml.uppaal.noninterference.zip 文件格式：ZIP（压缩包）...

ZIP

Measurements_Based_多核竞争测量处理数据_2015DAC_BSC_02

2026年1月13日 30 31 3

数据集概述本数据集包含多核竞争的测量处理数据，对应论文“Increasing confidence on measurement-based contention bounds for real-time round-robin...

ZIP

高效任务分配与资源管理数据集

2025年4月25日 62 204 102

标题：高效任务分配与资源管理数据集数据内容：本数据集包含与任务分配和资源管理相关的多种数据元素，具体包括以下字段： 1. Node_ID：标识节点的唯一编号。 2. Processing_Power_GHz：节点的处理能力，以千兆赫为单位。 3. Available_Memory_GB：节点的可用内存，以千兆字节为单位。 4....