From

Institution

Field

Type

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

Reset

Papers matching “program acceleration” 14

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

A calculus for modular loop acceleration and non-termination proofs
2022 International Journal on Software Tools for Technology Transfer article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Carsten Fuhs

8

citations
A Calculus for Modular Loop Acceleration and Non-Termination Proofs
2021 BIROn (Birkbeck, University of London) article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Carsten Fuhs

0

citations
Inferring Lower Runtime Bounds for Integer Programs
2020 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Matthias Naaf, Marc Brockschmidt, Jürgen Giesl

12

citations
Pigreads: The Python-integrated GPU-enabled reaction-diffusion solver using OpenCL for cardiac electrophysiology and other applications
2026 Computer Physics Communications article Computer Science Parallel Computing and Optimization Techniques Open access

Desmond Kabus, Hans Dierckx, Tim De Coster

1

citations
FPGA-accelerated Binary Neural Networks as a surrogate model for a viscoplastic constitutive law in impulsively loaded beams
2025 Mechanics Research Communications article Computer Science Advanced Neural Network Applications Open access

Vasileios Polydoras, Saurabh Balkrishna Tandale, Rutwik Gulakala, Marcus Stoffel

2

citations
Accelerated bounded model checking with LoAT
2026 Science of Computer Programming article Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

0

citations
ASTRA kernelkit: GPU-accelerated projectors for computed tomography using cupy
2024 Applied Mathematics for Modern Challenges article Computer Science Parallel Computing and Optimization Techniques Open access

Adriaan Graas, Willem Jan Palenstijn, Ben van Werkhoven, Felix F. Lucka

2

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
Use of Blockchain Technology to Accelerate Digital Health Transformation Programs
2025 Blockchain in Healthcare Today article Computer Science Blockchain Technology Applications and Security Open access

Regien Sumo, Simcha Jong

5

citations
An Open-Source Many-Scenario Approach for Power System Dynamic Simulation on HPC Clusters
2021 Electronics article Computer Science Modeling and Simulation Systems Open access

Lukas Razik, Sigurd Hofsmo Jakobsen, Salvatore D’Arco, Andrea Benigni

4

citations
Evaluating the Performance of OpenMP Offloading on the NEC SX-Aurora TSUBASA Vector Engine
2021 Supercomputing Frontiers and Innovations article Computer Science Parallel Computing and Optimization Techniques Open access

Tim Cramer

2

citations
Two-stage automated diagnosis framework for urogenital schistosomiasis in microscopy images from low-resource settings
2023 Journal of medical imaging article Computer Science Digital Imaging for Blood Diseases Open access

Prosper Oyibo, Brice Meulah, Michel Bengtson, Lisette van Lieshout, Wellington Aghoghovwia Oyibo, Jan Carel Diehl, +2 more

12

citations
Exact and Efficient Mesh‐Kernel Generation
2025 Computer Graphics Forum article Computer Science Computational Geometry and Mesh Generation

Julius Nehring-Wirxel, P. Kern, Philip Trettner, Leif P. Kobbelt

1

citations
Applying the FAIR Principles to Open Educational Resources: A Semantic Similarity Approach to Improve Resource Discovery
2025 IEEE Access article Computer Science Open Education and E-Learning Open access

Farzaneh Sadeghi, Auriol Degbelo, Carsten Keßler, Reza Zolnouri

0

citations

14 results