Backward probing deadlock detection for networks-on-chip. - Yean-Ru Chen; Zi-Rong Wangt; Pao-Ann Hsiung; Sao-Jie Chen; Meng-Hsun Tsai (NOCS, 2013)