PhD Thesis Artifact: Correct Optimized GPU Programs
4TU.ResearchDatavia 4TU.ResearchData (via DataCite) · bijgewerkt 31 januari 2022
Wat erin zit
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.
Bestanden en diensten
- DataCite REST API (JSON)api.datacite.orgOpenen
Vergelijkbare datasets
Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)4TU.ResearchDataArtifact for the paper: Deductive Verification of Weak Memory Programs with View-based Protocols4TU.ResearchDataPrograms to evaluate superoptimizer STOKE.4TU.ResearchDataData accompanying the publication:Reducing artifacts in photoacoustic imaging by using multi-wavelength excitation and transducer displacement4TU.ResearchDataData of a randomized controlled trial of the Happy Lessons program: a school-based program to prevent depressive symptoms and strengthen well-being among Dutch pre-vocational studentsDANS Data Station Social Sciences and HumanitiesSupplementary Material underlying the BSc thesis: Pixel Fixer: Semi-Automated Techniques for Correcting Pixel Art4TU.ResearchDataArtifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"4TU.ResearchDataBoundary-Layer-Program underlying the master thesis: Simulation of Two-Dimensional Steady State Boundary Layers Applied to Nonideal Gas Flows4TU.ResearchData
Meer van 4TU.ResearchData6.731 datasets
Ductile tearing of steel in Mode I and Mode II under quasi-static loadingHorizontal strain-rate estimates associated with land subsidence in Jakarta derived from satellite radar interferometry (2014–2025)BioBrAIn: Stavanger 22m3 bioreactor - CFD-derived dataBioBrAIn: 700L bioreactor - CFD-derived dataData and code underlying the publication: Hydrogel-based method for high-resolution measurements of contact mechanics in rapid biological adhesives: A case study in cuttlefish tentacle strikesData and scripts underlying the dissertation: Sodium Borohydride as Granular fuel: Experimental Characterisation and DEM Modelling