Organisation:
Zeige 1 bis 10 von 86 Ergebnissen
Zeige 1 bis 10 von 86 Ergebnissen
| A Scalable Coud Deployment Architecture for High-Performance Real-Time Online Applications Promovend*in: Jarrous-Holtrup, Sezar | Betreuer*innen: Gorlatch, Sergei | Gutachter*innen: Gorlatch, Sergei; Kuchen, Herbert; Holz, Ralph Zeitraum: 01.09.2019 - 23.05.2025 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Towards Performance & Portability & Productivity in Parallel Programming: A Holistic Code Generation, Optimization, and Execution Approach for Data-Parallel… Promovend*in: Rasch, Ari | Betreuer*innen: Gorlatch, Sergei | Gutachter*innen: Gorlatch, Sergei; Kuchen, Herbert; Cohen, Albert Zeitraum: 01.07.2016 - 13.02.2025 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Portable Implicit Parallel Programming in C++ using the Pacxx Framework Promovend*in: Vladyslav Kucher | Betreuer*innen: Gorlatch, Sergei | Gutachter*innen: Gorlatch, Sergei; Kuchen, Herbert Zeitraum: 03.04.2017 - 25.03.2024 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Quality of Service in Software-Defined Networking with Applications to Social Networks Promovend*in: Zhang, Yu | Betreuer*innen: Gorlatch, Sergei | Gutachter*innen: Gorlatch, Sergei; Kuchen, Herbert Zeitraum: 01.10.2018 - 26.05.2023 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Analyse semantisch annotierter Trajektorien Promovend*in: Seep, Jana | Betreuer*innen: Vahrenhold, Jan | Gutachter*innen: Vahrenhold, Jan; Schwering, Angela Zeitraum: 01.11.2017 - 09.02.2023 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Agent-based Modeling and Interactive Simulation Applied to Pandemics and Disaster Scenarios Promovend*in: Mina Abadeer | Betreuer*innen: Gorlatch, Sergei | Gutachter*innen: Gorlatch, Sergei; Kuchen, Herbert Zeitraum: 01.01.2018 - 30.01.2023 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Efficient Out-of-Core Methods for Biomedical Volume Processing and Analysis Promovend*in: Dominik Drees | Betreuer*innen: Jiang, Xiaoyi | Gutachter*innen: Jiang, Xiaoyi; Pauli Josef Zeitraum: 01.01.2019 - 10.10.2022 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Lock-Sensitive Reachability Analysis for Parallel Recursive Programs with Dynamic Creation of Threads and Locks Promovend*in: Kenter, Sebastian | Betreuer*innen: Müller-Olm, Markus | Gutachter*innen: Müller-Olm, Markus; Remke, Anne Zeitraum: 02.04.2012 - 11.07.2022 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Towards Algorithm Comprehension Promovend*in: Kather, Philipp | Betreuer*innen: Vahrenhold, Jan | Gutachter*innen: Vahrenhold, Jan; Schulte, Carsten, Schukajlow-Wasjutinski, Stanislaw Zeitraum: 01.04.2018 - 25.04.2022 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Security Through Safety: An Approach to Information Flow Control Based on Derivation of Safety Properties From a Characterisation of Insecure Behavior Promovend*in: Nordhoff, Benedikt | Betreuer*innen: Müller-Olm, Markus | Gutachter*innen: Müller-Olm, Markus; Seidl, Helmut Zeitraum: 03.10.2011 - 21.01.2022 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster |