Reachability

Results: 243



#Item
141Mathematics / Combinatorics / Flow network / Dynamic programming / Maximum flow problem / Graph theory / Network flow / Operations research

Specification Inference Using Context-Free Language Reachability Osbert Bastani Saswat Anand

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2015-02-24 02:42:36
142Combinatorics / Matroid / Bicircular matroid / Greedoid / Pseudoforest / Reachability / Duality / Graph / St-connectivity / Mathematics / Matroid theory / Graph theory

Complexity of Testing Reachability in Matroids

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 2014-07-14 14:10:19
143Network theory / Network flow / Graph / Shortest path problem / Tree / Reachability / Connectivity / Distance / Flow network / Graph theory / Mathematics / Theoretical computer science

A Sketch-Based Distance Oracle for Web-Scale Graphs Atish Das Sarma Sreenivas Gollapudi Marc Najork

Add to Reading List

Source URL: www.wsdm-conference.org

Language: English - Date: 2009-12-30 02:03:16
144Internet protocols / Internet standards / Graph connectivity / Reachability / IPv6 / Border Gateway Protocol / Unreachable memory / Network architecture / Internet / Computing

Partial Reachability in IPv4 and IPv6 Emile Aben RIPE NCC http://albatross.ipv6.ripe.net/demo-area/v6partial/emile-aims2012-v4v6.pdf

Add to Reading List

Source URL: www.caida.org

Language: English - Date: 2015-02-02 18:45:39
145World Wide Web / Web 2.0 / Social information processing / Social media / Identity management / Internet privacy / Facebook / Role-based access control / Reachability / Security / Computing / Access control

A Privacy Preservation Model for Facebook-Style Social Network Systems Philip W. L. Fong1 , Mohd Anwar1 , and Zhen Zhao2 1 2

Add to Reading List

Source URL: pages.cpsc.ucalgary.ca

Language: English - Date: 2014-05-28 13:47:41
146C programming language / Cross-platform software / Programming language implementation / Procedural programming languages / Punctuation / C preprocessor / Maria / Preprocessor / C / Software engineering / Computing / Computer programming

Maria Modular Reachability Analyzer for Algebraic System Nets 20 June 2003, Maria Versionby Marko M¨ akel¨

Add to Reading List

Source URL: www.tcs.hut.fi

Language: English - Date: 2003-06-20 09:11:14
147Fluent / Constraint programming / Algebra / FO / Variable / Distributed constraint optimization / Mathematics / Theoretical computer science / Logic in computer science

Fluent Merging: A General Technique to Improve Reachability Heuristics and Factored Planning Menkes van den Briel Subbarao Kambhampati

Add to Reading List

Source URL: www.menkes76.com

Language: English - Date: 2012-10-29 18:19:38
148Network theory / Graph connectivity / Reachability / R-tree / Routing / Shortest path problem / Pruning / Distributed data storage / Bx-tree / Graph theory / Mathematics / Theoretical computer science

iRoad: A Framework For Scalable Predictive Query Processing On Road Networks ∗ Abdeltawab M. Hendawi

Add to Reading List

Source URL: www-users.cs.umn.edu

Language: English - Date: 2015-04-07 01:41:51
149Internet protocols / Internet standards / Ping / Transmission Control Protocol / Computer network security / Internet Control Message Protocol / User Datagram Protocol / Traceroute / Paping / Computing / Software / Network architecture

Perl versiondocumentation - Net::Ping NAME Net::Ping - check a remote host for reachability SYNOPSIS

Add to Reading List

Source URL: perldoc.perl.org

Language: English - Date: 2014-10-03 16:02:04
150Models of computation / Diagrams / UML diagrams / Graph rewriting / State diagram / Topology / Reachability / Graph / Graph theory / Mathematics / Theoretical computer science

Topology Analysis of Car Platoons Merge with FujabaRT & TimedStoryCharts - a Case Study Christian Heinzemann1 , Julian Suck1 , Ruben Jubeh2 , Albert Z¨ undorf2 1

Add to Reading List

Source URL: www.fujaba.de

Language: English - Date: 2011-11-08 14:36:16
UPDATE