Forschungsdaten
Gruppe: INGENIERÍA DEL SOFTWARE Y SISTEMAS
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