From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “tool optimization” 209

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Junges

27

citations
Parameter synthesis for Markov models: covering the parameter space
2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, +1 more

20

citations
A quantum annealing approach with a problem specific initial state for the combinatorial selection of catalog lenses for the automated optics design
2023 International Optical Design Conference conference-paper Computer Science Quantum Computing Algorithms and Architecture

Thomas Bussek, Jochen Stollenwerk, Carlo Holly

0

citations
Going green: optimizing GPUs for energy efficiency through model-steered auto-tuning
2022 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Richard Schoonhoven, Bram Veenboer, Ben van Werkhoven, Kees Joost Batenburg

22

citations
Going green: optimizing GPUs for energy efficiency through model-steered auto-tuning
2022 arXiv (Cornell University) preprint Computer Science Parallel Computing and Optimization Techniques Open access

Richard Schoonhoven, Bram Veenboer, Ben van Werkhoven, Kees Joost Batenburg

0

citations
Exascale-ready molecular dynamics simulations with efficient algorithms for extreme core counts
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Parallel Computing and Optimization Techniques Open access

Nitin Malapally

0

citations
Compiling All-Digital-Embedded Content Addressable Memories on Chip for Edge Application
2021 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems article Computer Science Network Packet Processing and Optimization

Xin Fan, Niklas Meyer, Tobias Gemmeke

12

citations
Investigating the Usage of MPI at Argument-Granularity in HPC Codes
2023 European MPI Users' Group Meeting (EuroMPI) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Alexander Hück, Tim Jammer, Joachim Jenke, Christian H Bischof

10

citations
Performance Portable Adjoints for Structured Mesh Applications with OPS
2026 ACM Transactions on Mathematical Software article Computer Science Parallel Computing and Optimization Techniques Open access

Gábor Dániel Balogh, Johannes Lotz, Jacques du Toit, Uwe Naumann, István Z. Reguly

0

citations
EXCELLERATP2 D3.2 First Updated Report on Exa-Enabling Methodologies
2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Parallel Computing and Optimization Techniques Open access

Ansgar Niemöller, Matthias H. Meinke, Joeffrey Legaux, Mohamed Ibrahim Ghenai, Michael Wagner, Tufan Arslan, +12 more

0

citations
Work-Stealing Prefix Scan: Addressing Load Imbalance in Large-Scale Image Registration
2021 IEEE Transactions on Parallel and Distributed Systems article Computer Science Parallel Computing and Optimization Techniques Open access

Marcin Copik, Tobias Grosser, Torsten Hoefler, Paolo Bientinesi, Benjamin Berkels

0

citations
Towards a Hybrid MPI Correctness Benchmark Suite
2022 European MPI Users' Group Meeting (EuroMPI) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Tim Jammer, Alexander Hück, Jan-Patrick Lehr, Joachim Protze, Simon Schwitanski, Christian H Bischof

13

citations
Mango-IO: I/O Metrics Consistency Analysis
2023 IEEE International Conference on Cluster Computing Workshops (CLUSTER Workshops) conference-paper Computer Science Parallel Computing and Optimization Techniques

Radita Liem, Sebastian Oeste, Jay Lofstead, Julian Martin Kunkel

4

citations
Understanding the Performance of Dynamic Data Race Detection
2021 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Joachim Protze, Isabel Thärigen, Jonas Wahle

1

citations
Mango-IO: I/O Metrics Consistency Analysis
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Parallel Computing and Optimization Techniques Open access

Radita Liem

0

citations
Mango-IO: I/O Metrics Consistency Analysis
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Parallel Computing and Optimization Techniques Open access

Radita Liem

0

citations
Evaluating the expressiveness of hardware performance counters tracked alongside the critical path
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Parallel Computing and Optimization Techniques Open access

Moritz Brückner

0

citations
The Score-P performance tools ecosystem
2026 Frontiers in High Performance Computing article Computer Science Parallel Computing and Optimization Techniques Open access

Christian Feld, Alexandru Calotoiu, Gregor Corbin, Markus Geimer, Marc-André Hermanns, Maximilian Knespel, +13 more

1

citations
An On-the-Fly Method to Exchange Vector Clocks in Distributed-Memory Programs
2022 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Simon Schwitanski, Felix Tomski, Joachim Protze, Christian Terboven, Matthias Müller

4

citations
A Shim Layer for Transparently Adding Meta Data to MPI Handles
2023 European MPI Users' Group Meeting (EuroMPI) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Joachim Jenke, Michael Knobloch, Marc-André Hermanns, Simon Schwitanski

2

citations
ARBALEST: Dynamic Detection of Data Mapping Issues in Heterogeneous OpenMP Applications
2021 Proceedings - IEEE International Parallel and Distributed Processing Symposium conference-paper Computer Science Parallel Computing and Optimization Techniques

Lechen Yu, Joachim Protze, Óscar Hernández, Vivek Sarkar

5

citations
Differential Performance Analysis Workflow for Algorithmic Changes
2021 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Isabel Thärigen, Joachim Protze, Fabian Orland, Marc-André Hermanns

3

citations
Dependent metrics for on-the-fly critical path analysis
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Parallel Computing and Optimization Techniques Open access

Leon Streichardt

0

citations
PERMAVOST'22 Discussion Panel
2022 conference-paper Computer Science Parallel Computing and Optimization Techniques

Radita Liem, Connor Francis Scully-Allison, Ana Veroneze Solorzano, Kristopher Keipert, Rafael Ferreira da Silva, Suraj P. Kesavan, +1 more

0

citations
Investigating the Real-World Applicability of MPI Correctness Benchmarks
2023 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Alexander Hück, Tim Jammer, Joachim Jenke, Christian H Bischof

3

citations