Tobias

Results: 2429



#Item
1Internet architecture / Computing / Network architecture / Information and communications technology / Computer networking / Routing / Internet Standards / Networking hardware / Router / Forwarding plane / Multiprotocol Label Switching / NetFlow

Stroboscope: Declarative Network Monitoring on a Budget https://stroboscope.ethz.ch Olivier Tilmans Tobias Bühler Ingmar Poese

Add to Reading List

Source URL: nsg.ee.ethz.ch

Language: English - Date: 2018-02-25 19:48:09
2Computing / Internet architecture / Information and communications technology / Computer networking / NetFlow / Data transmission / Port mirroring / Router

Stroboscope: Declarative Network Monitoring on a Budget † ‡ § * Olivier Tilmans , Tobias Bühler , Ingmar Poese , Stefano Vissicchio

Add to Reading List

Source URL: stroboscope.ethz.ch

Language: English - Date: 2018-04-09 16:37:14
3Computer programming / Software engineering / Computing / Fold / Recursion / LaTeX

LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2018-08-15 07:19:25
4Internet architecture / Computing / Network architecture / Information and communications technology / Computer networking / Routing / Internet Standards / Networking hardware / Router / Forwarding plane / Multiprotocol Label Switching / NetFlow

Stroboscope: Declarative Network Monitoring on a Budget https://stroboscope.ethz.ch Olivier Tilmans Tobias Bühler Ingmar Poese

Add to Reading List

Source URL: www0.cs.ucl.ac.uk

Language: English - Date: 2018-03-05 06:59:18
5Computing / Information and communications technology / Network architecture / Internet architecture / Internet Standards / Routing protocols / Computer networking / Network protocols / Computer network / Network switch / Port mirroring / NetFlow

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: www0.cs.ucl.ac.uk

Language: English - Date: 2016-11-17 12:53:02
6Type theory / Theoretical computer science / Proof assistants / Mathematical logic / Programming language theory / Formal methods / Lambda calculus / Logic in computer science / Isabelle / HOL / HindleyMilner type system / Automated theorem proving

Tobias Nipkow Programming and Proving in Isabelle/HOL le l

Add to Reading List

Source URL: mirror.clarkson.edu

Language: English - Date: 2018-08-15 07:19:23
7Mathematics / Logic / Mathematical logic / Recursion / Theoretical computer science / Mathematical proofs / Type theory / Mathematical induction / Structural induction / Recursive definition / Automated theorem proving / Natural deduction

Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2018-08-15 07:19:42
8

Pycket: A Tracing JIT For a Functional Language Spenser Bauman a Carl Friedrich Bolz b Robert Hirschfeld c Vasily Kirilichev c Tobias Pape c

Add to Reading List

Source URL: homes.sice.indiana.edu

Language: English - Date: 2015-05-11 18:45:51
    9Computer programming / Software engineering / Computing / Fold / Recursion / LaTeX

    LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based

    Add to Reading List

    Source URL: isabelle.in.tum.de

    Language: English - Date: 2018-08-15 07:19:25
    10Type theory / Theoretical computer science / Proof assistants / Mathematical logic / Programming language theory / Formal methods / Lambda calculus / Logic in computer science / Isabelle / HOL / HindleyMilner type system / Automated theorem proving

    Tobias Nipkow Programming and Proving in Isabelle/HOL le l

    Add to Reading List

    Source URL: www.cl.cam.ac.uk

    Language: English - Date: 2018-08-15 07:19:23
    UPDATE