Card sorting data for Formal methods for GPGPU programming: is the demand met?
doi:10.4121/12988781.v1
The doi above is for this specific version of this dataset, which is currently the latest. Newer versions may be published in the future.
For a link that will always point to the latest version, please use
doi: 10.4121/12988781
doi: 10.4121/12988781
Datacite citation style:
Haak, van den, Lars; Wijs, Anton; van den Brand, Mark; Huisman, Marieke (2020): Card sorting data for Formal methods for GPGPU programming: is the demand met?. Version 1. 4TU.ResearchData. dataset. https://doi.org/10.4121/12988781.v1
Other citation styles (APA, Harvard, MLA, Vancouver, Chicago, IEEE) available at Datacite
Dataset
CC0
# GPU Questions
This is the data from the card sorting from the paper "Formal methods for GPGPU programming: is the demand met?" (Section 3) that will be published at integrated Formal Methods 2020.
The original questions, with title and body can be found in the `complete_dataset_GPGPUtags.csv` file. Note that there are duplicates, but that doesn't matter.
The file `Results_final.csv` has all the categories associated with the questions resulting from the card sorting.
The file `categories.csv` has the sums of all the categories
Note that some questions have since been removed from stack overflow, but otherwise the questions can be found via: `https://stackoverflow.com/questions/[id]` where [id] is the id of the questions.
This is the data from the card sorting from the paper "Formal methods for GPGPU programming: is the demand met?" (Section 3) that will be published at integrated Formal Methods 2020.
The original questions, with title and body can be found in the `complete_dataset_GPGPUtags.csv` file. Note that there are duplicates, but that doesn't matter.
The file `Results_final.csv` has all the categories associated with the questions resulting from the card sorting.
The file `categories.csv` has the sums of all the categories
Note that some questions have since been removed from stack overflow, but otherwise the questions can be found via: `https://stackoverflow.com/questions/[id]` where [id] is the id of the questions.
history
- 2020-11-02 first online, published, posted
publisher
4TU.ResearchData
associated peer-reviewed publication
Formal methods for GPGPU programming: is the demand met?
organizations
Eindhoven University of TechnologyUniversity of Twente
DATA
files (1)
- 11,761,398 bytesMD5:
7329d2c924bab362a973f14267df4691StackOverflow-GPU-Questions.zip -
download all files (zip)
11,761,398 bytes unzipped
