Automata - PDFSEARCH.IO - Document Search Engine

Automata
Results: 1989

#	Item
831	Parameterized Verification of Communicating Automata under Context Bounds Benedikt Bollig1 , Paul Gastin1 , and Jana Schubert2 1 LSV, ENS Cachan & CNRS {bollig,gastin}@lsv.ens-cachan.fr Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-09-19 10:50:53 Ω-automaton Automata theory Tree automaton Nondeterministic finite automaton
832	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:03 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
833	Analog Logic Automata Kailiang Chen1, Jonathan Leu2, and Neil Gershenfeld1 1 2 Add to Reading List Source URL: www.cba.mit.edu Language: English - Date: 2011-12-13 18:32:02 Integrated circuits Electronic design Digital electronics Digital signal processing Field-programmable gate array Electronic circuit Logic gate Clock signal Field-programmable analog array Electronic engineering Electronics Electromagnetism
834	CCCG 2010, Winnipeg MB, August 9–11, 2010 Minimum Enclosing Area Triangle with a Fixed Angle Prosenjit Bose∗ Abstract Add to Reading List Source URL: cccg.ca Language: English - Date: 2010-07-19 10:46:18 Ordinal numbers Automata theory Differential geometry Mathematics Connection Fiber bundles
835	On Invertible Three Neighborhood Null-Boundary Uniform Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-03-26 17:18:16 Invertible matrix Algebra Mathematics Cellular automaton
836	Reversibility in Asynchronous Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-06-19 13:03:42 Reversible cellular automaton Block cellular automaton Cellular automata Cellular automaton Elementary cellular automaton
837	1 Research Summary The primary focus of my research is to develop formal methods and tools which support the modeling and automated analysis of complex computational systems, including software systems, Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:12:54 Science Automata theory Formal methods Concurrent computing Scientific modeling Model checking Unified Modeling Language Finite-state machine Modeling language Computing Theoretical computer science Models of computation
838	Two-dimensional Totalistic Code 52 Todd Rowland Senior Research Associate, Wolfram Research, Inc. 100 Trade Center Drive, Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:04 Science Mathematics Cellular automaton Turing machine Elementary cellular automaton Rule 90 A New Kind of Science Rule 110 Stephen Wolfram Cellular automata Wolfram Research Theory of computation
839	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:37 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction
840	Cellular Automata Complexity Threshold and Classification: A Geometric Perspective Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2015-03-31 16:26:38 Perceptron Cellular automaton Complexity Physics Separability Euclidean vector Mathematics Neural networks Science

UPDATE