System recovery; Routing; Network topology; Topology; Throughput; Runtime; Classification algorithms;
机译:保证死锁自由的基于跟踪的服务语义
机译:互连网络(SPIN)中的同步进展:死锁自由的新理论
机译:NISHA:容错NoC路由器,可在分层体系结构中实现子网的无死锁互连
机译:布朗泡沫路由器:通过保证前进进度实现僵局自由
机译:探索甚至可达的全局状态空间以验证协议的死锁自由度。
机译:理事会说向前迈进并不能保证将实现健康目标
机译:从观察到的行为服务发现,同时保证合作中的死锁自由