Catálogo de publicaciones - actas de congreso
Proceedings of the 19th ACM Workshop on Hot Topics in Networks
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
No disponibles.
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No detectada | 2020 | ACM Digital Library |
Información
Tipo de recurso:
actas de congreso
ISBN impreso
978-1-4503-8145-1
Editor responsable
Association for Computing Machinery (ACM)
País de edición
Estados Unidos
Fecha de publicación
2020-11-04
Información sobre derechos de publicación
Copyright © ACM, Inc.
Cobertura temática
Tabla de contenidos
Incremental Network Configuration Verification
Peng Zhang; Yuhao Huang; Aaron Gember-Jacobson; Wenbo Shi; Xu Liu; Hongkun Yang; Zhiqiang Zuo
Pp. No disponible
A Distributed and Hybrid Ground Station Network for Low Earth Orbit Satellites
Deepak Vasisht; Ranveer Chandra
Pp. No disponible
Solver-Aided Multi-Party Configuration
Kevin Dackow; Andrew Wagner; Tim Nelson; Shriram Krishnamurthi; Theophilus A. Benson
Pp. No disponible
Online Safety Assurance for Learning-Augmented Systems
Noga H. Rotman; Michael Schapira; Aviv Tamar
Pp. No disponible
Challenging the Stateless Quo of Programmable Switches
Nadeen Gebara; Alberto Lerner; Mingran Yang; Minlan Yu; Paolo Costa; Manya Ghobadi
Pp. No disponible
Enabling Active Networking on RMT Hardware
Rajdeep Das; Alex C. Snoeren
Pp. No disponible
Don't Work on Individual Data Plane Algorithms. Put Them Together!
Chen Qian; Shouqian Shi; Xiaofeng Shi; Minmei Wang
Pp. No disponible
Underwater Backscatter Localization
Reza Ghaffarivardavagh; Sayed Saad Afzal; Osvy Rodriguez; Fadel Adib
Pp. No disponible
Towards Verified Self-Driving Infrastructure
Bingzhe Liu; Ali Kheradmand; Matthew Caesar; P. Brighten Godfrey
Pp. No disponible
doi: 10.1145/3432721
Session details: Session 2: Protocols and Architectures
Radhika Mittal; Aditi
Pp. No disponible