热门

最新

红包

立Flag

投票

同城

发布
qq_45540735
夏尔Gaesar
4 年前
trueqq_45540735

Our key contribution is
an efficient search procedure which leverages counter-examples
to efficiently navigate the space of configuration updates.
评论
1
打赏
  • 复制链接
  • 举报
下一条：
We address these problems with Snowcap, the first networkreconfiguration framework which can synthesize configurationupdates that comply with arbitrary hard and soft specifications,and involve arbitrary routing protocols.