Using Recorded Values for Bounding the Minimum Completion Time in Multiprocessors