Organisation:
Zeige 1 bis 10 von 22 Ergebnissen
Zeige 1 bis 10 von 22 Ergebnissen
| Towards Performance & Portability & Productivity in Parallel Programming: A Holistic Code Generation, Optimization, and Execution Approach for Data-Parallel… Candidate: Rasch, Ari | Supervisors: Gorlatch, Sergei | Reviewers: Gorlatch, Sergei; Kuchen, Herbert; Cohen, Albert Period of time: 01/07/2016 - 13/02/2025 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| 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 | |
| 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 | |
| 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 | |
| Building a Model-Driven Decision Support System for Repurposing Electric Vehicle Batteries - Design and Evaluation Candidate: Klör, Benjamin | Supervisors: Becker, Jörg; Kuchen, Herbert Period of time: until 06/02/2017 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster |