Données de recherche
Chercheur: RUBEN HERADIO GIL
13 données de recherche référencées
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