Redundant synchronization elimination for DOACROSS loops | IEEE Journals & Magazine | IEEE Xplore