数据集概述
本数据集为论文《Memory-Efficient Fixpoint Computation》（SAS2020）的原始数据，包含24个文件，涵盖CSV格式的实验数据与PNG格式的可视化图表，用于支撑内存高效不动点计算方法的性能评估与结果呈现。
文件详解
- 数据文件（CSV格式，共12个）：
- 示例文件：t1-MF.csv、t2.csv、ossint-baseline.csv等
- 字段示例（以ossint-baseline.csv为例）：包含benchmark（基准测试用例）、status-ikos（ikos工具运行状态）、cputime (s)-ikos（ikos工具CPU时间）、memory (MB)-ikos（ikos工具内存占用）、memreduction（内存减少量）、speedup（加速比）等字段
- 可视化文件（PNG格式，共12个）：
- 示例文件：hist-t1-a.png、scat-memory-t1.png、hist-t2-b.png等
- 内容：实验结果的直方图、散点图等可视化图表
适用场景
- 程序分析研究：评估不动点计算方法的内存效率与性能优化效果
- 性能工程：分析不同工具在基准测试中的CPU时间、内存占用差异
- 计算机科学实验复现：支持论文《Memory-Efficient Fixpoint Computation》（SAS2020）的实验结果验证
- 可视化研究：基于实验数据图表探索性能评估的可视化呈现方式
