ParVec Benchmark Suite

B2FIND2026-04-25 收录

下载链接：

https://b2find.eudat.eu/dataset/7a1d9ca2-b791-5fa3-8c84-83d0046e2ee5

下载链接

链接失效反馈

官方服务：

资源简介：

A vectorized Version of the PARSEC benchmark suite.

ParVec Benchmark Suite

A vectorized Version of the PARSEC benchmark suite.

DataCite Commons2025-11-11 更新30

Vectorized Benchmark Suite

Vectorized Benchmark Suite是由巴塞罗那超级计算中心创建的一个包含七个数据并行应用的集合，用于评估向量架构设计。该数据集涵盖了不同的应用领域，如金融分析、工程、医学影像等，并支持不同长度的向量执行。数据集的创建旨在解决向量架构在研究和开发中的工具缺乏问题，通过提供灵活和可定制的模型来评估不同的设计方案。

arXiv2021-10-29 更新400

TrEO Benchmark Suite

TrEO Benchmark Suite是由大连理工大学计算机科学与技术学院的研究团队开发的一个实用优化问题数据集，包含三个代表性问题：背包问题、平面机械臂问题和极简攻击问题。该数据集旨在通过模拟现实世界中的大规模、多样化和高速源任务实例，评估和推动转移进化优化（TrEO）算法的发展。背包问题侧重于大规模源任务实例的体积特性，平面机械臂问题结合了体积和多样性特性，而极简攻击问题则涉及体积和速度特性

arXiv2024-04-20 更新20

Keymaera Benchmark Suite

该数据集包含了222个线性可分离量词公式（LRA）以及511个非线性可分离量词公式（NRA），在移除了无法表达的非线性公式之后。此外，该数据集被用于评估QuantiSAT工具的性能。其规模涉及222个LRA公式和511个NRA公式，所承担的任务是对量化线性与非线性可分离量词公式的可满足性进行检查。

arXiv40

MineLand Benchmark Suite

该数据集涵盖了多种多样的多代理交互任务，包括编程性、创造性以及混合型任务。它不仅提供了详细的任务定义，还包含了评估代理性能的成功标准和评分指标。该数据集的规模宏大，支持64个或更多代理，其中包含4499个编程性任务，1536个创造性任务，以及多种混合型任务。所有这些任务都是在Minecraft模拟器中进行的，旨在完成多代理交互与任务完成。

arXiv80