Eth - PDFSEARCH.IO - Document Search Engine

Eth
Results: 5040

#	Item
31	InsFtute of Molecular Systems Biology   Accelerating 3D Protein Modeling Using Cloud Computing   Lars Malmström, Ruedi Aebersold – ETH Zürich, IMSB h?p://www.imsb.ethz.ch  Wibke Sud Add to Reading List Source URL: www.cloudbroker.com Language: English - Date: 2011-06-23 06:55:42 Cloud infrastructure IBM cloud computing Computing Cloud computing
32	Learning to Decipher the Heap for Program Verification Marc Brockschmidt1 , Yuxin Chen2 , Byron Cook3 , Pushmeet Kohli1 , Daniel Tarlow1 1 Microsoft Research 2 ETH Zurich 3 University College London Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2016-06-04 11:31:07 Data types Computing Theoretical computer science Software engineering Heap Tree Separation logic Variable Parse tree Logic programming Linked list
33	Network-wide Configuration Synthesis arXiv:1611.02537v1 [cs.NI] 8 Nov 2016 Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev ETH Z¨ Add to Reading List Source URL: people.ee.ethz.ch Language: English - Date: 2017-02-01 15:47:48 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
34	NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH Zürich Add to Reading List Source URL: vanbever.eu Language: English Internet architecture Computing Network architecture Routing Information and communications technology Computer networking Internet protocols Traceroute Hop Network topology Forwarding plane Computer network
35	Mille-Feuille: Putting ISP traffic under the scalpel Olivier Tilmans ‡∗, Tobias Bühler §, Stefano Vissicchio †, Laurent Vanbever § ‡ Université catholique de Louvain, § ETH Zürich, † University College Lo Add to Reading List Source URL: stroboscope.ethz.ch Language: English - Date: 2017-01-10 12:58:12 Computing Information and communications technology Network architecture Internet architecture Internet Standards Routing protocols Computer networking Network protocols Computer network Network switch Port mirroring NetFlow
36	Three Bits Suffice: Explicit Support for Passive Measurement of Internet Latency in QUIC and TCP Piet De Vaere, Tobias Bühler, Mirja Kühlewind, and Brian Trammell ETH Zurich, Switzerland ABSTRACT Add to Reading List Source URL: nsg.ee.ethz.ch Language: English - Date: 2018-09-17 09:36:15 Data transmission Computing Computer networking Network performance Internet protocols Information and communications technology QUIC Round-trip delay time Transmission Control Protocol Packet loss Transport layer Latency
37	Symbolic Music Genre Transfer with CycleGAN Gino Brunner, Yuyi Wang, Roger Wattenhofer and Sumu Zhao* Department of Information Technology and Electrical Engineering ETH Z¨urich Switzerland brunnegi,yuwang,wattenhofer,s Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-09-17 07:11:23 Music Computer music Learning Artificial intelligence Unsupervised learning Machine learning Cognitive science Generative adversarial network Generative model Artificial neural network Synthesizer Algorithmic composition
38	NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev ETH Z¨urich netcomplete.ethz.ch Abstract Add to Reading List Source URL: nsg.ee.ethz.ch Language: English - Date: 2018-02-25 19:48:09 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
39	InsFtute of Molecular Systems Biology   Accelerating 3D Protein Modeling Using Cloud Computing   Lars Malmström, Ruedi Aebersold – ETH Zürich, IMSB h?p://www.imsb.ethz.ch  Wibke Sud Add to Reading List Source URL: cloudbroker.com Language: English - Date: 2011-09-20 05:40:42 Cloud infrastructure IBM cloud computing Computing Cloud computing
40	PHOG: Probabilistic Model for Code Pavol Bielik, Veselin Raychev, Martin Vechev Software Reliability Lab Department of Computer Science ETH Zurich Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:57:47 Async/await Control flow Stan Symposium on Principles of Programming Languages Phog Machine learning Futures and promises PL Probability and statistics Computing Software engineering