Datos de investigación
Grupo: INGENIERÍA DEL SOFTWARE Y SISTEMAS
13 datos de investigación referenciados
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