Workload Characterization: Methodology and Case Studies. Based on the First Workshop on Workload Characterization