Image de couverture de livre

Fast Inverse Model Transformation: Algebraic Framework for Fast Data Plane Verification

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Chen, Shenshen, Luo, Jian, Guo, Dong, Gao, Kai, Yang, Yang Richard
Format:	Preprint
Publié:	2024
Sujets:	Networking and Internet Architecture
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Fast Percolation-Dijkstra Routing Method for Mega-Constellation Backbone Network
par: Luan, Shenshen, et autres
Publié: (2024)

Fine-grained Distributed Data Plane Verification with Intent-based Slicing
par: Chou, Kuan-Yen, et autres
Publié: (2024)

ZBanner: Fast Stateless Scanning Capable of Obtaining Responses over TCP
par: Chen, Chiyu, et autres
Publié: (2024)

FNCC: Fast Notification Congestion Control in Data Center Networks
par: Xu, Jing, et autres
Publié: (2024)

A Fast Control Plane for a Large-Scale and High-Speed Optical Circuit Switch System
par: Takano, Ryousei, et autres
Publié: (2024)

FairQ: Fair and Fast Rate Allocation in Data Centers
par: Abdelmoniem, Ahmed M., et autres
Publié: (2024)

RAIL: An Accurate and Fast Angle-inferred Localization Algorithm for UAV-WSN Systems
par: Zhang, Ze, et autres
Publié: (2025)

Toward an Abstract Model of Programmable Data Plane Devices
par: Robin, Debobroto Das, et autres
Publié: (2020)

TupleChain: Fast Lookup of OpenFlow Table with Multifaceted Scalability
par: Li, Yanbiao, et autres
Publié: (2024)

Symmetry-Driven Asynchronous Forwarding for Reliable Distributed Coordination in Toroidal Networks
par: Luan, Shenshen, et autres
Publié: (2025)

Unlocking Diversity of Fast-Switched Optical Data Center Networks with Unified Routing
par: Li, Jialong, et autres
Publié: (2024)

Inter-Satellite Link Configuration for Fast Delivery in Low-Earth-Orbit Constellations
par: Mollakhani, Arman, et autres
Publié: (2025)

Swift: Rethinking RDMA Control Plane for Elastic Computing
par: Zhang, Junxue, et autres
Publié: (2025)

A Fast Solver-Free Algorithm for Traffic Engineering in Large-Scale Data Center Network
par: Mao, Yingming, et autres
Publié: (2025)

An Edge-Cloud Collaboration Framework for Generative AI Service Provision with Synergetic Big Cloud Model and Small Edge Models
par: Tian, Yuqing, et autres
Publié: (2024)

RIDAS: A Multi-Agent Framework for AI-RAN with Representation- and Intention-Driven Agents
par: Ding, Kuiyuan, et autres
Publié: (2025)

QUIC is not Quick Enough over Fast Internet
par: Zhang, Xumiao, et autres
Publié: (2023)

Automated Optimization of Parameterized Data-Plane Programs with Parasol
par: Hogan, Mary, et autres
Publié: (2024)

VNF Migration with Fast Defragmentation: A GAT-Based Deep Learning Method
par: Zhang, Fangyu, et autres
Publié: (2024)

OLAF: Programmable Data Plane Acceleration for Asynchronous Distributed Reinforcement Learning
par: Krishna, Nehal Baganal, et autres
Publié: (2025)

FRANCIS: Fast Reaction Algorithms for Network Coordination In Switches
par: Han, Wenchen, et autres
Publié: (2022)

Data-Plane Telemetry to Mitigate Long-Distance BGP Hijacks
par: Sengupta, Satadal, et autres
Publié: (2025)

NODE: Network Wide Top-K Flows in the Data Plane
par: Stein, Eitan, et autres
Publié: (2026)

Fast-MCS: A Scalable Open-Source Tool to Find Minimal Cut Sets
par: Janardhanan, Shakthivelu, et autres
Publié: (2026)

Rethinking Telemetry Design for Fine-Grained Anomaly Detection in 5G User Planes
par: Saha, Niloy, et autres
Publié: (2025)

Noisy Neighbor Influence in the Data Plane of Beyond 5G Networks
par: Moreira, Rodrigo, et autres
Publié: (2026)

Quark: Implementing Convolutional Neural Networks Entirely on Programmable Data Plane
par: Zhang, Mai, et autres
Publié: (2025)

Towards an Implementation of the Knowledge-Based Control Plane for Intelligent Swarm Networks
par: Guo, Xuanchi, et autres
Publié: (2024)

Tyche: A Hybrid Computation Framework of Illumination Pattern for Satellite Beam Hopping
par: Yang, Ziheng, et autres
Publié: (2025)

Rust Barefoot Runtime (RBFRT): Fast Runtime Control for the Intel Tofino
par: Zink, Etienne, et autres
Publié: (2025)

LACeS: An Open, Fast, Responsible, and Efficient Longitudinal Anycast Census System
par: Hendriks, Remi, et autres
Publié: (2025)

Janus: Leveraging Incremental Computation for Efficient DNS Verification
par: Wang, Yao, et autres
Publié: (2025)

FastRAG: Retrieval Augmented Generation for Semi-structured Data
par: Abane, Amar, et autres
Publié: (2024)

FastReChain: A Novel Bidirectional Model-Based Algorithm for Topology Engineering of OCS-Based Clusters
par: Zhu, Zihan, et autres
Publié: (2025)

OpenCLAW-Nexus: A Self-Reinforcing Trust Framework for Byzantine-Resilient Decentralized Federated Learning
par: Jia, Wenyang, et autres
Publié: (2026)

BalanceDN: Load-Balancing Allocation of Interest for Fast Discovery in Content Centric Networks
par: Gunti, Murali, et autres
Publié: (2024)

Network Optimization in Dynamic Systems: Fast Adaptation via Zero-Shot Lagrangian Update
par: Hou, I-Hong
Publié: (2024)

KubeSpace: A Low-Latency and Stable Control Plane for LEO Satellite Container Orchestration
par: Zhao, Zhiyuan, et autres
Publié: (2026)

Swipe2Pair: Secure and Fast In-Band Wireless Device Pairing
par: He, Yaqi, et autres
Publié: (2024)

IUP: Integrated and Programmable User Plane for Next-Generation Mobile Networks
par: Chen, Chieh-Chun, et autres
Publié: (2025)