Reachability - PDFSEARCH.IO - Document Search Engine

Reachability
Results: 243

#	Item
101	4th Workshop on Reachability Problems Brno 28th August 2010 Behavioral Cartography of Timed Automata Add to Reading List Source URL: lipn.univ-paris13.fr Language: English - Date: 2010-12-09 19:29:08
102	Reachability in Pushdown Register Automata Andrzej Murawski University of Warwick Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2014-09-03 05:19:58
103	The Query-flow Graph: Model and Applications Paolo Boldi1∗ Debora Donato2 Add to Reading List Source URL: www.francescobonchi.com Language: English - Date: 2011-01-16 14:09:13 Search algorithms Information science Information retrieval Internet search Web search query Reachability Query expansion Theoretical computer science Query optimization Web query classification
104	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: shuying.me Language: English
105	Functional Reachability Luke Ong Nikos Tzevelekos Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2010-10-28 13:06:05
106	Precise Interprocedural Dataflow Analysis via Graph Reachability Thomas Reps,† Susan Horwitz,† and Mooly Sagiv†, ‡ University of Wisconsin Abstract The paper shows how a large class of interprocedural dataflow-an Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2001-09-10 19:06:42
107	Petri Nets and Matrix Graph Grammars: Reachability Pedro Pablo P´erez Velasco, Juan de Lara Escuela Polit´ecnica Superior (Universidad Aut´onoma de Madrid) , Abstract. This paper contr Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2012-01-04 17:47:39
108	PDF Document Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-19 17:14:58 Algebra Mathematics Complexity classes Vectors Theory of computation Diagrams Petri net Reachability P FO Vector space Euclidean vector
109	Scribe Notes: Game Theory in Formal Verification, Krishnendu Chatterjee Lecture 2 Heinrich Moser, March 12, 2010 Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2010-03-12 05:03:34 Entailment Logical consequence Metalogic Philosophical logic Partition Reachability Schedule FO Logic Mathematics Deduction
110	1 Graph Reachability and Pebble Automata over Infinite Alphabets Tony Tan Hasselt University and Transnational University of Limburg Let D denote an infinite alphabet – a set that consists of infinitely many symbols. Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34