No False Negatives: Accepting All Useful Schedules in a Fast Serializable Many-Core System | IEEE Conference Publication | IEEE Xplore