High performance computing systems - performance modeling, benchmarking and simulation 4th international workshop, PMBS 2013, Denver, CO, USA, November 18, 2013 ; revised selected papers (Springer, 2014)