%0 Journal Article
%T An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors
%A Liqat,, U
%A Banković,, Z
%A Lopez-Garcia,, P
%A Hermenegildo, M, V
%J Logic Journal of the IGPL
%V 25
%N 6
%@ 1367-0751
%D 2017-12-01
%I Oxford University Press
%~ DeepDyve