Adiar 1.0.0 : Experiment Data
收藏NIAID Data Ecosystem2026-03-12 收录
下载链接：
https://zenodo.org/record/4725415
下载链接
链接失效反馈官方服务：
资源简介：
This data set concerns the performance and characteristics of the newly BDD library, Adiar (github.com/ssoelvsten/adiar), as has been reported in the full paper "Efficient Binary Decision Diagram Manipulation in External Memory" (https://arxiv.org/abs/2104.12101) and the short version "Adiar: Binary Decision Diagrams in External Memory" submitted to FM 2021.
In the .zip files you can find the raw data as was output onto the console. The .odt spreadsheet files contain the data analysis, which exactly shows how we derived the reported numbers. Please, read the introductory discussion in each spreadsheet.
Notice, that the raw data often uses the old name for the BDD library, COOM, rather than Adiar.
创建时间：
2021-04-29
