Datasets
- 5 results
Search results
-
The Complex(ity) Landscape of Checking Infinite Descent (Software Artifact)
Cohen, L. (Creator), Jabarin, A. (Creator), Popescu, A. (Creator) & Rowe, R. N. S. (Creator), ZENODO, 5 Nov 2023
DOI: 10.5281/zenodo.10073582, https://zenodo.org10073582
Dataset
-
Tracking: PPoPP 22 - Detectable Recovery of Lock-Free Data Structures
Attiya, H. (Creator), Ben-Baruch, O. (Creator), Fatourou, P. (Creator), Hendler, D. (Creator) & Kosmas, E. (Creator), ZENODO, 2022
DOI: 10.5281/zenodo.5816339, https://zenodo.org/record/5816339
Dataset
-
VMP_HP-ext
Droby, A. (Creator), Shapira, D. V. (Creator), Rabaev, I. (Creator), Bakarat, B. K. (Creator) & El Sana, J. (Creator), ZENODO, 2022
DOI: 10.5281/zenodo.6387471, https://zenodo.org/record/6387471
Dataset
-
VMP_HP-ext_2
Droby, A. (Creator), Shapira, D. V. (Creator), Rabaev, I. (Creator), Bakarat, B. K. (Creator) & El Sana, J. (Creator), ZENODO, 2022
DOI: 10.5281/zenodo.6856934, https://zenodo.org/record/6856934
Dataset
-
The Complex(ity) Landscape of Checking Infinite Descent (Software Artifact)
Cohen, L. (Creator), Jabarin, A. (Creator), Popescu, A. (Creator) & Rowe, R. N. S. (Creator), ZENODO, 9 Oct 2023
DOI: 10.5281/zenodo.8422899, https://zenodo.org/record/8422899
Dataset