University of Twente Student Theses

Login

Porting tree-based hash table compression to GPGPU model checking

Bergsma, D. (2019) Porting tree-based hash table compression to GPGPU model checking.

[img] PDF
1MB
Abstract:The GPU-based model checker GPUexplore uses a lockless hash table for the shared store of visited states in the model checking process. However, as GPU memory size is relatively limited and is now the bottleneck, we have implemented a stand-alone GPU version of an existent compression algorithm that uses this shared hash table and optimised this GPU version.
Item Type:Essay (Master)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science MSc (60300)
Link to this item:https://purl.utwente.nl/essays/80270
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page