Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
541	Data Structures in Coco/R Hanspeter Mössenböck Johannes Kepler University Linz Institute of System Software April 2005 This technical note describes the data structures in the C# and Java implementations Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2005-04-26 10:03:24 Formal languages Computer science Pattern matching Universal identifiers Nondeterministic finite automaton Deterministic automaton Terminal and nonterminal symbols Deterministic finite automaton International Article Number Automata theory Models of computation Theoretical computer science
542	Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou† Dept. of Computer Science University of Cyprus Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2008-11-27 02:42:43 Computer science Tree automaton I/O Automaton Finite-state machine Message Passing Interface Model checking Automata theory Computing Theoretical computer science
543	Czech Technical University in Prague Faculty of Electrical Engineering Department of Computer Science and Engineering Two-dimensional Pattern Matching Using Automata Approach by Add to Reading List Source URL: www.stringology.org Language: English - Date: 2010-12-27 13:17:17 Applied mathematics Mathematics Cellular automaton Approximate string matching Pattern Compressed pattern matching String searching algorithm Conference on Implementation and Application of Automata Trie Pattern matching Automata theory Theoretical computer science
544	Self-Reproduction Lecture Notes. Marvin Minsky, Nov. 18, 2003 Add to Reading List Source URL: cba.mit.edu Language: English - Date: 2011-12-13 18:50:13 Computer virus Cultural anthropology Computability theory Models of computation Virus Cellular automaton Meme Brain John von Neumann Science Mathematics Cognition
545	Microsoft Word - Children's book Final.doc Add to Reading List Source URL: www.iguana-robotics.com Language: English - Date: 2012-05-09 01:45:35 Talos Player Project HERO Greek mythology Control engineering Robot Technology Automaton
546	Monitoring of real-time properties Andreas Bauer, Martin Leucker, and Christian Schallhart Institut f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. This paper presents a construction for runtime monitors t Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:28 Formal methods Computer science Linear temporal logic Deterministic finite automaton Nondeterministic finite automaton Symbol Model theory Automata theory Models of computation Theoretical computer science
547	Implementing Asynchronous Distributed Systems Using the IOA Toolkit Chryssis Georgiou 1 , Panayiotis P. Mavrommatis2 , Joshua A. Tauber2 1 2 Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2007-11-27 05:21:59 Automata theory C++ Message Passing Interface Parallel computing ALGOL 68 Tree automaton C++ classes Computing Computer programming Software engineering
548	Rennard Implementation of Logical Functions in the Game of Life Jean-Philippe Rennard [removed] Add to Reading List Source URL: www.rennard.org Language: English - Date: 2014-07-28 10:11:03 Logic gates Gun Speed of light Cellular automaton Spaceship AND gate Boolean algebra Cellular automata Mathematics Glider
549	Efficient Solutions for the Complement of wwR and the Complement of ww Allaoua Refoufi Computer Science Department University of Sétif Algéria Add to Reading List Source URL: dline.info Language: English - Date: 2015-01-12 10:33:13 Theoretical computer science Formal languages Computer science Pushdown automaton Deterministic pushdown automaton Nondeterministic finite automaton Deterministic finite automaton Stack Chomsky hierarchy Automata theory Theory of computation Models of computation
550	Essay 6 Artificial Darwinism: The Very Idea!∗ Barry McMullin Add to Reading List Source URL: www.eeng.dcu.ie Language: English - Date: 1997-11-25 10:20:07 Computability theory Models of computation Alan Turing Turing machine Theoretical computer science John von Neumann Universal Turing machine Abstract machine Cellular automaton Mathematics Science Computer science

UPDATE