Buchumschlag

Relational Network Verification

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Xu, Xieyang, Yuan, Yifei, Kincaid, Zachary, Krishnamurthy, Arvind, Mahajan, Ratul, Walker, David, Zhai, Ennan
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Networking and Internet Architecture
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Model-Based Diagnosis: Automating End-to-End Diagnosis of Network Failures
von: Wu, Changrong, et al.
Veröffentlicht: (2025)

RNG: Flat Datacenter Networks at Scale
von: Bernardi, Giacomo, et al.
Veröffentlicht: (2026)

When Scaling Fails: Network and Fabric Effects on Distributed GPU Training Performance
von: Gopalan, Dinesh, et al.
Veröffentlicht: (2026)

Laconic: Streamlined Load Balancers for SmartNICs
von: Cui, Tianyi, et al.
Veröffentlicht: (2024)

SHIFT: Exploring the Boundary of RDMA Network Fault Tolerance
von: Lin, Shengkai, et al.
Veröffentlicht: (2025)

Cora: Accelerating Stateful Network Applications with SmartNICs
von: Xi, Shaoke, et al.
Veröffentlicht: (2024)

Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation
von: Yang, Rulan, et al.
Veröffentlicht: (2024)

Control Protocol for Entangled Pair Verification in Quantum Optical Networks
von: Vasan, Vivek, et al.
Veröffentlicht: (2024)

Proposal of an Automatic Verification Method for Network Configuration Model by Static Analysis
von: Fujita, Tomoya, et al.
Veröffentlicht: (2025)

Group Equivariant Convolutional Networks for Pathloss Estimation
von: Yang, Ziyue, et al.
Veröffentlicht: (2025)

STARVERI: Efficient and Accurate Verification for Risk-Avoidance Routing in LEO Satellite Networks
von: Gu, Chenwei, et al.
Veröffentlicht: (2024)

SatFlow: Scalable Network Planning for LEO Mega-Constellations
von: Cen, Sheng, et al.
Veröffentlicht: (2024)

Statistical Verification of Medium-Access Parameterization for Power-Grid Edge Ad Hoc Sensor Networks
von: Wang, Haitian, et al.
Veröffentlicht: (2026)

Janus: Leveraging Incremental Computation for Efficient DNS Verification
von: Wang, Yao, et al.
Veröffentlicht: (2025)

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

MobiWorld: World Models for Mobile Wireless Network
von: Chai, Haoye, et al.
Veröffentlicht: (2025)

VERCEL: Verification and Rectification of Configuration Errors with Least Squares
von: Singh, Abhiram, et al.
Veröffentlicht: (2024)

A Fast Solver-Free Algorithm for Traffic Engineering in Large-Scale Data Center Network
von: Mao, Yingming, et al.
Veröffentlicht: (2025)

The Space above the Sky: Uniting Global-Scale Ground Station as a Service for Efficient Orbital Data Processing
von: Zhao, Heng, et al.
Veröffentlicht: (2024)

Fine-grained Distributed Data Plane Verification with Intent-based Slicing
von: Chou, Kuan-Yen, et al.
Veröffentlicht: (2024)

FNCC: Fast Notification Congestion Control in Data Center Networks
von: Xu, Jing, et al.
Veröffentlicht: (2024)

Fast Inverse Model Transformation: Algebraic Framework for Fast Data Plane Verification
von: Chen, Shenshen, et al.
Veröffentlicht: (2024)

Predictive Importance Sampling Based Coverage Verification for Multi-UAV Trajectory Planning
von: Ghosh, Snehashish, et al.
Veröffentlicht: (2026)

Satellite-Terrestrial Integrated Fog Networks: Architecture, Technologies, and Challenges
von: Yuan, Shuo, et al.
Veröffentlicht: (2025)

Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification
von: Metere, Roberto, et al.
Veröffentlicht: (2024)

DeMarking: A Defense for Network Flow Watermarking in Real-Time
von: Yuan, Yali, et al.
Veröffentlicht: (2024)

Energy-Aware Random Access Networks: Connection-Based versus Packet-Based
von: Yuan, Anshan, et al.
Veröffentlicht: (2024)

Optimal Packetization Towards Low Latency in Random Access Networks (extended version)
von: Li, Zihong, et al.
Veröffentlicht: (2025)

Embodied Edge Intelligence Meets Near Field Communication: Concept, Design, and Verification
von: Li, Guoliang, et al.
Veröffentlicht: (2025)

Integration of Computer Networks and Artificial Neural Networks for an AI-based Network Operator
von: Wu, Binbin, et al.
Veröffentlicht: (2024)

Efficient All-to-All Collective Communication Schedules for Direct-Connect Topologies
von: Basu, Prithwish, et al.
Veröffentlicht: (2023)

Large Language Models for Wireless Networks: An Overview from the Prompt Engineering Perspective
von: Zhou, Hao, et al.
Veröffentlicht: (2024)

Automated Optimization of Parameterized Data-Plane Programs with Parasol
von: Hogan, Mary, et al.
Veröffentlicht: (2024)

SpaceMeta: Global-Scale Massive Multi-User Virtual Interaction over LEO Satellite Constellations
von: Huang, Jiahe, et al.
Veröffentlicht: (2024)

Trident: Interference Avoidance in Multi-reader Backscatter Network via Frequency-space Division
von: Zou, Yang, et al.
Veröffentlicht: (2025)

Knowledge Graph Embedding in Intent-Based Networking
von: Mehmood, Kashif, et al.
Veröffentlicht: (2024)

The Power of Alternatives in Network Embedding
von: Kolosov, Oleg, et al.
Veröffentlicht: (2025)

On the Role of Non-Terrestrial Networks for Boosting Terrestrial Network Performance in Dynamic Traffic Scenarios
von: Alam, Henri, et al.
Veröffentlicht: (2024)

Hybrid RIS-Aided Digital Over-the-Air Computing for Edge AI Inference: Joint Feature Quantization and Active-Passive Beamforming Design
von: Fu, Yang, et al.
Veröffentlicht: (2025)

Optimizing Layerwise Microservice Management in Heterogeneous Wireless Networks
von: Yan, Haojie, et al.
Veröffentlicht: (2024)