Exact and Approximate Algorithms for Scheduling Nonidentical Processors | Synapse