Person:
Zeige 1 bis 10 von 23 Ergebnissen
| Quality of Service in Software-Defined Networking with Applications to Social Networks
Candidate: Zhang, Yu | Supervisors: Gorlatch, Sergei | Reviewers: Gorlatch, Sergei; Kuchen, Herbert Period of time: 01/10/2018 - 26/05/2023 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Agent-based Modeling and Interactive Simulation Applied to Pandemics and Disaster Scenarios Candidate: Mina Abadeer | Supervisors: Gorlatch, Sergei | Reviewers: Gorlatch, Sergei; Kuchen, Herbert Period of time: 01/01/2018 - 30/01/2023 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| High-Performance Domain-Specific Compilation without Domain-Specific Compilers Candidate: Hagedorn, Bastian | Supervisors: Gorlatch, Sergei; Kuchen, Herbert; Steuwer, Michel Period of time: until 24/08/2020 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Taming Control Divergence for Vectorizing Programs on SIMD Extensions Candidate: Sun, Huihui | Supervisors: Gorlatch Sergei, Kuchen Herbert Period of time: 19/10/2016 - 09/07/2020 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| An Integrated Constraint-Logic and Object-Oriented Programming Language - The Münster Logic-Imperative Language Candidate: Dageförde, Jan C. | Supervisors: Kuchen, Herbert Period of time: until 07/07/2020 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Automated Test-Case Generation with Symbolic Execution Candidate: Fuchs, Andreas | Supervisors: Kuchen, Herbert Period of time: until 21/06/2019 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Enforcing Quality of Service in Real-Time Applications Using Software-Defined Networking Candidate: Humernbrum, Tim | Supervisors: Gorlatch, Sergei; Kuchen, Herbert Period of time: until 29/03/2019 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Towards Heterogeneous Computing in C++: PACXX: A Portable, High-Performance Programming Model Candidate: Haidl, Michael | Supervisors: Gorlatch, Sergei; Kuchen, Herbert Period of time: until 31/10/2018 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Developing Sharing Economy Services - Artifacts for Peer-to-Peer Sharing and Collaborative Consumption Services Candidate: von Hoffen, Moritz | Supervisors: Becker, Jörg; Kuchen, Herbert Period of time: 15/05/2014 - 01/02/2018 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Ensuring Software Quality in the Testing Process Candidate: Von Hof, Vincent | Supervisors: Kuchen, Herbert; Becker, Jörg Period of time: until 01/02/2018 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster |