Low overhead multiprocessor allocation strategies exploiting system spare capacity for fault detection and location | IEEE Journals & Magazine | IEEE Xplore