Reachability - PDFSEARCH.IO - Document Search Engine

Reachability
Results: 243

#	Item
231	Reducing the Wrapping Effect in Flowpipe Construction using Pseudo-Invariants (Work in Progress) Stanley Bak [removed] United States Air Force Research Lab - Information Directorate - Rome, NY, USA Add to Reading List Source URL: stanleybak.com Language: English - Date: 2014-04-14 22:54:28 Automata theory Systems theory Science Dynamical systems Hybrid automaton Hybrid system Invariant Reachability State space Control theory Differential equations Mathematics
232	Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, and Petey Aldous University of Utah Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-03-23 14:11:52 Smartphones Embedded Linux Formal languages Malware Model theory Dalvik Pointer analysis Data-flow analysis String Computing Software Android
233	Interprocedural Dependence Analysis of Higher-Order Programs via Stack-Reachability Matthew Might, Tarun Prabhu University of Utah Add to Reading List Source URL: matt.might.net - Date: 2014-01-06 09:40:14
234	Interprocedural Dependence Analysis of Higher-Order Programs via Stack Reachability Matthew Might Tarun Prabhu Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:14 Model theory Structure String Linguistics Logic Mathematics Character encoding Metalogic
235	Backward Induction is PTIME-complete Jakub Szymanik∗ Institute of Logic Language and Computation, University of Amsterdam [removed] Abstract. We prove that the computational problem of finding backward induc Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-07-13 09:14:28 Complexity classes Finite model theory Graph connectivity Game theory FO Reachability P Extensive-form game Tree Theoretical computer science Graph theory Mathematics
236	Using the Karp-Miller Tree Construction to Analyse Concurrent Finite-State Programs Haoxian Zhao Kellogg College Add to Reading List Source URL: www.cprover.org Language: English - Date: 2009-10-06 05:27:24 Thread Model checking Distributed computing Reachability Deadlock Computer programming Software engineering Computing Concurrency Concurrent computing
237	Scaling Link-Based Similarity Search∗ Daniel ´ Fogaras Balazs Add to Reading List Source URL: www2005.org Language: English - Date: 2005-03-31 08:54:11 Information retrieval SimRank Graph connectivity PageRank Randomized algorithm Reachability Connectivity Graph Distance Graph theory Theoretical computer science Mathematics
238	[removed]Basic definitions Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:23 Metalogic Saturated model Structure Second-order logic FO Beth definability Compactness theorem Graph Reachability Mathematics Mathematical logic Model theory
239	THE REACHABILITY CONES OF ESSENTIALLY NONNEGATIVE MATRICES by Add to Reading List Source URL: www.math.wsu.edu Language: English - Date: 2001-08-08 12:01:06 Von Neumann algebras Meijer G-function Hankel transform
240	On the numerical characterization of the reachability cone for an essentially nonnegative matrix Add to Reading List Source URL: www.math.wsu.edu Language: English - Date: 2011-04-01 16:11:20 Support Representation theory of Lie groups Spectral theory Functional analysis Spectral theory of ordinary differential equations Perron–Frobenius theorem Mathematical analysis Mathematics Measure theory

UPDATE