Optimal resource allocation for time-reservation systems