University of Twente Student Theses
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 |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page