Card sorting data for Formal methods for GPGPU programming: is the demand met?



# 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: `[id]` where [id] is the id of the questions.
Datum van beschikbaarheid2 nov. 2020
Uitgever4TU.Centre for Research Data
  • Formal Methods for GPGPU Programming: Is the Demand Met?

    van den Haak, L., Wijs, A. J., van den Brand, M. G. J. & Huisman, M., 2020, Integrated Formal Methods - 16th International Conference, IFM 2020, Proceedings. Dongol, B. & Troubitsyna, E. (redactie). Springer, blz. 160-177 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12546 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (Scopus)
    168 Downloads (Pure)

Citeer dit