Forschungsthemen
[MA] Non-functional Assessment of Parallel Algorithms using QoS Contracts
The goal of the master thesis is an approach to assess the non-functional behavior of parallel algorithms using QoS contracts. Thus, in detail, the following tasks have to be accomplished:
- Induction to the approach for self-optimizing systems developed in the CRC 912.
- Literature analysis covering closely related work (e.g., Morgan Eriksson)
- An empirical study of at least three parallel algorithms, whereof each should have at least three variants (e.g., prime search, game of life, sorting).
- An extension to the contract language QCL to enable the coverage of the non-functional behavior of parallel algorithms.
- Optional: An extension to one of the existing optimization techniques of MQuAT or a new generic optimization technique to enable the selection of the best variant of a parallel algorithm for a given situation.
Betreuer: Sebastian Götz