Forschungsdaten
Forscher/in: RUBEN HERADIO GIL
13 referenzierte Forschungsdaten
2024
-
Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool"
Zenodo
-
Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool"
Zenodo
-
Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool"
Zenodo
2021
2020
-
Large Uniform Random SAT Samples
Zenodo
-
Large Uniform Random SAT Samples
Zenodo
-
Small Uniform Random SAT Samples
Zenodo
-
Small Uniform Random SAT Samples
Zenodo
-
Uniform Random SAT Samples
Zenodo
-
Uniform Random SAT Samples
Zenodo