Datasets
- 8 resultaten
Zoekresultaten
-
Artifact of the paper: Compact Parallel Hash Tables on the GPU
Hegeman, S. (Ontwerper), Wöltgens, D. P. (Ontwerper), Wijs, A. (Ontwerper) & Laarman, A. (Ontwerper), Zenodo, 13 jun. 2024
DOI: 10.5281/zenodo.11638494, https://zenodo.org/records/11638494
Dataset
-
An O(m log n) Algorithm for Branching Bisimilarity on Labelled Transition Systems
Wijs, A. (Ontwerper), Keiren, J. J. A. (Ontwerper), Groote, J. F. (Ontwerper) & Jansen, D. N. (Ontwerper), Figshare, 20 feb. 2020
DOI: 10.6084/m9.figshare.11876688
Dataset
-
Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)
Şakar, Ö. (Ontwerper), Safari, M. (Ontwerper), Huisman, M. (Ontwerper) & Wijs, A. (Ontwerper), 4TU.Centre for Research Data, 26 nov. 2021
DOI: 10.4121/16938556.v2, https://data.4tu.nl/articles/_/16938556/2
Dataset
-
Artifact for paper: Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking
Osama, M. (Ontwerper) & Wijs, A. (Ontwerper), Zenodo, 22 dec. 2023
DOI: 10.5281/zenodo.10425384, https://zenodo.org/records/10425384
Dataset
-
GPUexplore-prob
Heemstra, J. (Ontwerper), Wijs, A. (Supervisor) & Osama, M. (Bijdrager), Zenodo, 24 okt. 2024
DOI: 10.5281/zenodo.13987261, https://zenodo.org/records/13987261
Dataset
-
Card sorting data for Formal methods for GPGPU programming: is the demand met?
van den Haak, L. (Ontwerper), Wijs, A. J. (Ontwerper), van den Brand, M. G. J. (Ontwerper) & Huisman, M. (Ontwerper), 4TU.Centre for Research Data, 2 nov. 2020
DOI: 10.4121/12988781
Dataset
-
Experiments of Multiple Decision Making in CDCL SAT Solvers
Osama, M. (Ontwerper) & Wijs, A. (Ontwerper), Zenodo, 23 jun. 2021
Dataset
-
mCRL2 release 201808.0
Bunte, O. (Bijdrager), Groote, J. F. (Bijdrager), Keiren, J. J. A. (Bijdrager), Laveaux, M. (Bijdrager), Neele, T. (Bijdrager), de Vink, E. P. (Bijdrager), Wesselink, W. (Bijdrager), Wijs, A. (Bijdrager) & Willemse, T. A. C. (Bijdrager), Zenodo, 2 sep. 2018
DOI: 10.5281/zenodo.2555055, https://zenodo.org/record/2555055
Dataset