Latte: Improving the Latency of Transiently Consistent Network Update Schedules

Computer Science

• Automated Reasoning 50%
• Concurrency 50%
• Consistency Property 100%
• Consistent Network 100%
• Distributed Systems 50%
• Model Checking 50%
• Operating Network 50%
• Software-Defined Network 50%
• Timing Behavior 50%
• Underlying Infrastructure 50%