University of Twente Student Theses
As of Friday, 8 August 2025, the current Student Theses repository is no longer available for thesis uploads. A new Student Theses repository will be available starting Friday, 15 August 2025.
Speeding up parametric model checking using GPGPU computation
Erkko, M.A. (2022) Speeding up parametric model checking using GPGPU computation.
PDF
443kB |
Abstract: | GPGPU-based parallelisation has gained popularity due to its capability of efficiently handling compute-intensive tasks. The prerequisite is that the tasks being performed must be parallelisable using clever data structures and proper synchronisation. Parallelisation on graphics processing units (GPUs) has found applications in machine learning, computer vision, and statistical analysis. Within statistical analysis, one such compute-intensive task is the model checking of parametric Markov chains. This research proposes a parallelised approach to the evaluation phase of parametric model checking of Markov chains. |
Item Type: | Essay (Bachelor) |
Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
Subject: | 54 computer science |
Programme: | Computer Science BSc (56964) |
Link to this item: | https://purl.utwente.nl/essays/89426 |
Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Repository Staff Only: item control page