An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors | Publicación