81
Voted
TODAES
2008
15 years 2 months ago
2008
We present an extension of Duato's necessary and sufficient condition a routing function must satisfy in order to be deadlock-free, to support environment constraints inducing...