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 Candidate: Jarrous-Holtrup, Sezar | Supervisors: Gorlatch, Sergei | Reviewers: Gorlatch, Sergei; Kuchen, Herbert; Holz, Ralph Period of time: 01/09/2019 - 23/05/2025 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| 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 | |
| Portable Implicit Parallel Programming in C++ using the Pacxx Framework Candidate: Vladyslav Kucher | Supervisors: Gorlatch, Sergei | Reviewers: Gorlatch, Sergei; Kuchen, Herbert Period of time: 03/04/2017 - 25/03/2024 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 | |
| Analyse semantisch annotierter Trajektorien Candidate: Seep, Jana | Supervisors: Vahrenhold, Jan | Reviewers: Vahrenhold, Jan; Schwering, Angela Period of time: 01/11/2017 - 09/02/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 | |
| Efficient Out-of-Core Methods for Biomedical Volume Processing and Analysis Candidate: Dominik Drees | Supervisors: Jiang, Xiaoyi | Reviewers: Jiang, Xiaoyi; Pauli Josef Period of time: 01/01/2019 - 10/10/2022 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Lock-Sensitive Reachability Analysis for Parallel Recursive Programs with Dynamic Creation of Threads and Locks Candidate: Kenter, Sebastian | Supervisors: Müller-Olm, Markus | Reviewers: Müller-Olm, Markus; Remke, Anne Period of time: 02/04/2012 - 11/07/2022 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Towards Algorithm Comprehension Candidate: Kather, Philipp | Supervisors: Vahrenhold, Jan | Reviewers: Vahrenhold, Jan; Schulte, Carsten, Schukajlow-Wasjutinski, Stanislaw Period of time: 01/04/2018 - 25/04/2022 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Security Through Safety: An Approach to Information Flow Control Based on Derivation of Safety Properties From a Characterisation of Insecure Behavior Candidate: Nordhoff, Benedikt | Supervisors: Müller-Olm, Markus | Reviewers: Müller-Olm, Markus; Seidl, Helmut Period of time: 03/10/2011 - 21/01/2022 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster |