Person:
Zeige 1 bis 10 von 23 Ergebnissen
| 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 | |
| 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 | |
| High-Performance Domain-Specific Compilation without Domain-Specific Compilers Promovend*in: Hagedorn, Bastian | Betreuer*innen: Gorlatch, Sergei; Kuchen, Herbert; Steuwer, Michel Zeitraum: bis 24.08.2020 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Taming Control Divergence for Vectorizing Programs on SIMD Extensions Promovend*in: Sun, Huihui | Betreuer*innen: Gorlatch Sergei, Kuchen Herbert Zeitraum: 19.10.2016 - 09.07.2020 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| An Integrated Constraint-Logic and Object-Oriented Programming Language - The Münster Logic-Imperative Language Promovend*in: Dageförde, Jan C. | Betreuer*innen: Kuchen, Herbert Zeitraum: bis 07.07.2020 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Automated Test-Case Generation with Symbolic Execution Promovend*in: Fuchs, Andreas | Betreuer*innen: Kuchen, Herbert Zeitraum: bis 21.06.2019 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Enforcing Quality of Service in Real-Time Applications Using Software-Defined Networking Promovend*in: Humernbrum, Tim | Betreuer*innen: Gorlatch, Sergei; Kuchen, Herbert Zeitraum: bis 29.03.2019 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Towards Heterogeneous Computing in C++: PACXX: A Portable, High-Performance Programming Model Promovend*in: Haidl, Michael | Betreuer*innen: Gorlatch, Sergei; Kuchen, Herbert Zeitraum: bis 31.10.2018 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Developing Sharing Economy Services - Artifacts for Peer-to-Peer Sharing and Collaborative Consumption Services Promovend*in: von Hoffen, Moritz | Betreuer*innen: Becker, Jörg; Kuchen, Herbert Zeitraum: 15.05.2014 - 01.02.2018 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Sicherstellung von Software Qualität im Testprozess Promovend*in: Von Hof, Vincent | Betreuer*innen: Kuchen, Herbert; Becker, Jörg Zeitraum: bis 01.02.2018 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster |