From

Institution

Field

Type

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

Reset

Papers matching “loop acceleration” 6

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Integrating Loop Acceleration Into Bounded Model Checking
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

7

citations
A Fast and Accurate True Event-driven Phase Locked Loop Model
2020 IEEE International Conference on Electronics, Circuits and Systems (ICECS) conference-paper Engineering Advancements in PLL and VCO Technologies

Christoph Beyerstedt, Jonas Meier, Fabian Speicher, Markus Scholl, Daniel Blase, Ralf Wunderlich, +1 more

6

citations
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

16

citations
Accelerating Loops with Arrays
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

0

citations
Optimization Algorithm Synthesis Based on Integral Quadratic Constraints: A Tutorial
2023 Proceedings of the IEEE Conference on Decision & Control, including the Symposium on Adaptive Processes conference-paper Engineering Advanced Control Systems Optimization

Carsten W. Scherer, Christian Ebenbauer, Tobias Holicki

11

citations
LLaMEA-BO: A Large Language Model Evolutionary Algorithm for Automatically Generating Bayesian Optimization Algorithms
2026 Genetic and Evolutionary Computation Conference (GECCO) conference-paper Computer Science Evolutionary Algorithms and Applications Open access

Bas van Stein, Thomas Bäck, Elena Raponi

0

citations

6 results