Deadlock-free packet switching networks
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
Deadlock-Free Message Routing in Multiprocessor Interconnection Networks
IEEE Transactions on Computers
High performance hypercube communications
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
A hierarchical solution for application level store-and-forward deadlock prevention
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Routing in the bidirectional shufflenet
IEEE/ACM Transactions on Networking (TON)
Unbounded speed variability in distributed communication systems
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Efficient Communication Schemes
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Distributed algorithms for synchronizing interprocess communication within real time
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
Deadlock avoidance in loosely-coupled multiprocessors with finite buffer pools
ACM SIGOPS Operating Systems Review
A DAG-Based Algorithm for Prevention of Store-and-Forward Deadlock in Packet Networks
IEEE Transactions on Computers
How to Improve Snap-Stabilizing Point-to-Point Communication Space Complexity?
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Snap-Stabilizing message forwarding algorithm on tree topologies
ICDCN'12 Proceedings of the 13th international conference on Distributed Computing and Networking
Hi-index | 0.01 |
A controller for a packet switching network is an algorithm to control the flow of packets through the network. A local controller is a controller executed independently by each node in the network, using only local information available to these nodes. A controller is deadlock- and livelock-free if it guarantees that every packet in the network reaches its destination within a finite amount of time. We present a local controller which is proved to be deadlock- and livelock-free.