热门

最新

红包

立Flag

投票

同城

发布
qq_45540735
夏尔Gaesar
4 年前
trueqq_45540735

Snowcap. We answer positively and present Snowcap, a recon-
figuration framework which can synthesize and deploy safe config-
uration updates, for arbitrary protocols and arbitrary correctness
properties.

评论
1
打赏
  • 复制链接
  • 举报
下一条：
A fundamental research question is still open: Is it possible toautomatically and safely reconfigure a network running arbitraryprotocols without imposing any extra overhead on the network?