Computer performance evaluation and benchmarking : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings (2009)