Artifact and instructions to generate experimental results for TACAS 2019 paper: Multi-core On-the-fly Saturation
收藏DataCite Commons2020-08-27 更新2024-07-27 收录
下载链接：
https://springernature.figshare.com/articles/Artifact_and_instructions_to_generate_experimental_results_for_TACAS_2019_paper_Multi-core_On-the-fly_Saturation/7825406
下载链接
链接失效反馈官方服务：
资源简介：
This artifact allows the AEC to evaluate and reproduce the experiments for the corresponding paper "Multi-Core On-The-Fly Saturation". The artifact contains all the produced data, sources and scripts to compile the data and sources.<br>
提供机构：
figshare
创建时间：
2019-03-12
