Scheduling parallel processors