NAGA: A Deterministic Programmable Network With Update Timing Guarantees | IEEE Journals & Magazine | IEEE Xplore