Benchmarks for trading off power performance on the pandaboard