Login / Signup

P4-Ace: Resource-Efficient Optimization and Verification for Programmable Switches.

Zixi CuiSaifeng HouLe TianYu WangXiaoyu YiYongjie WangPeng YiHongchang Chen
Published in: FMANO@SIGCOMM (2024)
Keyphrases
  • efficient optimization
  • optimization methods
  • model checking
  • image processing
  • convex relaxation
  • training data
  • state space
  • multi class
  • markov random field