Kürzlich aktualisierte Kanäle

Wählen, um nur diesen Kanal zu sehenAlle Kanäle →
20VC with Harry Stebbingsgestern +173JSJane Streetgestern +119AI Engineergestern +1硅谷101vorgesternMBMatthew Bermanvor 3 Tagen +111PragerUvor 3 TagenY Combinatorvor 3 Tagena16zvor 4 Tagen +1SemiAnalysisvor 4 TagenGOTO Conferencesvor 4 Tagen

Ergebnisse

1 Artikel
Sortieren
ThemaSoftware engineeringPersonArjun GuhaStimmen3 oder mehr
5 Folien59:14EN
JSJane Street· 15. März 2017Arjun Guha on Verifying System ConfigurationsArjun Guha · UMass AmherstPuppet manifests can be declarative yet nondeterministic or non-idempotent. A verification tool models resource interactions to find those problems.Software engineeringCode review & verificationProgramming Languages