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
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
Eindhoven University of Technology logo
usage stats
1473
views
2
citations
157
downloads
licence
cc-0.png logo 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.
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 Technology
University of Twente

DATA

files (1)