研究档案提供访问所有研究文章发表在过去的问题的通信ACM。
“软件数据平面验证”通过使用经典的软件验证工具来检查Click路由器转发路径中的真实代码,而不仅仅是一个模型,将现有的静态网络检查提升到一个新的水平。
探索光传输路径流形的几何工具提出了一种技术,以解决具有挑战性的问题,轻运输。
我们提出了在两个任务上迭代工作的结果:为包处理软件设计一个领域特定的验证工具,同时试图确定包处理软件必须的最小限制集……
我们通过将光路表示为由约束方程系统定义的抽象高维构型空间中的点,为光模拟这个长期存在的问题提供了一个几何解决方案。