Architecture of computing systems - ARCS 2013 : 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings.