Buchumschlag

Deadlock in packet switching networks

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Stramaglia, Anna, Keiren, Jeroen J. A., Zantema, Hans
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Networking and Internet Architecture Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Formalization of the Correctness of the Floodsub Protocol
von: Kumar, Ankit, et al.
Veröffentlicht: (2025)

CB-VER: A Stable Foundation for Modular Control Plane Verification
von: Zhang, Dexin, et al.
Veröffentlicht: (2026)

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
von: Stramaglia, Anna, et al.
Veröffentlicht: (2025)

Resilient-Native and Intelligent Next-Generation Wireless Systems: Key Enablers, Foundations, and Applications
von: Bennis, Mehdi, et al.
Veröffentlicht: (2025)

An Architecture for Spatial Networking
von: Millar, Josh, et al.
Veröffentlicht: (2025)

Benchmarks for Parity Games (extended version)
von: Keiren, Jeroen J. A.
Veröffentlicht: (2014)

Leveraging InfiniBand Controller to Configure Deadlock-Free Routing Engines for Dragonflies
von: Maglione-Mathey, German, et al.
Veröffentlicht: (2025)

Existence of Deadlock-Free Routing for Arbitrary Networks
von: Mendlovic, Uri, et al.
Veröffentlicht: (2025)

Reinforcement-Learning based routing for packet-optical networks with hybrid telemetry
von: Navarro, A. L. García, et al.
Veröffentlicht: (2024)

Tutorial: Designing Distributed Software in mCRL2
von: Groote, Jan Friso, et al.
Veröffentlicht: (2021)

Expressiveness Results for Timed Modal Mu-Calculi
von: Cleaveland, Rance, et al.
Veröffentlicht: (2023)

Formal Methods for Mobile Ad Hoc Networks: A Survey
von: Fokkink, Wan, et al.
Veröffentlicht: (2025)

Competition between service providers with strategic resource allocation: application to network slicing
von: Guijarro, Luis, et al.
Veröffentlicht: (2019)

Large-scale wireless network management via Open-RAN Tandem Apps: Cell on/off switching use case
von: Kryszkiewicz, Paweł, et al.
Veröffentlicht: (2026)

Modeling the Trade-off between Throughput and Reliability in a Bluetooth Low Energy Connection
von: Pang, Bozheng, et al.
Veröffentlicht: (2024)

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
von: Keiren, Jeroen J. A., et al.
Veröffentlicht: (2013)

Stuttering Equivalence for Parity Games
von: Cranen, Sjoerd, et al.
Veröffentlicht: (2011)

Structural Analysis of Boolean Equation Systems
von: Keiren, Jeroen, et al.
Veröffentlicht: (2010)

Optimal energy-aware task scheduling for batteryless IoT devices
von: Delgado, Carmen, et al.
Veröffentlicht: (2024)

Experimental Evaluation of an SDN Controller for Open Optical-circuit-switched Networks
von: Anazawa, Kazuya, et al.
Veröffentlicht: (2025)

Symbol-Synchronous Communication for Ultra-Low-Power Multi-Hop Ambient IoT Networks
von: Liu, Xinlei, et al.
Veröffentlicht: (2026)

Analysis of the operation of a TSN switch and other devices using executable QR codes
von: Scanzio, Stefano, et al.
Veröffentlicht: (2025)

Enhanced load balancing technique for SDN controllers: A multi-threshold approach with migration of switches
von: Kazemiesfeh, Mohammad, et al.
Veröffentlicht: (2025)

Design and Evaluation of IEEE 802.11ax Uplink Orthogonal Frequency Division Multiple Random Access in ns-3
von: Agbeve, Douglas Dziedzorm, et al.
Veröffentlicht: (2025)

Dynamic Pricing based Near-Optimal Resource Allocation for Elastic Edge Offloading
von: Xia, Yun, et al.
Veröffentlicht: (2024)

Waiting at the front door: Continuous monitoring of latency in the host network stack
von: Sundberg, Simon, et al.
Veröffentlicht: (2026)

Integrating Battery-Less Energy Harvesting Devices in Multi-hop Industrial Wireless Sensor Networks
von: Van Leemput, Dries, et al.
Veröffentlicht: (2023)

Evaluating UORA-Based Polling Mechanism for Latency-Sensitive Uplink Traffic in Wi-Fi Networks
von: Agbeve, Douglas Dziedzorm, et al.
Veröffentlicht: (2025)

Battery-Less LoRaWAN Communications using Energy Harvesting: Modeling and Characterization
von: Delgado, Carmen, et al.
Veröffentlicht: (2024)

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
von: Jansen, David N., et al.
Veröffentlicht: (2019)

Maximizing network capacity, control and management in designing a Telemedicine network: a review and recent challenges
von: Sadiq, B. O., et al.
Veröffentlicht: (2024)

Balancing Costs and Utilities in Future Networks via Market Equilibrium with Externalities
von: Datar, Mandar, et al.
Veröffentlicht: (2025)

Dual Auction Mechanism for Transaction Relay and Validation in Complex Wireless Blockchain Network
von: Wang, Weiyi, et al.
Veröffentlicht: (2023)

Static and dynamic jamming games over wireless channels with mobile strategic players
von: Perin, Giovanni, et al.
Veröffentlicht: (2023)

A Double Auction for Charging Scheduling among Vehicles Using DAG-Blockchains
von: Guo, Jianxiong, et al.
Veröffentlicht: (2020)

An Efficient Dynamic Transaction Storage Mechanism for Sustainable High Throughput Bitcoin
von: Zhao, Xiongfei, et al.
Veröffentlicht: (2023)

The 802.11 MAC protocol leads to inefficient equilibria
von: Tan, Godfrey, et al.
Veröffentlicht: (2026)

A Three-Party Repeated Coalition Formation Game for PLS in Wireless Communications with IRSs
von: Zhou, Haipeng, et al.
Veröffentlicht: (2024)

The logistic queue model: theoretical properties and performance evaluation
von: Coltraro, Franco, et al.
Veröffentlicht: (2024)

Maximization of Communication Network Throughput using Dynamic Traffic Allocation Scheme
von: Arquam, Md., et al.
Veröffentlicht: (2024)