Lower bound algorithms for multiprocessor task scheduling with ready times