Cover Image

Argo: An efficient verification framework for distributed in-network computing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Song, Mingyuan, Shen, Huan, Jiang, Jinghui, Su, Qiang, Song, Qingyu, Tang, Lu, Feng, Wanjian, Yuan, Fei, Xiang, Qiao, Shu, Jiwu
Format:	Preprint
Published:	2025
Subjects:	Networking and Internet Architecture
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Janus: Leveraging Incremental Computation for Efficient DNS Verification
by: Wang, Yao, et al.
Published: (2025)

Innovation Discovery System for Networking Research
by: Zhang, Mengrui, et al.
Published: (2026)

Leveraging Large Language Models for Automated Reproduction of Networking Research Results
by: Jiang, Yining, et al.
Published: (2025)

Holmes: An Evidence-Grounded LLM Agent for Auditable DDoS Investigation in Cloud Networks
by: Chen, Haodong, et al.
Published: (2026)

Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation
by: Yang, Rulan, et al.
Published: (2024)

Seagull: Privacy preserving network verification system
by: Daneshamooz, Jaber, et al.
Published: (2024)

SplitCom: Communication-efficient Split Federated Fine-tuning of LLMs via Temporal Compression
by: Li, Tao, et al.
Published: (2026)

An efficient grey theory-driven path selection for energy efficiency control in the Internet of Things using fog and cloud computing
by: Akbari, Mohammad Reza, et al.
Published: (2025)

A benchmarking framework for PON-based fronthaul network design
by: Erbayat, Egemen, et al.
Published: (2026)

A traffic incident management framework for vehicular ad hoc networks
by: Shahariar, Rezvi, et al.
Published: (2026)

Next-generation optical networks to sustain connectivity of the future: All roads lead to optical-computing-enabled network?
by: Hai, Dao Thanh, et al.
Published: (2024)

An efficient Progressive Swapping to the Middle distribution protocol adapted to imperfect quantum memories in quantum networks
by: Mesny, Claire, et al.
Published: (2026)

Toward quantum-safe scalable networks: an open, standards-aware key management framework
by: Sanz, Ane, et al.
Published: (2025)

Mitigating xApp conflicts for efficient network slicing in 6G O-RAN: a graph convolutional-based attention network approach
by: Bakri, Sihem, et al.
Published: (2025)

PlanB: Efficient Software IPv6 Lookup with Linearized $B^+$-Tree
by: Zhang, Zhihao, et al.
Published: (2026)

Toward hyper-adaptive AI-enabled 6G networks for energy efficiency: techniques, classifications and tradeoffs
by: Zayene, Mariem, et al.
Published: (2025)

Joint link scheduling and power allocation in imperfect and energy-constrained underwater wireless sensor networks
by: Zhang, Tong, et al.
Published: (2025)

Is the edge really necessary for drone computing offloading? An experimental assessment in carrier-grade 5G operator networks
by: Candal-Ventureira, David, et al.
Published: (2024)

Resource-efficient In-orbit Detection of Earth Objects
by: Zhang, Qiyang, et al.
Published: (2024)

A new control- and management architecture for SDN-enabled quantum key distribution networks
by: Horoschenkoff, Peter, et al.
Published: (2024)

Structural Resilience and Connectivity of the IPv6 Internet: An AS-level Topology Examination
by: Yuan, Bin, et al.
Published: (2024)

Performance Prediction of On-NIC Network Functions with Multi-Resource Contention and Traffic Awareness
by: Wu, Shaofeng, et al.
Published: (2024)

A Digital Twin-based Intelligent Network Architecture for Underwater Acoustic Sensor Networks
by: Song, Shanshan, et al.
Published: (2024)

Rediscovering Recurring Routing Results
by: Song, Xiao, et al.
Published: (2025)

What comes after optical-bypass network? A study on optical-computing-enabled network
by: Hai, Dao Thanh
Published: (2024)

Alternative paths computation for congestion mitigation in segment-routing networks
by: Martin, Sébastien, et al.
Published: (2024)

Efektywne energetycznie wielodostępowe przetwarzanie brzegowe w sieci 5G; Energy efficient Multi-access Edge Computing in 5G network
by: Kryszkiewicz, Paweł
Published: (2025)

Directional WPT Charging for Routing-Asymmetric WRSNs with a Mobile Charger
by: Gao, Zhenguo, et al.
Published: (2024)

HGFF: A Deep Reinforcement Learning Framework for Lifetime Maximization in Wireless Sensor Networks
by: Han, Xiaoxu, et al.
Published: (2024)

Memory-efficient Sketch Acceleration for Handling Large Network Flows on FPGAs
by: Han, Zhaoyang, et al.
Published: (2025)

Maximizing Uplink and Downlink Transmissions in Wirelessly Powered IoT Networks
by: Song, Xiaoyu, et al.
Published: (2024)

Lifecycle Management of Optical Networks with Dynamic-Updating Digital Twin: A Hybrid Data-Driven and Physics-Informed Approach
by: Song, Yuchen, et al.
Published: (2025)

Synecdoche: Efficient and Accurate In-Network Traffic Classification via Direct Packet Sequential Pattern Matching
by: Xiao, Minyuan, et al.
Published: (2025)

LMTE: Putting the "Reasoning" into WAN Traffic Engineering with Language Models
by: Yuan, Xinyu, et al.
Published: (2026)

Outstanding framework for simulating and generating anchor trajectory in wireless sensor networks
by: Naguib, Abdelhady
Published: (2024)

Multi-hop Differential Topology based Algorithms for Resilient Network of UAV Swarm
by: Lin, Huan, et al.
Published: (2024)

Synergistic Interplay of Large Language Model and Digital Twin for Autonomous Optical Networks: Field Demonstrations
by: Song, Yuchen, et al.
Published: (2024)

Fiber to the Room: Key Technologies, Challenges, and Prospects
by: Cai, Jinhan, et al.
Published: (2025)

The MoE-Empowered Edge LLMs Deployment: Architecture, Challenges, and Opportunities
by: Li, Ning, et al.
Published: (2025)

Semantic and goal-oriented edge computing for satellite Earth Observation
by: Soret, Beatriz, et al.
Published: (2024)