NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev ETH Z¨urich netcomplete.ethz.ch Abstract

Source URL: www.vanbever.eu

• Computing
• Network architecture
• Routing protocols
• Internet Standards
• Data transmission
• Internet protocols
• Internet architecture
• Computer networking
• Border Gateway Protocol
• Open Shortest Path First
• IS-IS
• Convergence

Part & Clamp: Efficient Structured Output Learning Patrick Pletscher ETH Zurich Z¨ urich, Switzerland

Source URL: www.ong-home.my

Destroying networks for fun (and profit) Nick Shelly∗§, Brendan Tschaen†, Klaus-Tycho Förster∗, Michael Chang‡, Theophilus Benson†, Laurent Vanbever∗ ∗ ETH Zürich, ‡Princeton University, †Duke Unive

Source URL: cs.brown.edu

• Graph connectivity
• Emerging technologies
• Network architecture
• Engineering
• Configuration management
• Software-defined networking
• Stress testing
• Reliability engineering
• Computer network
• Reachability
• Technology
• Software engineering

BodenSchätzeWerte Unser Umgang mit Rohstoffen 12.04.–Museum für Urgeschichte(n) Zug Eine Sonderaus­stellung von focusTerra der ETH Zürich

Source URL: bodenschaetzewerte.ch

Network-Wide Configuration Synthesis Ahmed El-Hassany(B) , Petar Tsankov, Laurent Vanbever, and Martin Vechev ETH Z¨ urich, Z¨ urich, Switzerland

Source URL: www.vanbever.eu

• Computing
• Internet architecture
• Network architecture
• Internet
• Internet Standards
• Internet protocols
• Routing protocols
• Computer networking
• Datalog
• Open Shortest Path First
• Router
• Forwarding plane

Corporate Governance and Resilience to Financial Crisis Swiss Insurance Companies in the Interwar Period Luca Froelicher, Institute for History, ETH Zurich 1 Introduction

Source URL: www.wehc2015.org

NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev ETH Z¨urich netcomplete.ethz.ch Abstract

Source URL: www.sri.inf.ethz.ch

• Computing
• Network architecture
• Routing protocols
• Internet Standards
• Data transmission
• Internet protocols
• Internet architecture
• Computer networking
• Border Gateway Protocol
• Open Shortest Path First
• IS-IS
• Convergence

John Tang Boyland November 2013 UWM Address: Sabbatical Address: Department of Electrical Engineering ETH Zurich, CAB F 53.1

Source URL: www.cs.uwm.edu

join the puzzle! wanted: JBoss Middleware Engineer in Basel%) Anforderungen • Informatik Ingenieur ETH/FH/HTL, Informatiker (BSc, Msc) oder

Source URL: www.puzzle.ch

Identification of Sparse Linear Operators Reinhard Heckel and Helmut B¨olcskei Dept. of IT & EE, ETH Zurich, Switzerland September 2012; Revised AugustAbstract

Source URL: www.reinhardheckel.com