Å

Results: 2421584



#Item
1Computing / Information and communications technology / Computer network security / Data transmission / Network architecture / Computer networking / Internet architecture / Networking hardware / OpenFlow / Open vSwitch / Middlebox / Forwarding information base

SoftFlow: A Middlebox Architecture for Open vSwitch Ethan J. Jackson, University of California, Berkeley; Melvin Walls, Penn State Harrisburg and University of California, Berkeley; Aurojit Panda, University of Californi

Add to Reading List

Source URL: www.usenix.org

Language: English - Date: 2016-06-22 03:22:28
2Democracy / Motion / Minutes / Mississippi / United States

Mississippi Autism Board April 1, 2016 4:00pm 401 Mississippi Street Jackson, MSMINUTES A special meeting of the Mississippi Autism Board (“Board”) was called to order on

Add to Reading List

Source URL: sos.ms.gov

Language: English - Date: 2016-05-18 16:50:16
3I1 / Garbage collection

A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2017-09-19 11:02:58
4Automated theorem proving / Concolic testing / Software testing / Equations / Z3 / Solver / Equation solving / Mathematics / Abstraction / Software engineering

DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop

Add to Reading List

Source URL: www.react.uni-saarland.de

Language: English - Date: 2017-08-02 04:54:12
5

Reactive Vega: A Streaming Dataflow Architecture for Declarative Interactive Visualization Arvind Satyanarayan, Ryan Russell, Jane Hoffswell, and Jeffrey Heer Internal External

Add to Reading List

Source URL: idl.cs.washington.edu

Language: English
    6Mathematics / Probabilistically checkable proof / IP / Algebra / Creativity

    COSC 544 Probabilistic Proof SystemsGGPR: A Linear PCP Of Size |F|O(S) Lecturer: Justin Thaler

    Add to Reading List

    Source URL: people.cs.georgetown.edu

    Language: English - Date: 2017-11-02 08:56:25
    7Elections / Voting / Politics / Group decision-making / Provisional ballot / Absentee ballot / Ballot / United States election voting controversies / Postal voting

    Election Myth Busters 1. Fiction Absentee ballots are only counted in close elections. Fact All validly cast absentee ballots are counted, regardless of the closeness of a race. They are the first ballots counted on Elec

    Add to Reading List

    Source URL: boe.hamilton-co.org

    Language: English - Date: 2018-10-15 18:18:27
    8Types of insurance / Economy / Finance / Money / Life insurance / Insurance / Insurance industry / Term life insurance

    11 OctNotice on Extended Term Insurance Refund Arrangement To ensure continuing protection for our customers, some of our life insurance policies will become Extended Term Insurance if a premium is not paid when d

    Add to Reading List

    Source URL: www.hsbc.com.mo

    Language: English - Date: 2017-10-09 05:34:06
    9Computer network security / Computing / Multi-agent systems / Spamming / Cybercrime / Cyberwarfare / Malware / Botnet / Intrusion detection system

    A Study of Botnets: Systemization of Knowledge and Correlation-based Detection By Shehar Bano

    Add to Reading List

    Source URL: sheharbano.com

    Language: English - Date: 2017-02-16 07:58:18
    10Algebra / Mathematics / Convex geometry / Linear algebra / Convex analysis / Convex cone / Abstract interpretation / Octahedron / Polyhedron / Linear programming / Linear inequality / Convex set

    Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3

    Add to Reading List

    Source URL: repository.ist.ac.at

    Language: English - Date: 2018-02-08 07:01:31
    UPDATE