Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
101	Security Applications of Formal Language Theory Dartmouth Computer Science Technical Report TR2011-709 Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina Add to Reading List Source URL: langsec.org Language: English - Date: 2011-12-01 11:57:54 Mathematics Deterministic pushdown automaton Parsing Computability Context-free grammar Context-free language Formal grammar Finite-state machine Recursive language Formal languages Theoretical computer science Theory of computation
102	The finite state automaton based pipeline hazard recognizer and instruction scheduler in GCC Vladimir N. Makarov Red Hat Add to Reading List Source URL: gcc.cybermirror.org Language: English - Date: 2004-08-29 18:00:00 Central processing unit Classes of computers Parallel computing Models of computation Hazard Superscalar Instruction set Register renaming Reduced instruction set computing Computer architecture Computing Computer engineering
103	Video Instructions on Youtube: Paper Mario Brothers Automaton ka mi Add to Reading List Source URL: www.kamibox.de - Date: 2012-07-23 14:45:36
104	High Performance Computing II Lecture 35 Topic 6: Cellular Automaton Methods – Continued The Lattice Boltzmann Equation in the Bhatnagar-Gross-Krook approximation is Add to Reading List Source URL: www.physics.buffalo.edu Language: English - Date: 2014-03-25 12:14:08
105	Logic and Automata, Homework 2 • (2 marks) Write an MSO formula φ(X1 , . . . , Xn ) saying that a run of an automaton over ωwords given by X1 , . . . , Xn (i.e., Xi is the set of positions in which the run in the st Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2010-11-04 11:16:27
106	High Performance Computing II Lecture 33 Topic 6: Cellular Automaton Methods One of the first Cellular Automaton models was John von Neumann’s self-reproducing Add to Reading List Source URL: www.physics.buffalo.edu Language: English - Date: 2014-03-25 12:14:08
107	CV Filip Murlak Contact data address University of Warsaw, Faculty of Mathematics, Informatics, and Mechanics Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2013-05-22 15:22:06 Computer science International Colloquium on Automata Languages and Programming Symposium on Theoretical Aspects of Computer Science Tree automaton Finite-state machine Formal language Hierarchy Automata theory Theoretical computer science Applied mathematics
108	The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD Add to Reading List Source URL: static.usenix.org Language: English - Date: 2011-11-23 16:29:49 Computability theory Models of computation Turing machine Theory of computation Turing completeness Halting problem Universal Turing machine Parsing Deterministic pushdown automaton Theoretical computer science Computer science Applied mathematics
109	International Journal of Unconventional Computing Non-classical computation and cellular automata http://www.oldcitypublishing.com/IJUC/IJUC.html EDITOR IN CHIEF Add to Reading List Source URL: www.oldcitypublishing.com Language: English - Date: 2012-06-13 12:08:36 Bibliography Cellular automaton TeX Citation Computer Ferdinand Peper Peer review Unconventional computing Actor model Computing Publishing Knowledge
110	BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-07 08:27:59 Theoretical computer science Applied mathematics Models of computation Regular language Nondeterministic finite automaton Model checking Permutation Structure Büchi automaton Automata theory Formal languages Mathematics

UPDATE