Quantitative games, where quantitative objectives are defined on weighted game arenas, provide natural tools for designing faithful models of embedded controllers. Instances of these games are the so called Energy Games. Starting from a sequential baseline implementation, we investigate the use of massively data computation capabilities supported by modern GPUs to solve the initial credit problem for Energy Games. We present different parallel implementations on multi-core CPU and GPU systems. Our solution outperforms the baseline implementation by up to 36x speedup and obtains a faster convergence time on real-world graphs.
Accelerating energy games solvers on modern architectures / Formisano, Andrea; Gentilini, Raffaella; Vella, Flavio. - (2017), pp. 1-4. (Intervento presentato al convegno 7th Workshop on Irregular Applications: Architectures and Algorithms, IA3 2017 tenutosi a usa nel 2017) [10.1145/3149704.3149771].
Accelerating energy games solvers on modern architectures
FORMISANO, Andrea;Vella, Flavio
2017
Abstract
Quantitative games, where quantitative objectives are defined on weighted game arenas, provide natural tools for designing faithful models of embedded controllers. Instances of these games are the so called Energy Games. Starting from a sequential baseline implementation, we investigate the use of massively data computation capabilities supported by modern GPUs to solve the initial credit problem for Energy Games. We present different parallel implementations on multi-core CPU and GPU systems. Our solution outperforms the baseline implementation by up to 36x speedup and obtains a faster convergence time on real-world graphs.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
