Formal Abstractions for Packet Scheduling.

Anshuman Mohan Yunhe Liu Nate Foster Tobias Kappé Dexter Kozen

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

packet scheduling
wireless networks
quality of service
wireless channels
edge detection
wireless communication
multimedia
resource allocation