Publikationen
Forschungsartikel (Zeitschriften)
- 10.1007/s10958-024-07107-y. . ‘KNOWLEDGE ACQUISITION IN MULTI-AGENT SYSTEMS: A FORMALIZATION OF THE ELEUSIS CARD GAME.’ Journal of Mathematical Sciences 281, Nr. 2. doi:
- . . ‘(De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms.’ ACM Transactions on Programming Languages and Systems Just Accepted. doi: 10.1145/3665643.
- . . ‘Descend: A Safe GPU Systems Programming Language.’ Proceedings of the ACM on Programming Languages 8, Nr. PLDI: 841–864. doi: 10.1145/3656411.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘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.
- 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. . ‘Performance Evaluation of a Legacy Real-Time System: An Improved RAST Approach.’
- . . ‘BaCO: A Fast and Portable Bayesian Compiler Optimization Framework.’ In Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4, edited by , 19–42. 0. Aufl. New York, NY, USA: Association for Computing Machinery. doi: 10.1145/3623278.3624770.
Forschungsartikel (Zeitschriften)
- . . ‘Autotuning Parallel Programs by Model Checking.’ Automatic Control and Computer Sciences 56, Nr. 7: 634–648. doi: 10.3103/S0146411622070045.
- . . ‘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.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘(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.
- 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. . ‘Multi-Cloud Container Orchestration for High-Performance Real-Time Online Applications.’
- 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. . ‘An OpenVPN-Based Interconnection in Multi-Clouds with Windows and Linux nodes.’
Forschungsartikel (Zeitschriften)
- . . ‘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.
Forschungsartikel in Sammelbänden (Konferenzen)
- 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. . ‘Accelerating Neural Network Training Process on Multi-Core Machine Using OpenMP.’
- In Logic-Based Program Synthesis and Transformation, edited by , 63–82. 0. Aufl. Heidelberg: Springer. doi: 10.1007/978-3-031-16767-6_4. . ‘Model Checking Meets Auto-Tuning of High-Performance Programs.’
- . . ‘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.
Fachbücher (Herausgegebene Bücher)
- 0. Aufl. Bäch: Trans Tech Publications. doi: 10.4028/www.scientific.net/AST.105. (Eds.): . Materials, Computer Engineering and Education Technology.
Artikel
Forschungsartikel (Zeitschriften)
- . . ‘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.
- . . ‘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.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘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.
- . . ‘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.
Forschungsartikel (Zeitschriften)
- . . ‘Dedicative Verification of Reflex Programs.’ Programming and Computer Software 46: 261–272. doi: 10.1134/S0361768820040027.
- . . ‘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.
- . . ‘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.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘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.
- . . ‘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.
Forschungsartikel (Zeitschriften)
- . . ‘dOCAL: high-level distributed programming with OpenCL and CUDA.’ The Journal of Supercomputing 65: 1–22. doi: 10.1007/s11227-019-02829-2.
- . . ‘ATF: A generic directive‐based auto‐tuning framework.’ Concurrency Computation - Practice and Experience 31, Nr. 5. doi: 10.1002/cpe.4423.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘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.
- . . ‘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.
- . . ‘Generating Portable High-Performance Code via Multi-Dimensional Homomorphisms.’ Contributed to the 28th International Conference on Parallel Architectures and Compilation Techniques (PACT), Seattle WA.
- . . ‘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.
- . . ‘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.
Forschungsartikel (Buchbeiträge)
- . . ‘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.
- . . ‘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.
Forschungsartikel (Zeitschriften)
- . . ‘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.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘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.
- . . ‘ATF: A Generic Auto-Tuning Framework.’ In 2017 IEEE 19th International Conference on High Performance Computing and Communications; IEEE 15th International Conference on Smart City; IEEE 3rd International Conference on Data Science and Systems (HPCC/SmartCity/DSS), edited by , 64–71. 0. Aufl. New York City: Wiley-IEEE Press. doi: 10.1109/HPCC-SmartCity-DSS.2017.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.
- 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. . ‘A Transformation-Based Approach to Developing High-Performance GPU Programs.’
Forschungsartikel (Buchbeiträge)
- . . ‘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.
Forschungsartikel (Zeitschriften)
- . . ‘eccCL: Parallelized GPU Implementation of Ensemble Classifier Chains.’ BMC Bioinformatics 2017. doi: 10.1186/s12859-017-1783-9.
- . . ‘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.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘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.
- . . ‘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.
- . . ‘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.
Forschungsartikel (Buchbeiträge)
- . . ‘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.
Forschungsartikel (Zeitschriften)
- . . ‘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.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘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.
- . . ‘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.
Forschungsartikel (Buchbeiträge)
- 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. . ‘TripleID: A low-overhead representation and querying using GPU for large RDFs.’
- . . ‘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.
- . . ‘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.
Artikel
Forschungsartikel (Zeitschriften)
- . . ‘gCUP: Rapid GPU-based HIV-1 Coreceptor Usage Prediction for Next-Generation Sequencing.’ Bioinformatics 30, Nr. 22: 3272–3273. doi: 10.1093/bioinformatics/btu535.
- . . ‘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.
- . . ‘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.
- . . ‘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.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘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.
- . . ‘OFERTIE: Enabling SDN/OpenFlow support in Real-Time Online Interactive Applications.’ Contributed to the TERENA Networking Conference (TNC2014), Dublin.
- In Proc. of the International MultiConference of Engineers and Computer Scientists (IMECS 2014), edited by , 150–155. 0. Aufl. . . ‘Using Software-Defined Networking for Real-Time Internet Applications.’
- Contributed to the 2014 International Conference on Computing, Networking and Communications, ICNC 2014, Honolulu, HI, usa. doi: 10.1109/ICCNC.2014.6785329. . ‘Improving QoS in real-time internet applications: From best-effort to software-defined networks.’
- . . ‘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.
- . . ‘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.
Arbeitspapiere / Working Papers
- . . Implementing the WiPo Architecture ERCIS Working Papers, Nr. 20. N/A: Selbstverlag / Eigenverlag, .
Forschungsartikel (Zeitschriften)
- . . ‘Linearly polarized emission from random lasers with anisotropically amplifying media.’ Optics Express 21, Nr. 25: 31591–31603. doi: 10.1364/OE.21.031591.
- . . ‘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.
- . . ‘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.
Forschungsartikel in Sammelbänden (Konferenzen)
published
- . . ‘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. .
- . . ‘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.
accepted / in Press (not yet published)
- . . ‘Polarization of Random-Lasing Modes under Weak Localization.’ Contributed to the DPG-Meeting, AMOP-Q 63.5, Hannover (Germany).
- . . „Numerische Untersuchungen zu anisotrop verstärkten laseraktiven randomisierten Medien.“ Beitrag präsentiert auf der DPG-Meeting, AMOP-Q 63.6, Hannover (Germany).
Forschungsartikel (Buchbeiträge)
- . . ‘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.
Forschungsartikel (Zeitschriften)
- . . ‘Designing Scalable Multiplayer Online Games.’ Game Coder Magazine 05/2012: 24–30.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘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.
- . . ‘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.
- . . ‘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.
- . . ‘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.
Forschungsartikel (Buchbeiträge)
- . . ‘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.
- . . ‘Designing Multiplayer Online Games Using the Real-Time Framework.’ In Algorithmic and Architectural Gaming Design: Implementation and Development, edited by , 290–321. 0. Aufl. .
- . . ‘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.
Forschungsartikel (Zeitschriften)
- . . ‘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.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘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.
- . . ‘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.
- . . ‘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.
- . . ‘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.
Forschungsartikel (Buchbeiträge)
- . . ‘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.
- . . ‘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. .
Artikel
Forschungsartikel (Zeitschriften)
- . . ‘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.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘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.
- . . ‘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.
- Contributed to the Workshop on Highly Parallel Processing, Euro-Par 2009, Delft, nld. doi: 10.1007/978-3-642-14122-5_31. . ‘A service-oriented interface for highly interactive distributed applications.’
Sonstige wissenschaftliche Veröffentlichungen
- . . SkelCL - A Portable Multi-GPU Skeleton Library. 0. Aufl. Münster: University Münster.
Fachbücher (Monografien)
- . . Higher-Order Components for Grid Programming. 0. Aufl. Düsseldorf: Springer VDI Verlag.
Artikel
Forschungsartikel (Zeitschriften)
- . . ‘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.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘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.
- . . ‘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.
- Contributed to the Workshops on Parallel Processing, Euro-Par 2008: VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, esp. doi: 10.1007/978-3-642-00955-6_42. . ‘Securing Real-Time On-Line interactive applications in edutain@grid.’
- . . ‘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.
Bücher
Fachbücher (Monografien)
- . . Achievements in European Research on Grid Systems. 0. Aufl. Heidelberg: Springer.
Fachbücher (Herausgegebene Bücher)
- 0. Aufl. Düsseldorf: Springer VDI Verlag. (Eds.): . Grid Computing: Achievements and Prospects.
- 0. Aufl. N/A: Selbstverlag / Eigenverlag. (Eds.): . Integrated Research in Grid Computing.
Artikel
Forschungsartikel (Zeitschriften)
- . . ‘Enhancing grids for massively multiplayer online computer games.’ Lecture notes in computer science 5168 LNCS: 466–477.
- . . ‘High-level development of multiserver online games.’ International Journal of Computer Games Technology 2008, Nr. 5: 1–16. doi: 10.1155/2008/327387.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘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.
- . . ‘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.
- 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. . ‘From a single- to multi-server online game: A Quake 3 case study using RTF.’
- 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. . ‘Edutain@Grid: A business grid infrastructure for real-time on-line interactive applications.’
Forschungsartikel (Buchbeiträge)
- . . ‘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.
Fachbücher (Herausgegebene Bücher)
- 0. Aufl. Düsseldorf: Springer VDI Verlag. doi: 10.1007/978-0-387-47658-2. (Eds.): . Integrated Research in GRID Computing.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘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.
- Contributed to the 8th International Conference on Intelligent Games and Simulation, GAME-ON 2007, Bologna, ita. . ‘Towards a high-level design approach for multi-server online games.’
Fachbücher (Herausgegebene Bücher)
- 0. Aufl. N/A: Selbstverlag / Eigenverlag. (Eds.): . Integrated Research in Grid Computing.
- 0. Aufl. Düsseldorf: Springer VDI Verlag. (Eds.): . Achievements in European Research on Grid Systems.
Artikel
Forschungsartikel (Zeitschriften)
- . . ‘Rokkatan: scaling an RTS game design to the massively multiplayer realm.’ ACM Computers in Entertainment 4, Nr. 3: 11. doi: 10.1145/1146816.1146833.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘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 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.
Fachbücher (Herausgegebene Bücher)
- 0. Aufl. Düsseldorf: Springer VDI Verlag. (Eds.): . Patterns and Skeletons for Parallel and Distributed Computing.
Forschungsartikel (Zeitschriften)
- . . ‘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.
Fachbücher (Herausgegebene Bücher)
- 0. Aufl. Hauppauge, NY: Nova Science Publishers. (Eds.): . Constructive Methods for Parallel Programming.
Artikel
Forschungsartikel (Zeitschriften)
- . . ‘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.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘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.
Arbeitspapiere / Working Papers
- . . The Double-scan Skeleton and Its Parallelization , .
- . . ‘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.
Fachbücher (Herausgegebene Bücher)
- (Hrsg.): . Programmieren in C++. 0. Aufl. New York City: McGraw-Hill.
Artikel
Forschungsartikel (Zeitschriften)
- . . ‘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.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘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.
Fachbücher (Herausgegebene Bücher)
- (Hrsg.): . Programmieren in Java. 0. Aufl. New York City: McGraw-Hill.
Artikel
Forschungsartikel (Zeitschriften)
- . . ‘Parallelizing functional programs by generalization.’ Journal of Functional Programming 9, Nr. 6: 649–673. doi: 10.1017/S0956796899003536.
- . . ‘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.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘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.
- . . ‘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.
Artikel
Forschungsartikel (Zeitschriften)
- . . ‘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.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘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.
Forschungsartikel (Buchbeiträge)
- . . ‘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.
Arbeitspapiere / Working Papers
- . . Optimizing compositions of scans and reductions in parallel program derivation , .
- . . ‘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.
- In Euro-Par'96 Parallel Processing, edited by , 401–408. 0. Aufl. Heidelberg: Springer. doi: 10.1007/BFb0024729. . ‘Systematic efficient parallelization of scan and other list homomorphisms.’
Forschungsartikel (Zeitschriften)
- . . ‘Parallelization of divide-and-conquer in the Bird-Meertens formalism.’ Formal Aspects of Computing 7, Nr. 6: 663–682. doi: 10.1007/BF01211000.
Arbeitspapiere / Working Papers
- . . N-graphs: A topology for parallel divide-and-conquer on transputer networks , .
- . . Constructing List Homomorphisms for Parallelism , .
- . . ‘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.
Artikel
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘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.
- . . ‘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.
Forschungsartikel (Buchbeiträge)
- . . ‘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.
Arbeitspapiere / Working Papers
- . . Parallel program development for a recursive numerical algorithm: A case study . München, .
- . . ‘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.
Forschungsartikel (Zeitschriften)
- . . ‘Program specification and synthesis using systems of equations over data structures.’ Cybern Syst Anal 25: 22–35. doi: 10.1007/BF01074880.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘Transformation of recurrences into parallel programs.’ Contributed to the Workshop on parallel programming, Kiew, Ukraine.
Fachbücher (Herausgegebene Bücher)
- 0. Aufl. N/A: Selbstverlag / Eigenverlag. (Eds.): . System software of the ES multiprocessor system.
Forschungsartikel (Buchbeiträge)
- . . ‘Parallel programs synthesis from systems of recursive relationships.’ In Matematicheskoe obespechenie vychislitelnych sistem, edited by , 29–37. 0. Aufl. Kiew.
Fachbücher (Herausgegebene Bücher)
- 0. Aufl. N/A: Selbstverlag / Eigenverlag. (Eds.): . Numerical Methods for the ES multiprocessor system.
Forschungsartikel (Buchbeiträge)
- . . ‘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.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘Constructing parallel programs using systems of recurrence equations.’ Contributed to the Conference on problems of synthesis, testing, verification and debugging of programs, Riga, Lettland.
Forschungsartikel (Buchbeiträge)
- . . ‘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.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘Data structures algebra and parallel program synthesis.’ Contributed to the All-Union Conference on Applied Logic, Nowosibirsk, Russland.
Forschungsartikel (Buchbeiträge)
- . . ‘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.
Forschungsartikel (Zeitschriften)
- . . ‘Development of distributed operation systems in PROEKT environment.’ Cybernetics 20, Nr. 3.
- . . ‘Design tools for macro-pipelined algorithms and programs.’ Cybernetics -.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘Simulation tools in the development of parallel software.’ Contributed to the All-Union Conference on system simulation, Swerdlowsk, Russland.
Forschungsartikel (Buchbeiträge)
- . . ‘Aggregation of data structures and synthesis of parallel programs.’ In Analysis and Processing of Mathematical Texts, edited by , 34–44. 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.
Forschungsartikel (Zeitschriften)
- . . ‘An approach to estimating the operational efficiency of multiprocessor systems.’ Cybernetics 19, Nr. 6.
- . . ‘Asynchronous macro-conveyor computation of structural functions.’ Cybernetics 19, Nr. 5.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘Design of parallel programs computing functions over data structures.’ Contributed to the All-Union Symposium on System and Theoretical Programming, Kischinew, Moldau.
Forschungsartikel (Buchbeiträge)
- . . ‘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.
Forschungsartikel (Zeitschriften)
- . . ‘Full systems of identities in many-based algebra of data structures.’ Cybernetics 18, Nr. 1.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘Interactive design of macro-conveyor programs.’ Contributed to the Workshop on dialog systems, Tiflis, Georgien.
Forschungsartikel (Buchbeiträge)
- . . ‘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.
Forschungsartikel (Zeitschriften)
- . . ‘Macro-pipelined computations of functions over data structures.’ Cybernetics -.
Forschungsartikel in Sammelbänden (Konferenzen)
- . . ‘On efficiency of parallel algorithms and programs.’ Contributed to the All-union USSR Conference on supercomputers, Kiew, Ukraine.