This repository will contain the dataset for an upcoming publication at the supercomputing 2020 conference
The dataset contains all instances that the organizers of the competition received or collected duri...
This dataset supports the article entitled "The Slowdown or Race-to-idle Question: Workload-Awa...
Presentation for Living Norway Ecological Data Network Open Science Lab Webinar on 2022-04-07D.G.R. ...
This repository contains the dataset for a NISQ benchmarking publication at SC20
This repository contains the dataset for a NISQ benchmarking publication at SC20
This repository will contain the dataset for an upcoming publication at the supercomputing 2020 conf...
This repository contains the dataset for the VERITAS work submitted for publication at SC20
This repository contains the dataset for the VERITAS work submitted for publication at SC20
This release accounts for the ANDI datasets repository after the publication of the arxiv version of...
This is the 2020 fragment of the GraalVM Compiler Benchmark Results Dataset. Check the other objects...
Full benchmark set of the 9th Intl. Competition on Software Verification (SV-COMP 2020). Licenses a...
Full benchmark set of the 10th Intl. Competition on Software Verification (SV-COMP 2021). Licenses ...
Dataset to support conference paper : Mitchell, C. et al. (2020). Tooling and procedures for hybrid ...
Snapshot of Skrutable data and code submitted (Nov 2021) ahead of the presentation at the early meet...
This is the dataset of paper "Benchmarking Label Dynamics of VirusTotal Engines" in CCS 2020. Pleas...
The dataset contains all instances that the organizers of the competition received or collected duri...
This dataset supports the article entitled "The Slowdown or Race-to-idle Question: Workload-Awa...
Presentation for Living Norway Ecological Data Network Open Science Lab Webinar on 2022-04-07D.G.R. ...
This repository contains the dataset for a NISQ benchmarking publication at SC20
This repository contains the dataset for a NISQ benchmarking publication at SC20
This repository will contain the dataset for an upcoming publication at the supercomputing 2020 conf...
This repository contains the dataset for the VERITAS work submitted for publication at SC20
This repository contains the dataset for the VERITAS work submitted for publication at SC20
This release accounts for the ANDI datasets repository after the publication of the arxiv version of...
This is the 2020 fragment of the GraalVM Compiler Benchmark Results Dataset. Check the other objects...
Full benchmark set of the 9th Intl. Competition on Software Verification (SV-COMP 2020). Licenses a...
Full benchmark set of the 10th Intl. Competition on Software Verification (SV-COMP 2021). Licenses ...
Dataset to support conference paper : Mitchell, C. et al. (2020). Tooling and procedures for hybrid ...
Snapshot of Skrutable data and code submitted (Nov 2021) ahead of the presentation at the early meet...
This is the dataset of paper "Benchmarking Label Dynamics of VirusTotal Engines" in CCS 2020. Pleas...
The dataset contains all instances that the organizers of the competition received or collected duri...
This dataset supports the article entitled "The Slowdown or Race-to-idle Question: Workload-Awa...
Presentation for Living Norway Ecological Data Network Open Science Lab Webinar on 2022-04-07D.G.R. ...