schedule: allocate, constrain, share, time, use