ParallelSaturationExperiments-TACAS19-ARTIFACT-3.tar.gz (329.08 MB)
Artifact and instructions to generate experimental results for TACAS 2019 paper: Multi-core On-the-fly Saturation
dataset
posted on 2019-03-12, 09:40 authored by Tom van Dijk, Jaco van de Pol, Jeroen MeijerThis 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.