Sergei Gorlatch

Orcid: 0000-0003-3857-9380

Affiliations:
  • University of Münster, Germany


According to our database1, Sergei Gorlatch authored at least 229 papers between 1992 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Descend: A Safe GPU Systems Programming Language.
Proc. ACM Program. Lang., 2024

Towards an Autoscaling Service for Real-Time Online Interactive Applications on Clouds.
Proceedings of the 32nd Euromicro International Conference on Parallel, 2024

Compiler-Driven SWAR Parallelism for High-Performance Bitboard Algorithms.
Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2024

2023
Modeling and interactive simulation of measures against infection transmission.
Simul., April, 2023

Achieving High Performance the Functional Way: Expressing High-Performance Optimizations as Rewrite Strategies.
Commun. ACM, March, 2023

Auto-Tuning High-Performance Programs Using Model Checking in Promela.
CoRR, 2023

Performance Evaluation of a Legacy Real-Time System: An Improved RAST Approach.
Proceedings of the Simulation Tools and Techniques - 15th EAI International Conference, 2023

Multi-Cloud Container Orchestration for High-Performance Real-Time Online Applications.
Proceedings of the 31st Euromicro International Conference on Parallel, 2023

GPU-Parallelized Simulation of Optical Forces on Nanoparticles in a Fluid Medium.
Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2023

A QoS-Aware Routing Mechanism for SDN-Based Integrated Networks.
Proceedings of the International Conference on Information Networking, 2023

An OpenVPN-Based Interconnection in Multi-Clouds with Windows and Linux nodes.
Proceedings of the 20th IEEE Consumer Communications & Networking Conference, 2023

(De/Re)-Compositions Expressed Systematically via MDH-Based Schedules.
Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, 2023

2022
Autotuning Parallel Programs by Model Checking.
Autom. Control. Comput. Sci., December, 2022

Systematically extending a high-level code generator with support for tensor cores.
Proceedings of the GPGPU@PPoPP 2022: Proceedings of the 14th Workshop on General Purpose Processing Using GPU, 2022

RAST: Evaluating Performance of a Legacy System Using Regression Analysis and Simulation.
Proceedings of the 30th International Symposium on Modeling, 2022

Model Checking Meets Auto-Tuning of High-Performance Programs.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2022

Towards a Generic Framework for GPU-Parallelized Simulations of Light-Driven Nano-Particles.
Proceedings of the International Conference on Computational Science and Computational Intelligence, 2022

2021
Parallelization of the self-organized maps algorithm for federated learning on distributed sources.
J. Supercomput., 2021

Efficient Auto-Tuning of Parallel Programs with Interdependent Tuning Parameters via Auto-Tuning Framework (ATF).
ACM Trans. Archit. Code Optim., 2021

Efficient GPU-parallelization of batch plants design using metaheuristics with parameter tuning.
J. Parallel Distributed Comput., 2021

A Temporal Logic for Programmable Logic Controllers.
Autom. Control. Comput. Sci., 2021

A Scalable Cloud Deployment Architecture for High-Performance Real-Time Online Applications.
Proceedings of the High Performance Computing - ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24, 2021

Introducing Interactivity in Disaster Recovery Simulations.
Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2021

Implicit Data Layout Optimization for Portable Parallel Programming in C++.
Proceedings of the Parallel Computing Technologies, 2021

Optimizing Energy Efficiency of QoS-Based Routing in Software-Defined Networks.
Proceedings of the Q2SWinet 2021: Proceedings of the 17th ACM Symposium on QoS and Security for Wireless and Mobile Networks, 2021

CPRIC: Collaborative Parallelism for Randomized Incremental Constructions.
Proceedings of the IEEE International Parallel and Distributed Processing Symposium Workshops, 2021

2020
Vectorizing programs with IF-statements for processors with SIMD extensions.
J. Supercomput., 2020

dOCAL: high-level distributed programming with OpenCL and CUDA.
J. Supercomput., 2020

Tiling Optimizations for Stencil Computations Using Rewrite Rules in Lift.
ACM Trans. Archit. Code Optim., 2020

Dedicative Verification of Reflex Programs.
Program. Comput. Softw., 2020

Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies.
Proc. ACM Program. Lang., 2020

Efficient Distribution and Processing of Data for Parallelizing Data Mining in Mobile Clouds.
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2020

A Language for Describing Optimization Strategies.
CoRR, 2020

High-level hardware feature extraction for GPU performance prediction of stencils.
Proceedings of the GPGPU@PPoPP '20: 13th Annual Workshop on General Purpose Processing using Graphics Processing Unit colocated with 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

A Bilateral Recommendation Strategy for Mobile Event-Based Social Networks.
Proceedings of the MobiQuitous '20: Computing, 2020

Measuring Performance of Fault Management in a Legacy System: An Alarm System Study.
Proceedings of the Modelling, Analysis, and Simulation of Computer and Telecommunication Systems, 2020

Towards Implicit Memory Management for Portable Parallel Programming in C++.
Proceedings of the ASSE 2020: Asia Service Sciences and Software Engineering Conference, 2020

2019
A formally based parallelization of data mining algorithms for multi-core systems.
J. Supercomput., 2019

Comparing GPU-parallelized metaheuristics to branch-and-bound for batch plants optimization.
J. Supercomput., 2019

ATF: A generic directive-based auto-tuning framework.
Concurr. Comput. Pract. Exp., 2019

A Plug-in Framework for Efficient Multicast Using SDN.
Proceedings of the Wireless Internet - 12th EAI International Conference, 2019

High-performance probabilistic record linkage via multi-dimensional homomorphisms.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Parallelization of Algorithms for Mining Data from Distributed Sources.
Proceedings of the Parallel Computing Technologies, 2019

Optimizing a GPU-Parallelized Ant Colony Metaheuristic by Parameter Tuning.
Proceedings of the Parallel Computing Technologies, 2019

Developing High-Performance, Portable OpenCL Code via Multi-Dimensional Homomorphisms.
Proceedings of the International Workshop on OpenCL, 2019

Optimal Batch Plants Design on Parallel Systems: A Comparative Study.
Proceedings of the IEEE International Parallel and Distributed Processing Symposium Workshops, 2019

Improving Parallel Data Mining for Different Data Distributions in IoT Systems.
Proceedings of the Intelligent Distributed Computing XIII, 2019

WCCV: improving the vectorization of IF-statements with warp-coherent conditions.
Proceedings of the ACM International Conference on Supercomputing, 2019

Generating efficient FFT GPU code with Lift.
Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, 2019

An Ontology-Based Approach to Support Formal Verification of Concurrent Systems.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Two-Step Deductive Verification of Control Software Using Reflex.
Proceedings of the Perspectives of System Informatics, 2019

Distributed Simulation of Crowds with Groups in CrowdSim.
Proceedings of the 23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications DS-RT 2019, 2019

Generating Portable High-Performance Code via Multi-Dimensional Homomorphisms.
Proceedings of the 28th International Conference on Parallel Architectures and Compilation Techniques, 2019

Send-Receive Considered Harmful: Toward Structured Parallel Programming.
Proceedings of the Art of Structuring, 2019

2018
Multi-dimensional Homomorphisms and Their Implementation in OpenCL.
Int. J. Parallel Program., 2018

High-Level Programming for Many-Cores Using C++14 and the STL.
Int. J. Parallel Program., 2018

Guest Editorial: High-Level Parallel Programming with Algorithmic Skeletons.
Int. J. Parallel Program., 2018

Modeling the Scalability of Real-Time Online Interactive Applications on Clouds.
Future Gener. Comput. Syst., 2018

An Ontology of Specification Patterns for Verification of Concurrent Systems.
Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2018

Unified Cross-Platform Profiling of Parallel C++ Applications.
Proceedings of the 2018 IEEE/ACM Performance Modeling, 2018

CBM: a compact representation and its parallel search for query processing on GPU.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

OCAL: An Abstraction for Host-Code Programming with OpenCL and CUDA.
Proceedings of the 24th IEEE International Conference on Parallel and Distributed Systems, 2018

Evaluating QoS for Real-Time Applications Using a Lightweight Simulation of Network Traffic.
Proceedings of the 2018 International Conference on Computing, 2018

ATF: A Generic Auto-Tuning Framework.
Proceedings of the Poster Proceedings of the 27th International Symposium on High-Performance Parallel and Distributed Computing, 2018

Refactoring Loops with Nested IFs for SIMD Extensions Without Masked Instructions.
Proceedings of the Euro-Par 2018: Parallel Processing Workshops, 2018

Efficient load balancing for multicast traffic in data center networks using SDN.
Proceedings of the 10th International Conference on Communication Systems & Networks, 2018

High performance stencil code generation with lift.
Proceedings of the 2018 International Symposium on Code Generation and Optimization, 2018

Toward Structured Parallel Programming: Send-Receive Considered Harmful.
Proceedings of the Models, Mindsets, 2018

2017
A GPU parallelization of branch-and-bound for multiproduct batch plants optimization.
J. Supercomput., 2017

Guest Editors' Note.
Parallel Process. Lett., 2017

Using Multiple Semantic Measures for Coreference Resolution in Ontology Population.
Int. J. Comput., 2017

eccCL: parallelized GPU implementation of Ensemble Classifier Chains.
BMC Bioinform., 2017

PACXXv2 + RV: An LLVM-based Portable High-Performance Programming Model.
Proceedings of the Fourth Workshop on the LLVM Compiler Infrastructure in HPC, 2017

Towards Composable GPU Programming: Programming GPUs with Eager Actions and Lazy Views.
Proceedings of the 8th International Workshop on Programming Models and Applications for Multicores and Manycores, 2017

Towards Simulating the Communication Behavior of Real-Time Interactive Applications.
Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2017

A Functional Approach to Parallelizing Data Mining Algorithms in Java.
Proceedings of the Parallel Computing Technologies, 2017

Parallelizing Metaheuristics for Optimal Design of Multiproduct Batch Plants on GPU.
Proceedings of the Parallel Computing Technologies, 2017

ATF: A Generic Auto-Tuning Framework.
Proceedings of the 19th IEEE International Conference on High Performance Computing and Communications; 15th IEEE International Conference on Smart City; 3rd IEEE International Conference on Data Science and Systems, 2017

A Transformation-Based Approach to Developing High-Performance GPU Programs.
Proceedings of the Perspectives of System Informatics, 2017

2016
Entailment Processing for Large RDF Data Sets Using GPU.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2016

Multi-stage programming for GPUs in C++ using PACXX.
Proceedings of the 9th Annual Workshop on General Purpose Processing using Graphics Processing Unit, 2016

Modelling the Scalability of Real-Time Online Interactive Applications on Clouds.
Proceedings of the Third International Workshop on Adaptive Resource Management and Scheduling for Cloud Computing, 2016

Towards Efficient Multicast Communication in Software-Defined Networks.
Proceedings of the 36th IEEE International Conference on Distributed Computing Systems Workshops, 2016

TripleID: A Low-Overhead Representation and Querying Using GPU for Large RDFs.
Proceedings of the Beyond Databases, Architectures and Structures. Advanced Technologies for Data Mining and Knowledge Discovery, 2016

2015
Accelerating Keyword Search for Big RDF Web Data on Many-Core Systems.
Proceedings of the Intelligent Software Methodologies, Tools and Techniques, 2015

Programming GPUs with C++14 and Just-In-Time Compilation.
Proceedings of the Parallel Computing: On the Road to Exascale, 2015

Parallelizing Branch-and-Bound on GPUs for Optimization of Multiproduct Batch Plants.
Proceedings of the Parallel Computing Technologies - 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31, 2015

RTF+Shark: Using Software-Defined Networks for Multiplayer Online Games.
Proceedings of the 2015 International Workshop on Network and Systems Support for Games, 2015

Enabling high-level QoS metrics for interactive online applications using SDN.
Proceedings of the International Conference on Computing, Networking and Communications, 2015

2014
SkelCL: a high-level extension of OpenCL for multi-GPU systems.
J. Supercomput., 2014

High-Level Programming of Stencil Computations on Multi-GPU Systems Using the SkelCL Library.
Parallel Process. Lett., 2014

A Northbound API for QoS Management in Real-Time Interactive Applications on Software-Defined Networks.
J. Commun., 2014

Introducing and Implementing the Allpairs Skeleton for Programming Multi-GPU Systems.
Int. J. Parallel Program., 2014

gCUP: rapid GPU-based HIV-1 co-receptor usage prediction for next-generation sequencing.
Bioinform., 2014

PACXX: Towards a Unified Programming Model for Programming Accelerators Using C++14.
Proceedings of the 2014 LLVM Compiler Infrastructure in HPC, 2014

Using Mobile Cloud Computing for Real-Time Online Applications.
Proceedings of the 2nd IEEE International Conference on Mobile Cloud Computing, 2014

Bringing mobile online games to clouds.
Proceedings of the 2014 Proceedings IEEE INFOCOM Workshops, Toronto, ON, Canada, April 27, 2014

Improving QoS in real-time internet applications: from best-effort to Software-Defined Networks.
Proceedings of the International Conference on Computing, Networking and Communications, 2014

Towards High-Level Programming for Systems with Many Cores.
Proceedings of the Perspectives of System Informatics, 2014

2013
dOpenCL: Towards uniform programming of distributed heterogeneous multi-/many-core systems.
J. Parallel Distributed Comput., 2013

To wards Data Persist Ency in Real-Time Online Interactive Applic Ations.
Int. J. Comput., 2013

A persistent data storage design for real-time interactive applications.
Proceedings of the IEEE 12th International Conference on Intelligent Software Methodologies, 2013

SkelCL: Enhancing OpenCL for High-Level Programming of Multi-GPU Systems.
Proceedings of the Parallel Computing Technologies - 12th International Conference, 2013

The problem of data persistency in distributed real-time interactive applications.
Proceedings of the IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems, 2013

A Scalability Model for Distributed Resource Management in Real-Time Online Applications.
Proceedings of the 42nd International Conference on Parallel Processing, 2013

High-Level Programming for Medical Imaging on Multi-GPU Systems Using the SkelCL Library.
Proceedings of the International Conference on Computational Science, 2013

2012
A High-Level Programming Approach for Distributed Systems with Accelerators.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2012

Towards High-Level Programming of Multi-GPU Systems Using the SkelCL Library.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

dOpenCL: Towards a Uniform Programming Approach for Distributed Heterogeneous Multi-/Many-Core Systems.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

Research challenges on engineering service-oriented applications.
Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

Towards bringing real-time online applications on Clouds.
Proceedings of the International Conference on Computing, Networking and Communications, 2012

Uniform High-Level Programming of Many-Core and Multi-GPU Systems.
Proceedings of the Transition of HPC Towards Exascale Computing, 2012

Using the SkelCL Library for High-Level GPU Programming of 2D Applications.
Proceedings of the Euro-Par 2012: Parallel Processing Workshops, 2012

Topic 9: Parallel and Distributed Programming.
Proceedings of the Euro-Par 2012 Parallel Processing - 18th International Conference, 2012

2011
Bandwidth-Latency Models (BSP, LogP).
Proceedings of the Encyclopedia of Parallel Computing, 2011

Parallel Skeletons.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Parallel medical image reconstruction: from graphics processing units (GPU) to Grids.
J. Supercomput., 2011

Comparing programming models for medical imaging on multi-core systems.
Concurr. Comput. Pract. Exp., 2011

Software Development for Real-Time Online Interactive Applications on Clouds.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2011

Improving the concurrent updates of replicated global objects in multi-server virtual environments.
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques, 2011

Optimal Design of Multi-product Batch Plants Using a Parallel Branch-and-Bound Method.
Proceedings of the Parallel Computing Technologies - 11th International Conference, 2011

SkelCL - A Portable Skeleton Library for High-Level GPU Programming.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

Using a Lifecycle Model for Developing and Executing Real-Time Online Applications on Clouds.
Proceedings of the Service-Oriented Computing - ICSOC 2011 Workshops, 2011

A Dynamic Resource Management System for Real-Time Online Applications on Clouds.
Proceedings of the Euro-Par 2011: Parallel Processing Workshops - CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29, 2011

Accelerating multi-user online games on multi-core systems using dependents.
Proceedings of the 2011 IEEE Consumer Communications and Networking Conference, 2011

2010
Cheating Prevention in Virtual Worlds: Software, Economic, and Law Aspects.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2010

Using a Lifecycle Model for Developing and Executing Adaptable Interactive Distributed Applications.
Proceedings of the Towards a Service-Based Internet - Third European Conference, 2010

Netlag: a performance evaluation tool for massively multi-user networked applications.
Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing, 2010

Towards the Scalability of Real-Time Online Interactive Applications on Multiple Servers and Clouds.
Proceedings of the High Performance Computing: From Grids and Clouds to Exascale, 2010

Scalable Distributed Simulation of Large Dense Crowds Using the Real-Time Framework (RTF).
Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010

Parallel and Distributed Programming.
Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010

2009
Clayworks: Toward user-oriented software for collaborative modeling and simulation.
Knowl. Based Syst., 2009

Towards a Verification-Based Development Approach for Reactive Systems.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009

Parallelizing the LM OSEM Image Reconstruction on Multi-Core Clusters.
Proceedings of the Parallel Computing: From Multicores and GPU's to Petascale, 2009

Parallel Medical Image Reconstruction: From Graphics Processors to Grids.
Proceedings of the Parallel Computing Technologies, 10th International Conference, 2009

Towards a Scalable Real-Time Cyberinfrastructure for Online Computer Games.
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

Using OpenMP vs. Threading Building Blocks for Medical Imaging on Multi-cores.
Proceedings of the Euro-Par 2009 Parallel Processing, 2009

A Service-Oriented Interface for Highly Interactive Distributed Applications.
Proceedings of the Euro-Par 2009, 2009

Higher-Order Components for Grid Programming - Making Grids More Usable.
Springer, ISBN: 978-3-642-00840-5, 2009

2008
High-Level Development of Multiserver Online Games.
Int. J. Comput. Games Technol., 2008

Towards Verifying Declarative Specifications of Reactive Systems.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2008

User-Oriented Software Development for Real-Time Online Applications.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2008

Communication Optimization for Medical Image Reconstruction Algorithms.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008

Edutain@Grid: A Business Grid Infrastructure for Real-Time On-Line Interactive Applications.
Proceedings of the Grid Economics and Business Models, 5th International Workshop, 2008

Systematic Parallelization of Medical Image Reconstruction for Graphics Hardware.
Proceedings of the Euro-Par 2008, 2008

A Case Study on Using RTF for Developing Multi-player Online Games.
Proceedings of the Euro-Par 2008 Workshops, 2008

Enhancing Grids for Massively Multiplayer Online Computer Games.
Proceedings of the Euro-Par 2008, 2008

LooPo-HOC: A Grid Component with Embedded Loop Parallelization.
Proceedings of the Grid Computing, 2008

A Grid Environment For Real-Time Multiplayer Online Games.
Proceedings of the Grid Computing, 2008

Cost-effective medical image reconstruction: from clusters to graphics processing units.
Proceedings of the 5th Conference on Computing Frontiers, 2008

From a single- to multi-server online game: a Quake 3 case study using RTF.
Proceedings of the International Conference on Advances in Computer Entertainment Technology, 2008

2007
Enhancing Online Computer Games for Grids.
Proceedings of the Parallel Computing Technologies, 2007

RTF: a real-time framework for developing scalable multiplayer online games.
Proceedings of the 6th Workshop on Network and System Support for Games, 2007

Scaling multiplayer online games using proxy-server replication: a case study of Quake 2.
Proceedings of the 16th International Symposium on High-Performance Distributed Computing (HPDC-16 2007), 2007

Towards a High-level design Approach for Multi-Server Online Games.
Proceedings of the GAMEON'2007, 2007

A Higher-Order Component for Efficient Genome Processing in the Grid.
Proceedings of the Making Grids Work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, 2007

Simplifying Grid Application Programming Using Web-Enabled Code Transfer Tools.
Proceedings of the Towards Next Generation Grids, 2007

2006
Rokkatan: scaling an RTS game design to the massively multiplayer realm.
Comput. Entertain., 2006

Enhancing and Parallelizing Legacy Software for Medical Imaging - A Case Study.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2006

Towards Developing Adjustable Software: A Case Study with the Lyee Approach.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2006

On correctness of scalable multi-server state replication in online games.
Proceedings of the 5th Workshop on Network and System Support for Games, 2006

Parallelization and Scalability of Multiplayer Online Games via State Replication.
Proceedings of the High Performance Computing and Grids in Action, 2006

Topic 9: Parallel Programming: Models, Methods and Languages.
Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006

Clayworks: A System for Collaborative Real-Time Modeling and High-Performance Simulation.
Proceedings of the Second International Conference on e-Science and Grid Technologies (e-Science 2006), 2006

Reusable Cost-Based Scheduling of Grid Workflows Operating on Higher-Order Components.
Proceedings of the Second International Conference on e-Science and Grid Technologies (e-Science 2006), 2006

Using High-Level Petri Nets for Hierarchical Grid Workflows.
Proceedings of the Second International Conference on e-Science and Grid Technologies (e-Science 2006), 2006

User-Transparent Scheduling for Software Components on the Grid.
Proceedings of the Achievements in European Research on Grid Systems: CoreGRID Integration Workshop 2006, 2006

Grid Programming with Java, RMI, and Skeletons.
Proceedings of the Grid Computing: Software Environments and Tools, 2006

2005
Data Parallelism in C++ Template Programs: a Barnes-hut Case Study.
Parallel Process. Lett., 2005

A cost-optimal parallel implementation of a tridiagonal system solver using skeletons.
Future Gener. Comput. Syst., 2005

Adapting Java RMI for grid computing.
Future Gener. Comput. Syst., 2005

Component-Based Grid Programming Using the HOC-Service Architecture.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2005

A Grid Workflow Language Using High-Level Petri Nets.
Proceedings of the Parallel Processing and Applied Mathematics, 2005

Integrating MPI-Skeletons with Web Services.
Proceedings of the Parallel Computing: Current & Future Issues of High-End Computing, 2005

GSM: a game scalability model for multiplayer real-time games.
Proceedings of the INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 2005

Towards High-Level Grid Programming and Load-Balancing: A Barnes-Hut Case Study.
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

Dynamic Service Provisioning for Multiplayer Online Games.
Proceedings of the Advanced Parallel Processing Technologies, 6th International Workshop, 2005

A Modified Genetic Algorithm for the Traveling Salesman Problem and Its Parallelization.
Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2005

Rokkatan: scaling an RTS game design to the massively multiplayer realm.
Proceedings of the International Conference on Advances in Computer Entertainment Technology, 2005

2004
Send-receive considered harmful: Myths and realities of message passing.
ACM Trans. Program. Lang. Syst., 2004

Optimization techniques for skeletons on grids.
Proceedings of the Grid Computing: The New Frontier of High Performance Computing [post-proceedings of the High Performance Computing Workshop, 2004

A Scalable Architecture for Multiplayer Computer Games.
Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004

A Proxy Server-Network for Real-Time Computer Games.
Proceedings of the Euro-Par 2004 Parallel Processing, 2004

Topic 10: Parallel Programming: Models, Methods and Programming Languages.
Proceedings of the Euro-Par 2004 Parallel Processing, 2004

From Grid Middleware to Grid Applications: Bridging the Gap with Hocs.
Proceedings of the Future Generation Grids: Proceedings of the Workshop on Future Generation Grids, 2004

HOC-SA: A Grid Service Architecture for Higher-Order Components.
Proceedings of the 2004 IEEE International Conference on Services Computing (SCC 2004), 2004

2003
DatTel: A Data-Parallel C++ Template Library.
Parallel Process. Lett., 2003

Cost Optimality And Predictability Of Parallel Programming With Skeletons.
Parallel Process. Lett., 2003

Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons.
Proceedings of the Parallel Computing Technologies, 2003

A Prototype Grid System Using Java and RMI.
Proceedings of the Parallel Computing Technologies, 2003

Using Skeletons in a Java-Based Grid System.
Proceedings of the Euro-Par 2003. Parallel Processing, 2003

Future-Based RMI: Optimizing Compositions of Remote Method Calls on the Grid.
Proceedings of the Euro-Par 2003. Parallel Processing, 2003

Domain-Specific Optimizations of Composed Parallel Components.
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003

Generic Parallel Programming Using C++ Templates and Skeletons.
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003

Algorithmic Skeletons for Metacomputing.
Proceedings of the Advanced Parallel Programming Technologies, 5th International Workshop, 2003

SAT: A Programming Methodology with Skeletons and Collective Operations.
Proceedings of the Patterns and Skeletons for Parallel and Distributed Computing, 2003

Foundations of Data-parallel Skeletons.
Proceedings of the Patterns and Skeletons for Parallel and Distributed Computing, 2003

2002
Turing Universality of Recursive Patterns for Parallel Programming.
Parallel Process. Lett., 2002

Program Development for Computational Grids Using Skeletons and Performance Prediction.
Parallel Process. Lett., 2002

Vispar: a Visual Tool for Designing Parallel Programs.
Int. J. Comput., 2002

Message passing without send-receive.
Future Gener. Comput. Syst., 2002

Double-Scan: Introducing and Implementing a New Data-Parallel Skeleton.
Proceedings of the Euro-Par 2002, 2002

Algorithm Design and Performance Prediction in a Java-Based Grid System with Skeletons.
Proceedings of the Euro-Par 2002, 2002

2001
Network performance-aware collective communication for clustered wide-area systems.
Parallel Comput., 2001

Towards parallel programming by transformation: the FAN skeleton framework.
Parallel Algorithms Appl., 2001

Send-Recv Considered Harmful? Myths and Truths about Parallel Programming.
Proceedings of the Parallel Computing Technologies, 2001

Topic 10: Parallel Programming: Models, Methods and Programming Languages.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000
Toward Formally-Based Design of Message Passing Programs.
IEEE Trans. Software Eng., 2000

Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach.
Acta Informatica, 2000

Bandwidth-Efficient Collective Communication for Clustered Wide Area Systems.
Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000

Programming Languages, Models, and Methods.
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999
Extracting and Implementing List Homomorphisms in Parallel Program Development.
Sci. Comput. Program., 1999

Parallelizing functional programs by generalization.
J. Funct. Program., 1999

Skeletons and Transformations in an Integrated Parallel Programming Environment.
Proceedings of the Parallel Computing Technologies, 1999

Optimization Rules for Programming with Collective Operations.
Proceedings of the 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 1999

A Transformational Framework for Skeletal Programs: Overview and Case Study.
Proceedings of the Parallel and Distributed Processing, 1999

1998
Programming with Divide-and-Conquer Skeletons: A Case Study of FFT.
J. Supercomput., 1998

A Generic MPI Implementation for a Data-Parallel Skeleton: Formal Derivation and Application to FFT.
Parallel Process. Lett., 1998

1997
The Static Parallelization of Loops and Recursions.
J. Supercomput., 1997

N-Graphs: Scalable Topology and Design of Balanced Divide-and-Conquer Algorithms.
Parallel Comput., 1997

1996
From transformations to methodology in parallel program development: A case study.
Microprocess. Microprogramming, 1996

Systematic Extraction and Implementation of Divide-and-Conquer Parallelism.
Proceedings of the Programming Languages: Implementations, 1996

Systematic Efficient Parallelization of Scan and Other List Homomorphisms.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995
Parallelisation of Divide-and-Conquer in the Bird-Meertens Formalism.
Formal Aspects Comput., 1995

1994
Systematic Development of an SPMD Implementation Schema for Mutually Recursive Divide-and-Conquer Specifications.
Proceedings of the 8th International Symposium on Parallel Processing, 1994

Exploiting Divided-and-Conquer Parallelism of Functional Specifications.
Proceedings of the Massively Parallel Processing Applications and Develompent, 1994

1993
Deriving efficient parallel programs by systemating coarsing specification parallelism
Forschungsberichte, TU Munich, 1993

1992
Parallel program development for a recursive numerical algorithm: a case study
Forschungsberichte, TU Munich, 1992

A Case Study: Parallel Program Development for a Recursive Numerical Algorithm.
Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992


  Loading...