Forskningsdatasæt
- 6 resultater
Søgeresultater
-
ANN Benchmarks - hfichtenberger/ann-benchmarks:
Bernhardsson, E. (Ophavsmand), Aumüller, M. (Bidrager), Faithfull, A. (Bidrager), Boytsov, L. (Bidrager), Razenshteyn, I. (Bidrager), Algorithms, A. A. (Ophavsmand), McInnes, L. (Bidrager), Malkov, Y. (Ophavsmand), Erramuzpe, A. (Bidrager), Frederickson, B. (Bidrager), Fichtenberger, H. (Bidrager) & Rohde, D. (Ophavsmand), ZENODO, 16 okt. 2018
DOI: 10.5281/zenodo.1463824, https://zenodo.org/record/1463824 og et link mere, https://github.com/hfichtenberger/ann-benchmarks/tree/nips (vis færre)
Datasæt: Software
-
Supplementary Material for "Calculating Compilers for Concurrency"
Bahr, P. (Ophavsmand) & Hutton, G. (Ophavsmand), ZENODO, 31 maj 2023
DOI: 10.5281/zenodo.8124116, https://zenodo.org/record/8124116
Datasæt: Software
-
Supplementary Material for "Monadic Compiler Calculation"
Bahr, P. (Ophavsmand) & Hutton, G. (Ophavsmand), ZENODO, 27 maj 2022
DOI: 10.5281/zenodo.6794696, https://zenodo.org/record/6794696
Datasæt: Software
-
CPP21 Artifact - Machine-Checked Semantic Session Typing
Hinrichsen, J. K. (Ophavsmand), ZENODO, 15 dec. 2020
DOI: 10.5281/zenodo.4322752, https://zenodo.org/record/4322752
Datasæt: Software
-
Haskell and Agda code for the article "Calculating Compilers Effectively"
Zac, G. (Ophavsmand), Hutton, G. (Ophavsmand) & Patrick, B. (Ophavsmand), ZENODO, 18 jul. 2024
DOI: 10.5281/zenodo.12771956, https://zenodo.org/records/12771956
Datasæt: Software
-
Reproducibility dataset for the paper "ANN-Benchmarks: A benchmarking tool for approximate nearest neighbor search"
Aumüller, M. (Ophavsmand), ZENODO, 16 mar. 2021
DOI: 10.5281/zenodo.5613101, https://zenodo.org/record/5613101
Datasæt: Software