research data . Dataset . 2020

Datasets used in the Lab Validation of the RADON Verification Tool

Law, M;
Open Access English
  • Published: 15 Jun 2020
  • Publisher: Zenodo
  • Country: United Kingdom
Abstract
his repository contains the datasets that have been used to perform the lab validation of the RADON verification tool. In order to replicate the experiments, please unzip the file "validation-datasets.zip" and run the following command: ./run_all.rb {path_to_VT} list.json his repository contains the datasets that have been used to perform the lab validation of the RADON verification tool. In order to replicate the experiments, please unzip the file "validation-datasets.zip" and run the following command: ./run_all.rb {path_to_VT} list.json 1
Subjects
free text keywords: Datasets used in the Lab Validation of the RADON Verification Tool
Related Organizations
Funded by
EC| RADON
Project
RADON
Rational decomposition and orchestration for serverless computing
  • Funder: European Commission (EC)
  • Project Code: 825040
  • Funding stream: H2020 | RIA
Any information missing or wrong?Report an Issue