System-level exploration for pareto-optimal configurations in