The scheduler should be improved to make better use of the availability of execution machines, in particular with resource pools.Due of the current scheduler limitations, any given schedule on a resource pool needs to be updated as soon the number of...