Which Configuration Option Should I Change? Sai Zhang Michael D. Ernst Department of Computer Science & Engineering

Source URL: zhang-sai.github.io

• Computing
• Software engineering
• Computer programming
• Debugging
• Cross-platform software
• Object-oriented programming languages
• Procedural programming languages
• Assertion
• Logic in computer science
• Configuration management
• PHP
• Program slicing

Network-wide Configuration Synthesis arXiv:1611.02537v1 [cs.NI] 8 Nov 2016 Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev ETH Z¨

Source URL: people.ee.ethz.ch

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

Which Configuration Option Should I Change? Sai Zhang, Michael D. Ernst University of Washington Presented by: Kıvanç Muşlu

Source URL: zhang-sai.github.io

• System software
• Software
• Free software
• APT
• Debian
• Dpkg
• Ubuntu
• Configuration management

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: nsg.ee.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

Automated Diagnosis of Software Configuration Errors Sai Zhang Michael D. Ernst

Source URL: zhang-sai.github.io

• Computing
• Software engineering
• SQL keywords
• Software
• Debugging
• Grammar
• Predicate
• Semantics
• Null
• Error
• Where
• Extensible Storage Engine

A MODEL FOR FRAMED CONFIGURATION SPACES OF POINTS RICARDO CAMPOS, JULIEN DUCOULOMBIER, NAJIB IDRISSI, AND THOMAS WILLWACHER Abstract. We study configuration spaces of framed points on compact manifolds. Such configuratio

Source URL: idrissi.eu

• Algebra
• Mathematics
• Topology
• Homotopy theory
• Algebraic topology
• Abstract algebra
• Category theory
• Homological algebra
• Operad theory
• Homotopy category
• Rational homotopy theory
• Homotopy

TWO PAPERS IN SUPPLY CHAIN DESIGN: SUPPLY CHAIN CONFIGURATION AND PART SELECTION IN MULTIGENERATION PRODUCTS by Sean Peter Willems B.S.E. Economics Wharton School, University of Pennsylvania, 1993

Source URL: web.mit.edu

• Supply chain management
• Business process management
• Business
• Economy
• Supply chain
• Inventory theory
• New product development
• Inventory
• Product lifecycle
• Supply-chain management

Installation and Configuration Setting client Setting server Giving permissions to users Creating user in AD importing users to Ax from AD

Source URL: www.kellytechno.com

1 POINTS IN EQUILIBRIUM Given locally finite configuration of points on the real line R, define a potential F (x, y) to be the force between two points x, y, for example

Source URL: www.wisdom.weizmann.ac.il

• Geometry
• Mathematics
• Space
• Geometric group theory
• Metric geometry
• Approximate group
• Group theory
• Metric space