Not finding it? Sign in to also search OpenAlex live.
-
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings2020 Journal of Logical and Algebraic Methods in Programming article Computer Science Polynomial and algebraic computation Open access
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer
34citations -
ALOHA: A Unified Platform-Aware Evaluation Method for CNNs Execution on Heterogeneous Systems at the Edge2021 IEEE Access article Computer Science Advanced Neural Network Applications Open access cited by 1 patent
Paola Busia, Svetlana Minakova, Todor P. Stefanov, Luigi Raffo, Paolo Meloni
9citations -
A methodology for comparing optimization algorithms for auto-tuning2024 Future Generation Computer Systems article Computer Science Parallel Computing and Optimization Techniques Open access
Floris-Jan Willemsen, Richard Schoonhoven, Jiří Filipovič, Jacob O. Tørring, Rob V. van Nieuwpoort, Ben van Werkhoven
11citations -
The Hypervolume Newton Method for Constrained Multi-Objective Optimization Problems2023 Mathematical and Computational Applications article Computer Science Advanced Multi-Objective Optimization Algorithms Open access
Hao Wang, Michael Emmerich, Andre H. Deutz, Víctor Adrián Sosa Hernández, Oliver Schütze
3citations
14 results