102 citations · 166 across the 10 of their papers we have counts for
3 papers · 1 filter
Goal-constrained Planning Domain Model Verification of Safety Properties
Anas Shrinah, Kerstin Eder
The verification of planning domain models is crucial to ensure the safety, integrity and correctness of planning-based automated systems. This task is usually performed using mode…
Energy-Optimal Configurations for Single-Node HPC Applications
Vitor R. G. Silva, Alex Furtunato, Kyriakos Georgiou +2
Energy efficiency is a growing concern for modern computing, especially for HPC due to operational costs and the environmental impact. We propose a methodology to find energy-optim…
Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption
Kyriakos Georgiou, Craig Blackmore, Samuel Xavier-de-Souza +1
This paper presents the interesting observation that by performing fewer of the optimizations available in a standard compiler optimization level such as -O2, while preserving thei…