共 50 条
- [33] Configuring Methods for Deadlock-Free Routing INTERNATIONAL JOURNAL OF EMBEDDED AND REAL-TIME COMMUNICATION SYSTEMS (IJERTCS), 2022, 13 (01):
- [34] Proof Pearl: A Formal Proof of Dally and Seitz’ Necessary and Sufficient Condition for Deadlock-Free Routing in Interconnection Networks Journal of Automated Reasoning, 2012, 48 : 419 - 439
- [35] Proof pearl: A formal proof of dally and seitz' necessary and sufficient condition for deadlock-free routing in interconnection networks Schmaltz, J. (julien@cs.ru.nl), 1600, Kluwer Academic Publishers (48):
- [36] Deadlock-free interval routing schemes STACS 97 - 14TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1997, 1200 : 351 - 362
- [38] Balancing virtual channel utilization for deadlock-free routing in torus networks The Journal of Supercomputing, 2015, 71 : 3094 - 3115
- [40] Deadlock-free adaptive routing in fault-tolerant mesh networks Jisuanji Xuebao/Chinese Journal of Computers, 2007, 30 (11): : 1954 - 1962