Forschungsschwerpunkte
- Algorithmen- und Softwareentwicklung für moderne Rechnersysteme
- Parallele und verteilte Systeme, Middleware, Grids und Clouds
- Hochleistungsrechnen, multi-core und GPU-basierte Systeme
- Verteilte Anwendungen: Online Spiele, Simulationen
- Performance-Modelle und Optimierung
Vita
Akademische Ausbildung
- Habilitation an der Universität Passau, Erlangung der Venia legendi für Informatik, Habilitationsthema: "Abstraction and Performance in the Development of Programs for Parallel and Networked Systems"
- Promotion zum Dr. rer. nat. in Informatik am Institut für Kybernetik der Akademie der Wissenschaften in Kiew, Dissertationsthema: "Algebren von Datenstrukturen und ihre Anwendung in Parallelen Systemen", Betreuer: Prof. A. Letichevsky
- Diplom in Angewandter Mathematik und Informatik, Universität Kiew
- Studium der Angewandten Mathematik und Informatik (Diplom) an der Universität Kiew
Beruflicher Werdegang
- Gastprofessor, Universität Iwate, Japan
- Universitätsprofessor (C4), Inhaber des Lehrstuhls für Praktische Informatik (Parallele und Verteilte Systeme) der Westfälischen Wilhelms-Universität Münster
- Universitätsprofessor (C3) für Parallele und Verteilte Programmierung, Technische Universität Berlin
- Oberassistent (C2), Universität Passau
- Gastprofessor, Universität Lyon, Frankreich
- Wissenschaftlicher Assistent (C1) und Habilitand, Universität Passau
- Gastprofessor, Universität Pisa, Italien
- Gastprofessor an der TU München als Research Fellow der Alexander-von-Humboldt-Stiftung (Bonn)
- Projektgruppenleiter am Institut fuer Kybernetik, Kiew
Preise
- Best Poster Award – Programming and Tuning Massively Parallel Systems + Artificial Intelligence Conference (PUMPS+AI)
- Best Paper Award – CGO Conference Committee
- Research Fellowship – Alexander-von-Humboldt Stiftung
Mitgliedschaften und Aktivitäten in Gremien
- Mitglied des Editorial Boards des "Journal of Cluster Computing"
- Mitglied des Editorial Boards der Zeitschrift "Multiagent and Grid Systems"
- Herausgeber des "Journal of Programming and Artificial Intelligence"
- Vorsitzender des Programm-Ausschusses des "International Workshop on Constructive Methods for Parallel Programming"
Rufe
- Heinrich-Heine-Universität Düsseldorf – abgelehnt
- Technische Universität Berlin – abgelehnt
- Justus-Liebig-Universität Gießen – abgelehnt
Projekte
- PPP-DL – Performance, Portabilität und Produktivität für Deep-Learning Anwendungen auf Multi- und Many-Core Architekturen ( – )
Gefördertes Einzelprojekt: DFG - Sachbeihilfe/Einzelförderung | Förderkennzeichen: GO 756/8-1 - Automatische Skalierbarkeit in verteilten Systemen mit Echtzeit-Anforderungen ( – )
Gefördertes Einzelprojekt: GS electronic Gebr. Schönweitz GmbH - NVIDA Graduate Fellowship award ( – )
Gefördertes Einzelprojekt: Nvidia Corporation - HPC²SE – Verbundprojekt: HPC2SE - Hardware- und Leistungsorientierte Codegenerierung für Informatik und Ingenieurwesen ( – )
participations in bmbf-joint project: Bundesministerium für Bildung und Forschung | Förderkennzeichen: 01IH16003B - EXC 1003 A6 - Analyse von Bewegung in Zellsysytemen ( – )
Teilprojekt in DFG-Verbund koordiniert an der Universität Münster: DFG - Exzellenzcluster | Förderkennzeichen: EXC1003/1 - 9th International Symposium on High-Level Parallel Programming and Applications ( – )
Wissenschaftliche Veranstaltung: Teilnahmebeiträge/Tagungsgebühren - Data Structures and Algorithms for RDF on Many-Core Systems ( – )
participations in other joint project: Deutscher Akademischer Austauschdienst | Förderkennzeichen: 57084841 - MONICA – Mobile Cloud Computing: Networks, Services and Architecture ( – )
EU-Projekt koordiniert außerhalb der Universität Münster: EU FP 7 - Marie Curie Actions - Internationaler Forschungspersonalaustausch | Förderkennzeichen: PIRSES-GA-2011-295222 - OFERTIE – OpenFlow in Real-Time Internet Edutainment ( – )
EU-Projekt koordiniert außerhalb der Universität Münster: EU FP 7 - Collaborative Project | Förderkennzeichen: 318665 - SFB 656 PM13 – SFB 656 PM13 - Parallele 4D-Bildrekonstruktionsverfahren ( – )
Teilprojekt in DFG-Verbund koordiniert an der Universität Münster: DFG - Sonderforschungsbereich - Optimierung von Scheduling-Mechanismen innerhalb der ATIS-Softwareprodukte ( – )
Gefördertes Einzelprojekt: Wirtschaft - EDUTAIN@GRID – A scalable QoS-enabled business Grid Environment for multi-user real-time online interactive applications ( – )
EU-Projekt koordiniert außerhalb der Universität Münster: EU FP 6 - Specific Targeted Research Projects | Förderkennzeichen: 034601 - Durchführung einer gemeinsam betreuten Diplomarbeit/Vereinbarung mit der OVSoftware GmbH ( – )
Gefördertes Einzelprojekt: Wirtschaft - ITSoftTeam – ITSoftTeam ( – )
EU-Projekt koordiniert außerhalb der Universität Münster: EU - TEMPUS | Förderkennzeichen: TEMPUS CD_JEP-26195-2005 - CoreGrid – European research network on foundations, software infrastructures and applications for large scale distributed, grid and peer-to-peer technologies ( – )
EU-Projekt koordiniert außerhalb der Universität Münster: EU FP 6 - Networks of Excellence | Förderkennzeichen: 4265 - COFFEE – Collective Operations: Formal Framework, Equalities, Efficiency ( – )
Gefördertes Einzelprojekt: DFG - Sachbeihilfe/Einzelförderung | Förderkennzeichen: GO 756/4-2
- PPP-DL – Performance, Portabilität und Produktivität für Deep-Learning Anwendungen auf Multi- und Many-Core Architekturen ( – )
Publikationen
- . . ‘Towards an Autoscaling Service for Real-Time Online Interactive Applications on Clouds.’ In Euromicro Conference on Parallel, Distributed and Network-Based Processing, edited by , 1–8. 0. Aufl. New York City: Wiley-IEEE Press. doi: 10.1109/PDP62718.2024.00024.
- ‘Performance Evaluation of a Legacy Real-Time System: An Improved RAST Approach.’ In Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, edited by , 18–33. 0. Aufl. Heidelberg: Springer. doi: 10.1007/978-3-031-57523-5_2. .
- ‘KNOWLEDGE ACQUISITION IN MULTI-AGENT SYSTEMS: A FORMALIZATION OF THE ELEUSIS CARD GAME.’ Journal of Mathematical Sciences 281, Nr. 2. doi: 10.1007/s10958-024-07107-y. .
- . . ‘Descend: A Safe GPU Systems Programming Language.’ Proceedings of the ACM on Programming Languages 8, Nr. PLDI: 841–864. doi: 10.1145/3656411.
- . . ‘Autotuning Parallel Programs by Model Checking.’ Automatic Control and Computer Sciences 56, Nr. 7: 634–648. doi: 10.3103/S0146411622070045.
- . . ‘(De/Re)-Compositions Expressed Systematically via MDH-Based Schedules.’ In CC 2023: Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, edited by , 61–72. 0. Aufl. New York, NY: ACM Press. doi: 10.1145/3578360.3580269.
- . . ‘Achieving High Performance the Functional Way: Expressing High-Performance Optimizations as Rewrite Strategies.’ Communications of the ACM 66, Nr. 3: 89–97. doi: 10.1145/3580371.
- ‘Multi-Cloud Container Orchestration for High-Performance Real-Time Online Applications.’ In Euromicro Conference on Parallel, Distributed and Network-Based Processing, edited by , 307–313. 0. Aufl. New York City: Wiley-IEEE Computer Society Press. doi: 10.1109/PDP59025.2023.00054. .
- ‘An OpenVPN-Based Interconnection in Multi-Clouds with Windows and Linux nodes.’ In Consumer Communications and Networking Conference, CCNC IEEE, edited by , 867–870. 0. Aufl. New York City: Wiley-IEEE Computer Society Press. doi: 10.1109/CCNC51644.2023.10059709. .
- ‘Accelerating Neural Network Training Process on Multi-Core Machine Using OpenMP.’ In 2022 III International Conference on Neural Networks and Neurotechnologies (NeuroNT), edited by , 7–11. 0. Aufl. New York City: Wiley-IEEE Press. doi: 10.1109/NeuroNT55429.2022.9805549. .
- . . ‘Modeling and interactive simulation of measures against infection transmission.’ Simulation: Transactions of the Society for Modeling and Simulation International I, Nr. 20. doi: 10.1177/00375497221133849.
- ‘Model Checking Meets Auto-Tuning of High-Performance Programs.’ In Logic-Based Program Synthesis and Transformation, edited by , 63–82. 0. Aufl. Heidelberg: Springer. doi: 10.1007/978-3-031-16767-6_4. .
- . . ‘RAST: Evaluating Performance of a Legacy System Using Regression Analysis and Simulation.’ In 2022 30th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), edited by , 49–56. 0. Aufl. New York City: Wiley-IEEE Computer Society Press. doi: 10.1109/MASCOTS56607.2022.00015.
- . . ‘Towards a Generic Framework for GPU-Parallelized Simulations of Light-Driven Nano-Particles.’ In Proceedings of the 2022 International Conference on Computational Science and Computational Intelligence, edited by , 1374–1379. 0. Aufl. New York City: Wiley-IEEE Computer Society Press. doi: 10.1109/CSCI58124.2022.00245.
- . . ‘Systematically extending a high-level code generator with support for tensor cores.’ In GPGPU@PPoPP 2022: Proceedings of the 14th Workshop on General Purpose Processing Using GPU, Virtual Event, Seoul, Republic of Korea, 3 April 2022, edited by , 3:1:6–3:3:6. 0. Aufl. New York, NY: ACM Press. doi: 10.1145/3530390.3532733.
- Materials, Computer Engineering and Education Technology. 0. Aufl. Bäch: Trans Tech Publications. doi: 10.4028/www.scientific.net/AST.105. (Eds.): .
- . . ‘Efficient GPU-parallelization of batch plants design using metaheuristics with parameter tuning.’ Journal of Parallel and Distributed Computing 154: 74–81. doi: 10.1016/j.jpdc.2021.03.012.
- . . ‘Measuring Performance of Fault Management in a Legacy System: An Alarm System Study.’ In Modelling, Analysis, and Simulation of Computer and Telecommunication Systems. MASCOTS 2020, edited by , 129–146. 0. Aufl. Heidelberg: Springer. doi: 10.1007/978-3-030-68110-4_9.
- . . ‘Efficient Auto-Tuning of Parallel Programs with Interdependent Tuning Parameters via Auto-Tuning Framework (ATF).’ ACM Transactions on Architecture and Code Optimization 18, Nr. 1: 1–26. doi: 10.1145/3427093.
- . . ‘A Scalable Cloud Deployment Architecture for High-Performance Real-Time Online Applications.’ In High Performance Computing, edited by , 395–405. 0. Aufl. Heidelberg: Springer. doi: 10.1007/978-3-030-90539-2_26.
- . . ‘Introducing Interactivity in Disaster Recovery Simulations.’ In New Trends in Intelligent Software Methodologies, Tools and Techniques, edited by , 267–280. 0. Aufl. Amsterdam: IOS Press. doi: 10.3233/FAIA210026.
- . . ‘Implicit Data Layout Optimization for Portable Parallel Programming in C++.’ In Parallel Computing Technologies, edited by , 223–234. 0. Aufl. Heidelberg: Springer. doi: 10.1007/978-3-030-86359-3_17.
- . . ‘Testing of multithreaded applications with locks on non-atomic variables.’ Scientific and Technical Journal of Information Technologies, Mechanics and Optics 20, Nr. 2: 243–248. doi: 10.17586/2226-1494-2020-20-2-243-248.
- . . ‘Efficient Distribution and Processing of Data for Parallelizing Data Mining in Mobile Clouds.’ Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications 11, Nr. 1: 2–17. doi: 10.22667/JOWUA.2020.03.31.002.
- . . ‘Performance Portability and Unified Profiling for Finite Element Methods on Parallel Systems.’ Advances in Science, Technology and Engineering Systems Journal (ASTESJ) 5, Nr. 1: 119–127. doi: 10.25046/aj050116.
- . . ‘Improving Parallel Data Mining for Different Data Distributions in IoT Systems.’ In Intelligent Distributed Computing XIII, edited by , 75–85. 0. Aufl. Heidelberg: Springer. doi: 10.1007/978-3-030-32258-8_9.
- . . ‘Simulating Infection Transmission: A Case Study of COVID-19.’ In Modelling and Simulation 2020, edited by , 310–317. 0. Aufl. N/A: Sonstiger Verlag / other publisher.
- . . ‘An Ontology-Based Approach to Support Formal Verification of Concurrent Systems.’ In Formal Methods. FM 2019 International Workshops, edited by , 114–130. 0. Aufl. . doi: 10.1007/978-3-030-54994-7_9.
- . . ‘Dedicative Verification of Reflex Programs.’ Programming and Computer Software 46: 261–272. doi: 10.1134/S0361768820040027.
- . . ‘A Plug-in Framework for Efficient Multicast Using SDN.’ In Wireless Internet, edited by , 271–284. 0. Aufl. Heidelberg: Springer. doi: 10.1007/978-3-030-52988-8_24.
- . . ‘Achieving High-Performance the Functional Way: A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies.’ In Proceedings of the ACM on Programming Languages. 0. Aufl. USA.
- . . ‘md_poly: A Performance-Portable Polyhedral Compiler Based on Multi-Dimensional Homomorphisms.’ Contributed to the 10th International Workshop on Polyhedral Compilation Techniques, Bologna.
- . . ‘Parallelization of the self-organized maps algorithm for federated learning on distributed sources.’ The Journal of Supercomputing 2020. doi: 10.1007/s11227-020-03509-2.
- . . ‘Reasoning about Programmable Logic Controllers.’ System Informatics 2020, Nr. 17: 33–42.
- . . ‘Generating efficient FFT GPU code with Lift.’ In Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, FHPNC@ICFP 2019, Berlin, Germany, August 18, 2019, edited by , 1–13. 0. Aufl. New York, NY: ACM Press. doi: 10.1145/3331553.3342613.
- . . ‘Distributed Simulation of Crowds with Groups in CrowdSim.’ In 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT), edited by , 1–8. 0. Aufl. New York City: Wiley-IEEE Press. doi: 10.1109/DS-RT47707.2019.8958690.
- . . ‘Two-Step Deductive Verification of Control Software Using Reflex.’ In Perspectives of System Informatics, edited by , 50–63. 0. Aufl. Heidelberg: Springer. doi: 10.1007/978-3-030-37487-7.
- . . ‘Toward Structured Parallel Programming: Send-Receive Considered Harmful.’ In Models, Mindsets, Meta: The What, the How, and the Why Not?, edited by , 208–217. 0. Aufl. Düsseldorf: Springer VDI Verlag. doi: 10.1007/978-3-030-22348-9_13.
- . . ‘Parallelization of Algorithms for Mining Data from Distributed Sources.’ In Parallel Computing Technologies. PaCT 2019, edited by , 289–303. 0. Aufl. Heidelberg: Springer. doi: 10.1007/978-3-030-25636-4_23.
- . . ‘Optimizing a GPU-Parallelized Ant Colony Metaheuristic by Parameter Tuning.’ In Parallel Computing Technologies. PaCT 2019, edited by , 151–165. 0. Aufl. Heidelberg: Springer. doi: 10.1007/978-3-030-25636-4_12.
- . . ‘High-performance Probabilistic Record Linkage via Multi-dimensional Homomorphisms.’ In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, edited by , 526–533. 0. Aufl. New York, NY: ACM Press. doi: 10.1145/3297280.3297330.
- . . ‘dOCAL: high-level distributed programming with OpenCL and CUDA.’ The Journal of Supercomputing 65: 1–22. doi: 10.1007/s11227-019-02829-2.
- . . ‘Unified Cross-Platform Profiling of Parallel C++ Applications.’ Contributed to the 2018 IEEE/ACM Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS), Dallas, TX, USA. doi: 10.1109/PMBS.2018.8641652.
- . . ‘ATF: A generic directive‐based auto‐tuning framework.’ Concurrency Computation - Practice and Experience 31, Nr. 5. doi: 10.1002/cpe.4423.
- . . ‘Send-Receive Considered Harmful: Toward Structured Parallel Programming.’ In The Art of Structuring: Bridging the Gap Between Information Systems Research and Practice, edited by , 515–525. 0. Aufl. Düsseldorf: Springer VDI Verlag. doi: 10.1007/978-3-030-06234-7.
- . . ‘Generating Portable High-Performance Code via Multi-Dimensional Homomorphisms.’ Contributed to the 28th International Conference on Parallel Architectures and Compilation Techniques (PACT), Seattle WA.
- . . ‘Guest Editorial: High-Level Parallel Programming with Algorithmic Skeletons.’ International Journal of Parallel Programming 46: 1–3. doi: 10.1007/s10766-017-0512-3.
- . . ‘ATF: A Generic, Directive-Based Auto-Tuning Framework.’ Concurrency Computation - Practice and Experience 30, Nr. 3. doi: 10.1002/cpe.4423.
- . . ‘Modelling the Scalability of Real-Time Online Interactive Applications on Clouds.’ Future Generation Computer Systems 2018, Nr. 86: 1019–1031. doi: 10.1016/j.future.2017.07.041.
- . . ‘A formally based parallelization of data mining algorithms for multi-core systems.’ The Journal of Supercomputing 2018: 1–12. doi: 10.1007/s11227-018-2473-8.
- . . ‘Comparing GPU-parallelized metaheuristics to branch-and-bound for batch plants optimization.’ The Journal of Supercomputing 2018: 1–13. doi: 10.1007/s11227-018-2472-9.
- . . ‘Efficient Load Balancing for Multicast Traffic in Data Center Networks Using SDN.’ In 2018 10th International Conference on Communication Systems & Networks (COMSNETS), edited by , 113–120. 0. Aufl. New York City: Wiley-IEEE Press. doi: 10.1109/COMSNETS.2018.8328187.
- . . ‘High Performance Stencil Code Generation with Lift.’ In Proceedings of the 2018 International Symposium on Code Generation and Optimization, {CGO} 2018, Vössendorf / Vienna, Austria, February 24-28, 2018, 100–112. 0. Aufl. . doi: 10.1145/3168824.
- ‘A Transformation-Based Approach to Developing High-Performance GPU Programs.’ Contributed to the 11th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2017, rus. doi: 10.1007/978-3-319-74313-4_14. .
- . . ‘OCAL: An Abstraction for Host-Code Programming with OpenCL and CUDA.’ In 2018 IEEE 24th International Conference on Parallel and Distributed Systems (ICPADS), edited by , 408–416. 0. Aufl. New York City: Wiley-IEEE Press. doi: 10.1109/PADSW.2018.8644541.
- . . ‘An Ontology of Specification Patterns for Verification of Concurrent Systems.’ In New Trends in Intelligent Software Methodologies, Tools and Techniques, edited by , 515–528. 0. Aufl. Amsterdam: IOS Press. doi: 10.3233/978-1-61499-900-3-515.
- . . ‘Parallelizing Metaheuristics for Optimal Design of Multiproduct Batch Plants on GPU.’ In Lecture Notes in Computer Science (LNCS, volume 10421), edited by , 405–417. 0. Aufl. Heidelberg: Springer. doi: 10.1007/978-3-319-62932-2_39.
- . . ‘eccCL: Parallelized GPU Implementation of Ensemble Classifier Chains.’ BMC Bioinformatics 2017. doi: 10.1186/s12859-017-1783-9.
- . . ‘Towards Simulating the Communication Behavior of Real-Time Interactive Applications.’ Contributed to the 5th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (SIGSIM PADS'17), Singapore. doi: 10.1145/3064911.3064931.
- . . ‘Multi-Dimensional Homomorphisms and Their Implementation in OpenCL.’ International Journal of Parallel Programming 2017: 1–19. doi: 10.1007/s10766-017-0508-z.
- . . ‘Guest Editors' Note: Special Issue on High-Level Parallel Programming and Applications .’ Parallel Processing Letters 27, Nr. 1: 1–2. doi: 10.1142/S0129626417020017.
- . . ‘High-Level Programming for Many-Cores using C++14 and the STL.’ International Journal of Parallel Programming 2017. doi: 10.1007/s10766-017-0497-y.
- . . ‘Using Multiple Semantic Measures for Coreference Resolution in Ontology Population.’ International Journal of Computing 16 (3): 166–176.
- . . ‘Skeleton Programming for Portable Many-Core Computing.’ In Programming Multicore and Many-core Computing Systems, edited by , 121–142. 0. Aufl. New York City: John Wiley & Sons.
- . . ‘A Functional Approach to Parallelizing Data Mining Algorithms in Java.’ In Lecture Notes in Computer Science (LNCS, volume 10421), edited by , 459–472. 0. Aufl. Heidelberg: Springer. doi: 10.1007/978-3-319-62932-2_44.
- . . ‘Towards Composable GPU Programming: Programming GPUs with Eager Actions and Lazy Views.’ In Proceedings of the 8th International Workshop on Programming Models and Applications for Multicores and Manycores, edited by , 58–67. 0. Aufl. New York, NY: ACM Press. doi: 10.1145/3026937.3026942.
- ‘TripleID: A low-overhead representation and querying using GPU for large RDFs.’ In Beyond Databases, Architectures and Structures. Advanced Technologies for Data Mining and Knowledge Discovery, edited by , 400–415. 0. Aufl. Düsseldorf: Springer VDI Verlag. doi: 10.1007/978-3-319-34099-9_31. .
- . . ‘Modelling the Scalability of Real-Time Online Interactive Applications on Clouds.’ Contributed to the International Workshop on Adaptive Resource Management and Scheduling for Cloud Computing, Chicago, USA.
- . . ‘Efficient Development and Execution of Adaptable Online Games on Clouds.’ Emerging Technologies and Applications for Cloud-Based Gaming 2016.
- . . ‘A GPU parallelization of branch-and-bound for multiproduct batch plants optimization.’ The Journal of Supercomputing 72: 1–13. doi: 10.1007/s11227-016-1784-x.
- . . ‘Programming GPUs with C++14 and Just-In-Time Compilation.’ Contributed to the Advances in Parallel Computing: On the Road to Exascale, ParCo2015, Edinburgh, Schottland. doi: 10.3233/978-1-61499-621-7-247.
- . . ‘Multi-Stage Programming for GPUs in Modern C++ using PACXX.’ Contributed to the The 9th Annual Workshop on General Purpose Processing Using Graphics Processing Unit, GPGPU '16, Barcelona, Spain. doi: 10.1145/2884045.2884049.
- . . ‘Towards Efficient Multicast Communication in Software-Defined Networks.’ In 2016 IEEE 36th International Conference on Distributed Computing Systems Workshops (ICDCSW), edited by , 106–113. 0. Aufl. New York City: Wiley-IEEE Press. doi: 10.1109/ICDCSW.2016.15.
- . . ‘RTF+Shark: Using Software-Defined Networks for Multiplayer Online Games.’ Contributed to the 14th IEEE/ACM International Workshop on Network and Systems Support for Games (NetGames) 2015, Zagreb.
- . . ‘A Network-Based Scalability Model for Distributed Real-Time Resource Management.’ Contributed to the International MultiConference of Engineers and Computer Scientists 2015, IMECS 2015, Hong Kong.
- . . ‘Accelerating Keyword Search for Large RDF Data on Many-Core Systems.’ Contributed to the The 14th International Conference on Intelligent Software Methodologies, Tools and Techniques, Naples, Italy.
- . . ‘Parallelizing Branch-and-Bound on GPUs for Optimization of Multiproduct Batch Plants.’ In Parallel Computing Technologies, edited by , 324–337. 0. Aufl. Heidelberg: Springer. doi: 10.1007/978-3-319-21909-7_33.
- . . ‘Enabling High-Level QoS Metrics for Interactive Online Applications Using SDN.’ Contributed to the International Conference on Computing, Networking and Communications (ICNC'15), Anaheim.
- . . ‘gCUP: Rapid GPU-based HIV-1 Coreceptor Usage Prediction for Next-Generation Sequencing.’ Bioinformatics 30, Nr. 22: 3272–3273. doi: 10.1093/bioinformatics/btu535.
- . . ‘HLSF: A High-Level, C++-Based Framework for Stencil Computations on Accelerators.’ Contributed to the Second Workshop on Optimizing Stencil Computations WOSC'14 at SPLASH 14, Portland. doi: 10.1145/2686745.2686751.
- . . ‘PACXX: Towards a Unified Programming Model for Programming Accelerators using C++14.’ Contributed to the The LLVM Compiler Infrastructure in HPC Workshop at Supercomputing '14, New Orleans. doi: 10.1109/LLVM-HPC.2014.9.
- . . ‘Using Mobile Cloud Computing for Real-Time Online Applications.’ Contributed to the IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, Oxford, UK.
- . . ‘Bringing Mobile Online Games to Clouds.’ Contributed to the IEEE INFOCOM Workshop on Mobile Cloud Computing, Toronto, Canada.
- ‘Using Software-Defined Networking for Real-Time Internet Applications.’ In Proc. of the International MultiConference of Engineers and Computer Scientists (IMECS 2014), edited by , 150–155. 0. Aufl. . .
- ‘Improving QoS in real-time internet applications: From best-effort to software-defined networks.’ Contributed to the 2014 International Conference on Computing, Networking and Communications, ICNC 2014, Honolulu, HI, usa. doi: 10.1109/ICCNC.2014.6785329. .
- . . ‘Towards High-Level Programming for Systems with Many Cores.’ In Perspectives of Systems Informatics - 9th International Andrei Ershov Memorial Conference, PSI 2014, edited by . 0. Aufl. Heidelberg: Springer.
- . . ‘SkelCL: a high-level extension of OpenCL for multi-GPU systems.’ The Journal of Supercomputing 69, Nr. 1: 25–33. doi: 10.1007/s11227-014-1213-y.
- . . ‘Extending the SkelCL Skeleton Library for Stencil Computations on Multi-GPU Systems.’ In Proceedings of the 1st International Workshop on High-Performance Stencil Computations, edited by , 15–21. 0. Aufl. Wien: International Workshop on High-Performance Stencil Computations.
- . . ‘A Northbound API for QoS Management in Real-Time Interactive Applications on Software-Defined Networks.’ Journal of Communications 2014, Nr. 9: 607–615. doi: 10.12720/jcm.9.8.607-615.
- . . ‘High-Level Programming of Stencil Computations on Multi-GPU Systems using the SkelCL Library.’ Parallel Processing Letters 24, Nr. 03: 1441005. doi: 10.1142/S0129626414410059.
- . . ‘Introducing and Implementing the Allpairs Skeleton for Programming Multi-GPU Systems.’ International Journal of Parallel Programming 42, Nr. 4: 601–618. doi: 10.1007/s10766-013-0265-6.
- . . ‘A Scalability Model for Distributed Resource Management in Real-Time Online Applications.’ In Proceedings of the 2013 International Conference on Parallel Processing (ICPP), 763–772. 0. Aufl. .
- . . ‘dOpenCL: Towards uniform programming of distributed heterogeneous multi-/many-core systems.’ Journal of Parallel and Distributed Computing 73, Nr. 12: 1639–1648. doi: 10.1016/j.jpdc.2013.07.021.
- . . ‘SkelCL: Enhancing OpenCL for High-Level Programming of Multi-GPU Systems.’ In Parallel Computing Technologies - 12th International Conference (PaCT 2013), edited by , 258–272. 0. Aufl. Heidelberg: Springer. doi: 10.1007/978-3-642-39958-9_24.
- . . ‘Uniform High-Level Programming of Many-Core and Multi-GPU Systems.’ In Transition of HPC Towards Exascale Computing, edited by , 159–176. 0. Aufl. Amsterdam: IOS Press. doi: 10.3233/978-1-61499-324-7-159.
- . . ‘High-Level Programming for Medical Imaging on Multi-GPU Systems using the SkelCL Library.’ Procedia Computer Science 18: 749–758. doi: 10.1016/j.procs.2013.05.239.
- . . ‘Towards bringing real-time online applications on clouds.’ Contributed to the International Conference on Computing, Networking and Communications (ICNC), Maui, Hawaii, USA.
- . . ‘Research challenges on engineering service-oriented applications.’ Contributed to the ICSE 2012 Workshop on European Software Services and Systems Research -- Results and Challenges (S-Cube), Zurich, Switzerland.
- . . ‘Designing Scalable Multiplayer Online Games.’ Game Coder Magazine 05/2012: 24–30.
- . . ‘Designing Multiplayer Online Games Using the Real-Time Framework.’ In Algorithmic and Architectural Gaming Design: Implementation and Development, edited by , 290–321. 0. Aufl. .
- . . ‘dOpenCL: Towards a uniform programming approach for distributed heterogeneous multi-/many-core systems.’ In Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2012, 174–186. 0. Aufl. New York City: Wiley-IEEE Computer Society Press. doi: 10.1109/IPDPSW.2012.16.
- . . ‘Using the SkelCL Library for High-Level GPU Programming of 2D Applications.’ In Euro-Par 2012: Parallel Processing Workshops - BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers, edited by , 370–380. 0. Aufl. Heidelberg: Springer. doi: 10.1007/978-3-642-36949-0_41.
- . . ‘A High-Level Programming Approach for Distributed Systems with Accelerators.’ In New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eleventh SoMeT '12, edited by , 430–441. 0. Aufl. Amsterdam: IOS Press. doi: 10.3233/978-1-61499-125-0-430.
- . . ‘Skeleton Programming for Portable Many-Core Computing.’ In Programming Multi-core and Many-core Computing Systems, edited by , 1–21. 0. Aufl. Hoboken, NJ, USA: Wiley-Blackwell.
- . . ‘Towards High-Level Programming of Multi-GPU Systems Using the SkelCL Library.’ In Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2012, edited by , 1858–1865. 0. Aufl. New York City: Wiley-IEEE Press. doi: 10.1109/IPDPSW.2012.229.
- . . ‘Design for Self-Adaptation in Service-Oriented Systems in the Cloud.’ In European Research Activities in Cloud Computing, edited by , 214–240. 0. Aufl. Newcastle upon Tyne: Cambridge Scholars Publishing.
- . . ‘Developing Infrastructures for Online Games and Distance Learning using RTF.’ In Proceedings of the International MultiConference of Engineers and Computer Scientists 2012, edited by , 614–619. 0. Aufl. Hong Kong: Newswood.
- . . ‘Accelerating Multi-User Online Games on Multi-Core Systems Using DependenTS.’ In 2011 IEEE Consumer Communications and Networking Conference (CCNC), edited by , 177–181. 0. Aufl. New York City: Wiley-IEEE Press. doi: 10.1109/CCNC.2011.5766448.
- . . ‘Parallel Skeletons.’ In Encyclopedia of Parallel Computing, edited by , 1417–1422. 0. Aufl. .
- . . ‘Bandwidth-Latency Models (BSP, LogP).’ In Encyclopedia of Parallel Computing, edited by , 107–112. 0. Aufl. .
- . . ‘SkelCL - A Portable Skeleton Library for High-Level GPU Programming.’ In 2011 IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW), 1176–1182. 0. Aufl. New York City: Wiley-IEEE Press. doi: 10.1109/IPDPS.2011.269.
- . . ‘Comparing Programming Models for Medical Imaging on Multi-Core Systems.’ Concurrency and Computation: Practice and Experience 23, Nr. 10: 1051–1065. doi: 10.1002/cpe.1671.
- . . ‘Optimal Design of Multiproduct Batch Plants Using a Parallel Branch-and-Bound Method .’ Contributed to the PaCT 2011, Kanzan, Rusia.
- . . ‘Improving the Concurrent Updates of Replicated Global Objects in Multi-Server Virtual Environments.’ In Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques, edited by , 320–327. 0. Aufl. New York, NY: ACM Press.
- . . ‘Towards the Scalability of Real-Time Online Interactive Applications on Multiple Servers and Clouds.’ In High Performance Computing: From Grids and Clouds to Exascale, edited by , 267–287. 0. Aufl. Amsterdam: IOS Press.
- „GPU-accelerated Simulation of Linear and Nonlinear Optical Beam Propagation in Waveguides.“ contributed to the International Conference on Simulation Technology (SimTech), Stuttgart, . [accepted / in Press (not yet published)]
- . . ‘Software Development for Real-Time Online Interactive Applications on Clouds.’ In Frontiers in Artificial Intelligence and Applications, edited by , 81–94. 0. Aufl. Bristol: IOP Publishing.
- . . ‘A Dynamic Resource Management System for Real-Time Online Applications on Clouds.’ In Euro-Par 2011: Parallel Processing Workshops, edited by , 149–158. 0. Aufl. Heidelberg: Springer.
- . . ‘Netlag: A performance evaluation tool for Massively multi-user networked applications.’ In HPDC '10: Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing, edited by , 573–580. 0. Aufl. New York, NY: ACM Press. doi: 10.1145/1851476.1851561.
- . . ‘Using a lifecycle model for developing and executing adaptable interactive distributed applications.’ Lecture notes in computer science 6481 LNCS: 175–186.
- . . ‘Scalable distributed simulation of large dense crowds using the Real-Time Framework (RTF).’ Lecture notes in computer science 6271 LNCS, Nr. PART 1: 572–583.
- . . ‘Cheating prevention in virtual worlds: Software, economic, and law aspects.’ Frontiers in Artificial Intelligence and Applications 217: 268–289.
- ‘A service-oriented interface for highly interactive distributed applications.’ Contributed to the Workshop on Highly Parallel Processing, Euro-Par 2009, Delft, nld. doi: 10.1007/978-3-642-14122-5_31. .
- . . ‘Cheating Prevention in Virtual Worlds: Software, Economic, and Law Aspects.’ In New trends in software methodologies, tools and techniques, edited by , 268–289. 0. Aufl. Amsterdam: IOS Press. doi: 10.3233/978-1-60750-629-4-268.
- . . SkelCL - A Portable Multi-GPU Skeleton Library. 0. Aufl. Münster: University Münster.
- . . ‘Using OpenMP vs. Threading Building Blocks for Medical Imaging on Multi-cores.’ In Euro-Par 2009 Parallel Processing, edited by , 654–665. 0. Aufl. Heidelberg: Springer. doi: 10.1007/978-3-642-03869-3_62.
- . . ‘Towards a scalable real-time cyberinfrastructure for online computer games.’ Proceedings of the International Conference on Parallel and Distributed Systems 2009: 722–727.
- . . ‘A Case Study on Using RTF for Developing Multi-Player Online Games.’ Lecture notes in computer science 5415 LNCS: 390–400.
- . . ‘Parallel medical image reconstruction: From graphics processors to grids.’ Lecture notes in computer science 5698 LNCS: 457–473.
- . . ‘Parallelizing the LM OSEM Image Reconstruction on Multi-Core Clusters.’ Contributed to the International Conference ParCo, Lyon, France.
- . . ‘Parallel medical image reconstruction: From graphics processors to grids.’ Contributed to the 10th International Conference PaCT, Novosibirsk, Russia.
- . . Higher-Order Components for Grid Programming. 0. Aufl. Düsseldorf: Springer VDI Verlag.
- . . ‘A Case Study on Multi-Core Programming Using Threading Building Blocks.’ In ARCS '09 Workshop Proceedings, edited by , 39–46. 0. Aufl. Berlin: VDE Verlag.
- . . ‘Scalability of Real-Time Online Applications in Edutain@Grid.’ In Proceedings of the 9th WSEAS International Conference on Applied Informatics and Communications, edited by , 351–356. 0. Aufl. Moskau: World Scientific and Engineering Academy and Society (WSEAS). doi: 10.5555/1628095.1628156.
- . . ‘A Service-Oriented Interface for Highly Interactive Distributed Applications.’ In Proceedings of the 2nd International Workshop on Real Time Online Interactive Applications on the Grid, edited by , 266–277. 0. Aufl. Heidelberg: Springer. doi: 10.1007/978-3-642-14122-5_31.
- . . ‘Implementing a Data-Parallel Application with Low Data Locality on Multicore Processors.’ In International Conference on Architecture of Computing Systems - Workshop Proceedings, edited by , 57–64. 0. Aufl. Delft, NL.
- . . ‘Cost-effective medical image reconstruction: From clusters to Graphics Processing Units.’ Contributed to the Conference on Computing Frontiers - Proceedings of the 2008 Conference on Computing Frontiers, Ischia, Italien.
- . . ‘Enhancing grids for massively multiplayer online computer games.’ Lecture notes in computer science 5168 LNCS: 466–477.
- ‘From a single- to multi-server online game: A Quake 3 case study using RTF.’ In Proceedings of the International Conference on Advances in Computer Entertainment Technology: ACE 2008, 83–90. 0. Aufl. New York, NY: ACM Press. doi: 10.1145/1501750.1501769. .
- ‘Edutain@Grid: A business grid infrastructure for real-time on-line interactive applications.’ Contributed to the 5th International Workshop on Grid Economics and Business Models, GECON 2008, Las Palmas de Gran Canaria, esp. doi: 10.1007/978-3-540-85485-2_12. .
- Grid Computing: Achievements and Prospects. 0. Aufl. Düsseldorf: Springer VDI Verlag. (Eds.): .
- Integrated Research in Grid Computing. 0. Aufl. N/A: Selbstverlag / Eigenverlag. (Eds.): .
- . . Achievements in European Research on Grid Systems. 0. Aufl. Heidelberg: Springer.
- . . ‘High-level development of multiserver online games.’ International Journal of Computer Games Technology 2008, Nr. 5: 1–16. doi: 10.1155/2008/327387.
- . . ‘User-Oriented Software Development for Real-Time Online Applications.’ In New Trends in Software Methodologies, Tools and Techniques, edited by , 339–360. 0. Aufl. Amsterdam: IOS Press.
- . . ‘A Grid Environment for Real-Time Multiplayer Online Games.’ In Proceedings of the CoreGRID Integration Workshop. 0. Aufl. Hersonissos, Crete. doi: 10.1007/978-0-387-09457-1_19.
- . . ‘RTF: A real-time framework for developing scalable multiplayer online games.’ In Proceedings of the 6th ACM SIGCOMM Workshop on Network and System Support for Games, NetGames '07, edited by , 81–86. 0. Aufl. New York, NY: ACM Press. doi: 10.1145/1326257.1326272.
- ‘Towards a high-level design approach for multi-server online games.’ Contributed to the 8th International Conference on Intelligent Games and Simulation, GAME-ON 2007, Bologna, ita. .
- Integrated Research in GRID Computing. 0. Aufl. Düsseldorf: Springer VDI Verlag. doi: 10.1007/978-0-387-47658-2. (Eds.): .
- Integrated Research in Grid Computing. 0. Aufl. N/A: Selbstverlag / Eigenverlag. (Eds.): .
- Achievements in European Research on Grid Systems. 0. Aufl. Düsseldorf: Springer VDI Verlag. (Eds.): .
- . . ‘Scaling Online Games on the Grid.’ In Proceedings of Game Design and Technology Workshop 2006 (GDTW'06), edited by , 6–10. 0. Aufl. New York, NY: ACM Press.
- . . ‘Rokkatan: scaling an RTS game design to the massively multiplayer realm.’ ACM Computers in Entertainment 4, Nr. 3: 11. doi: 10.1145/1146816.1146833.
- . . ‘Rokkatan: Scaling an RTS game design to the massively multiplayer realm.’ ACM International Conference Proceeding Series 265: 125–132.
- . . ‘Data parallelism in C++ template programs: a Barnes-Hut case study.’ Parallel Processing Letters 15, Nr. 3: 257–272. doi: 10.1142/S0129626405002209.
- . . ‘Send-Receive Considered Harmful: Myths and Realities of Message Passing.’ ACM Transactions on Programming, Languages and System 26, Nr. 1: 36–53.
- Patterns and Skeletons for Parallel and Distributed Computing. 0. Aufl. Düsseldorf: Springer VDI Verlag. (Eds.): .
- . . ‘DatTeL: A data-parallel C++ template library.’ Parallel Processing Letters 13, Nr. 3: 461–472. doi: 10.1142/S0129626403001422.
- . . ‘Cost optimality and predictability of parallel programming with skeletons.’ Parallel Processing Letters 13, Nr. 4: 575–587. doi: 10.1142/S0129626403001525.
- Constructive Methods for Parallel Programming. 0. Aufl. Hauppauge, NY: Nova Science Publishers. (Eds.): .
- . . The Double-scan Skeleton and Its Parallelization , .
- . . ‘Double-Scan: Introducing and Implementing a New Data-Parallel Skeleton.’ In Euro-Par 2002. Parallel Processing, edited by , 640–647. 0. Aufl. Heidelberg: Springer. doi: 10.1007/3-540-45706-2_88.
- . . ‘Program development for Computational Grids Using Skeletons and Performance Prediction.’ Parallel Processing Letters 12: 157–174.
- . . ‘Turing universality of recursive patterns for parallel programming.’ Parallel Processing Letters 12, Nr. 2: 229–246. doi: 10.1142/S012962640200094X.
- . . ‘Towards parallel programming by transformation: The FAN skeleton framework.’ Parallel algorithms and applications 16, Nr. 2: 87–121. doi: 10.1080/01495730108935268.
- . . ‘Network performance-aware collective communication for clustered wide-area systems.’ Parallel Computing 27, Nr. 11: 1431–1456. doi: 10.1016/S0167-8191(01)00098-9.
- Programmieren in C++. 0. Aufl. New York City: McGraw-Hill. (Hrsg.): .
- . . ‘Bandwidth-efficient collective communication for clustered wide area systems.’ In Proceedings 14th International Parallel and Distributed Processing Symposium. IPDPS 2000, edited by , 492–499. 0. Aufl. New York City: Wiley-IEEE Press. doi: 10.1109/IPDPS.2000.846026.
- . . ‘Abstraction and performance in the design of parallel programs: an overview of the SAT approach.’ Acta Informatica 36: 761–803. doi: 10.1007/s002360050174.
- . . ‘Towards Formally-Based Design of Message-Passing Programs.’ IEEE Transactions on Software Engineering 26: 276–288.
- Programmieren in Java. 0. Aufl. New York City: McGraw-Hill. (Hrsg.): .
- . . ‘Parallelizing functional programs by generalization.’ Journal of Functional Programming 9, Nr. 6: 649–673. doi: 10.1017/S0956796899003536.
- . . ‘A Transformational Framework for Skeletal Programs: Overview and Case Study.’ In Parallel and Distributed Processing, edited by , 123–137. 0. Aufl. Heidelberg: Springer.
- . . ‘Skeletons and Transformations in an Integrated Parallel Programming Environment.’ In Parallel Computing Technologies, edited by , 13–27. 0. Aufl. Heidelberg: Springer. doi: 10.1007/3-540-48387-X_2.
- . . ‘Optimization rules for programming with collective operations.’ In Proceedings 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, edited by , 492–499. 0. Aufl. New York City: Wiley-IEEE Press. doi: 10.1109/IPPS.1999.760522.
- . . ‘Extracting and implementing list homomorphisms in parallel program development.’ Science of Computer Programming 33, Nr. 1: 1–27. doi: 10.1016/S0167-6423(97)00014-2.
- . . ‘Programming with Divide-and-Conquer Skeletons: A Case Study of FFT.’ The Journal of Supercomputing 12: 85–97. doi: 10.1023/A:1007981511582.
- . . ‘A Generic MPI Implementation for a Data-Parallel Skeleton: Formal Derivation and Application to FFT.’ Parallel Processing Letters 08, Nr. 04: 447–458. doi: 10.1142/S0129626498000456.
- . . ‘Parallelizing functional programs by generalization.’ In Algebraic and Logic Programming, edited by , 46–60. 0. Aufl. Düsseldorf: Springer VDI Verlag. doi: 10.1007/BFb0027002.
- . . Optimizing compositions of scans and reductions in parallel program derivation , .
- . . ‘N-graphs: scalable topology and design of balanced divide-and-conquer algorithms.’ Parallel Computing 23: 687–698. doi: 10.1016/S0167-8191(97)00024-0.
- . . ‘The Static Parallelization of Loops and Recursions.’ The Journal of Supercomputing 11: 333–353. doi: 10.1023/A:1007904422322.
- . . ‘Formal derivation of divide-and-conquer programs: A case study in the multidimensional FFT's.’ Contributed to the Formal Methods for Parallel Programming: Theory and Practice, Workshop at IPPS'97, Genf, Schweiz.
- . . ‘(De)composition rules for parallel scan and reduction.’ In Proceedings. Third Working Conference on Massively Parallel Programming Models, 23–32. 0. Aufl. . doi: 10.1109/MPPM.1997.715958.
- . . ‘Stages and Transformations in Parallel Programming.’ In Abstract Machine Models for Parallel and Distributed Computing, edited by , 147–161. 0. Aufl. Amsterdam: IOS Press.
- . . ‘Systematic extraction and implementation of divide-and-conquer parallelism.’ In Programming Languages: Implementations, Logics, and Programs, edited by , 274–288. 0. Aufl. Heidelberg: Springer. doi: 10.1007/3-540-61756-6_91.
- ‘Systematic efficient parallelization of scan and other list homomorphisms.’ In Euro-Par'96 Parallel Processing, edited by , 401–408. 0. Aufl. Heidelberg: Springer. doi: 10.1007/BFb0024729. .
- . . N-graphs: A topology for parallel divide-and-conquer on transputer networks , .
- . . Constructing List Homomorphisms for Parallelism , .
- . . ‘Parallelization of divide-and-conquer in the Bird-Meertens formalism.’ Formal Aspects of Computing 7, Nr. 6: 663–682. doi: 10.1007/BF01211000.
- . . ‘Formal Derivation and Implementation of Divide-and-Conquer on a Transputer Network.’ In Transputer Applications and Systems '94, edited by , 763–776. 0. Aufl. Amsterdam: IOS Press.
- . . ‘Systematic development of an SPMD implementation schema for mutually recursive divide-and-conquer specifications.’ In Proceedings of 8th International Parallel Processing Symposium, edited by , 368–375. 0. Aufl. New York City: Wiley-IEEE Press. doi: 10.1109/IPPS.1994.288275.
- . . ‘Development and efficiency evaluation of abstract parallel program representation.’ Contributed to the International Conference on Computing Systems and Software Engineering, Den Haag, Niederlande.
- . . ‘Parallel program design for sparse grid algorithms.’ Contributed to the IFIP Working Conference on Programming Environments for Parallel Computing, Edinburgh, Vereinigtes Königreich.
- . . Parallel program development for a recursive numerical algorithm: A case study . München, .
- . . ‘Systematic development of parallel programs for recursive numerical algorithms: abstract implementation.’ In Bericht von Sonderforschungsbereich 342: Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen, edited by , –. 0. Aufl. München.
- . . ‘A case study: Parallel program development for a recursive numerical algorithm.’ In PARLE '92 Parallel Architectures and Languages Europe., edited by , 943–946. 0. Aufl. Heidelberg: Springer. doi: 10.1007/3-540-55599-4_134.
- . . ‘Distributed-memory program development in declarative and procedural environment.’ Contributed to the Internat. Conf. Parallel Computing Technologies (PaCT), Singapur.
- . . ‘Parallel program generation from nonprocedural specifications.’ Cybernetics 26, Nr. 1.
- . . ‘Program specification and synthesis using systems of equations over data structures.’ Cybern Syst Anal 25: 22–35. doi: 10.1007/BF01074880.
- . . ‘Transformation of recurrences into parallel programs.’ Contributed to the Workshop on parallel programming, Kiew, Ukraine.
- . . ‘Parallel programs synthesis from systems of recursive relationships.’ In Matematicheskoe obespechenie vychislitelnych sistem, edited by , 29–37. 0. Aufl. Kiew.
- System software of the ES multiprocessor system. 0. Aufl. N/A: Selbstverlag / Eigenverlag. (Eds.): .
- Numerical Methods for the ES multiprocessor system. 0. Aufl. N/A: Selbstverlag / Eigenverlag. (Eds.): .
- . . ‘A method for macro-conveyor programs development.’ In In Proektirovanie mnogoprocessornych system, edited by , 16–28. 0. Aufl. Kiew.
- . . ‘Synthesis of parallel programs from systems of recursive relationships.’ In Mathematical Software and Hardware for Computing Systems, edited by , 3–9. 0. Aufl. Kiew.
- . . ‘Constructing parallel programs using systems of recurrence equations.’ Contributed to the Conference on problems of synthesis, testing, verification and debugging of programs, Riga, Lettland.
- . . ‘Tools for multimodule programs simulation in the PROEKT environment.’ In Proektirovanie mnogoprocessornych system, edited by , 27–35. 0. Aufl. Kiew.
- . . ‘A language for representing parallel programs models and its implementation.’ In Issledovanie slozhnych system metodami modelirovaniya, edited by , 42–47. 0. Aufl. Kiew.
- . . ‘On a new method of macro-pipelined program design.’ In Design of Multiprocessor Computing Systems, edited by , 16–25. 0. Aufl. Kiew.
- . . ‘Data structures algebra and parallel program synthesis.’ Contributed to the All-Union Conference on Applied Logic, Nowosibirsk, Russland.
- . . ‘Data structures aggregation and parallel programs synthesis.’ In Analiz i obrabotka matematicheskich tekstov, edited by , 34–43. 0. Aufl. Kiew.
- . . ‘Verification of an algorithm for simulating parallel programs.’ In Razvitie teorii mnogoprocessornych system, edited by , 24–33. 0. Aufl. Kiew.
- . . ‘Towards the justification of an algorithm for modelling parallel programs.’ In Development of the Theory of Multiprocessor Systems, edited by , 34–40. 0. Aufl. Kiew.
- . . ‘Design tools for macro-pipelined algorithms and programs.’ Cybernetics -.
- . . ‘Simulation tools in the development of parallel software.’ Contributed to the All-Union Conference on system simulation, Swerdlowsk, Russland.
- . . ‘Development of distributed operation systems in PROEKT environment.’ Cybernetics 20, Nr. 3.
- . . ‘Aggregation of data structures and synthesis of parallel programs.’ In Analysis and Processing of Mathematical Texts, edited by , 34–44. 0. Aufl. Kiew.
- . . ‘Design of parallel programs computing functions over data structures.’ Contributed to the All-Union Symposium on System and Theoretical Programming, Kischinew, Moldau.
- . . ‘An approach to estimating the operational efficiency of multiprocessor systems.’ Cybernetics 19, Nr. 6.
- . . ‘Some investigation results on target programs for a macro-conveyor computer.’ In Modelirovanie vychislitelnych system, edited by , 34–41. 0. Aufl. Kiew.
- . . ‘Multi-based algebra of data structures.’ In Mathematical Software for Computerized Logical Inference and Deductive Construction Systems, edited by , 18–31. 0. Aufl. Kiew.
- . . ‘Asynchronous macro-conveyor computation of structural functions.’ Cybernetics 19, Nr. 5.
- . . ‘Interactive design of macro-conveyor programs.’ Contributed to the Workshop on dialog systems, Tiflis, Georgien.
- . . ‘Full systems of identities in many-based algebra of data structures.’ Cybernetics 18, Nr. 1.
- . . ‘Simulation of multimodule programs.’ In Parallel Programming and High-Performance Systems, edited by , 10–12. 0. Aufl. Kiew: Naukova Dumka.
- . . ‘System and algorithmic model of multiprocessor computer.’ In Automatic Design and Simulation of Computing Systems , edited by , 12–19. 0. Aufl. Kiew.
- . . ‘On efficiency of parallel algorithms and programs.’ Contributed to the All-union USSR Conference on supercomputers, Kiew, Ukraine.
- . . ‘Macro-pipelined computations of functions over data structures.’ Cybernetics -.
Betreute Promotionen
Kucher, Vladyslav Portable Implicit Parallel Programming in C++ using the Pacxx Framework Zhang, Yu Quality of Service in Software-Defined Networking with Applications to Social Networks Mina Abadeer Agent-based Modeling and Interactive Simulation Applied to Pandemics and Disaster Scenarios Hagedorn, Bastian High-Performance Domain-Specific Compilation without Domain-Specific Compilers Sun, Huihui Taming Control Divergence for Vectorizing Programs on SIMD Extensions Martins, Denis Mayr Lima Befähigung nicht-technischer Nutzer zum Anfragen und Kauf von Daten Humernbrum, Tim Enforcing Quality of Service in Real-Time Applications Using Software-Defined Networking Haidl, Michael Towards Heterogeneous Computing in C++: PACXX: A Portable, High-Performance Programming Model Nsaif, Mohammed Efficient Persistence Management in Distributed Real-Time Online Interactive Applications Ernsting, Steffen Data Parallel Algorithmic Skeletons with Accelerator Support. Glinka, Frank High-Level Development of Scalable Real-Time Online Interactive Applications for Grids and Clouds Meiländer, Dominique Efficient Resource Management of Real-Time Online Interactive Applications in Cloud Environments Steuwer, Michel Improving Programmability and Performance Portability on Many-Core Processors Kegel, Philipp A Uniform, OpenCL-based Approach for Programming Distributed Systems with Multicores and GPUs Ploß, Alexander Efficient Dynamic Communication for Real-Time Online Interactive Applications in Heterogeneous Environments Mensmann, Jörg Exploiting Spatial and Temporal Coherence in GPU-Based Volume Rendering Schellmann, Maraike Efficient PET Image Reconstruction on Modern Parallel and Distributes Systems Dünnweber, Jan Higher-Order Components for Web-Enabled Grid Applications Müller-Iden, Jens Replication-based Scalable Parallelisation of Virtual Environments Alt, Martin Using Algorithmic Skeletons for Efficient Grid Computing with Performance Bischof, Holger Systematic Development of Parallel Programs Using Skeletons
Prof. Dr. Sergei Gorlatch
Professur für Praktische Informatik (Prof. Gorlatch)