Artifact-PhD-Thesis-Correct-Optimized-GPU-Programs.tgz (311.45 MB)
Download file

PhD Thesis Artifact: Correct Optimized GPU Programs

Download (311.45 MB)
dataset
posted on 31.01.2022, 13:33 authored by Mohsen SafariMohsen Safari
This repository contains all the case studies and examples in the PhD thesis titled "Correct Optimized GPU programs" written by Mohsen Safari under the supervision of prof.dr. Marieke Huisman from the University of Twente.

Funding

NWO grant 639.023.710

History

Publisher

4TU.ResearchData

Format

The Gzipped Tar File (TGZ)

Organizations

University of Twente, Faculty of Electrical Engineering, Mathematics and Computer Science, Formal Methods and Tools (FMT) research group

Usage metrics

Read the peer-reviewed publication

Licence

Exports