Specification-based Testing Concurrent Java Programs with JPF and Maude
-
Updated
Aug 18, 2025 - Java
Specification-based Testing Concurrent Java Programs with JPF and Maude
An empirical evaluation of parallel versions of MergeSort, applying shared and distributed memory, on a high-performance computing infrastructure.
A GPU course in Jupyter notebooks for self-study. Using OpenCL or CUDA (in progress).
A parallel and distributed implementation of the music recommendation system, designed to efficiently process large datasets and provide fast, scalable recommendations using optimized parallel algorithms.
To associate your repository with the paralell-algorithm topic, visit your repo's landing page and select "manage topics."