Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
511	Synthesizing Structured Reactive Programs via Deterministic Tree Automata Benedikt Br¨utsch RWTH Aachen University, Lehrstuhl f¨ur Informatik 7, Germany [removed] Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-05-15 08:25:21 Applied mathematics Ω-automaton Algorithm Tree automaton Finite-state machine Automata theory Theoretical computer science Computer science
512	Learning Universally Quantified Invariants of Linear Data Structures Pranav Garg1 , Christof L¨oding2 , P. Madhusudan1 , and Daniel Neider2 1 University of Illinois at Urbana-Champaign Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-08-07 05:31:08 Automata theory Models of computation Logic in computer science Formal methods Computability theory Satisfiability Modulo Theories Lookup table Deterministic finite automaton Decision problem Theoretical computer science Applied mathematics Mathematics
513	Aachen Department of Computer Science Technical Report Languages of Infinite Traces and Deterministic Asynchronous Automata Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-02-18 06:46:59 Ω-automaton Representation theory of finite groups Automata theory Symbol Muller automaton
514	Improving the Capabilities of JFLAP Creating Effective User Interfaces in Learning for Theoretical Computer Science Ian C. McMahon Computer Science Department Duke University Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2014-06-16 14:48:07 Theoretical computer science Computer science Finite-state machine Deterministic finite automaton Nondeterministic finite automaton Deterministic pushdown automaton Turing machine Mealy machine Algorithm Models of computation Theory of computation Automata theory
515	4-5 Nanoelectronics Architectures Ferdinand Peper, LEE Jia, ADACHI Susumu, ISOKAWA Teijiro, TAKADA Yousuke, MATSUI Nobuyuki, and MASHIKO Shinro The ongoing miniaturization of electronics will eventually lead to logic dev Add to Reading List Source URL: www.nict.go.jp Language: English - Date: 2013-11-21 18:53:45 Automata theory Asynchronous cellular automaton Nanocircuitry Digital electronics Mathematics Electronics Theory of computation Block cellular automaton Cellular neural network Cellular automata Ferdinand Peper Cellular automaton
516	A Topological Perspective on Diagnosis Andreas Bauer, ANU, Australia Abstract— We propose a topological perspective on the diagnosis problem for discrete-event systems. In an infinitary framework, we argue that the con Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2008-05-27 22:19:01 Applied mathematics Büchi automaton Muller automaton Omega language Deterministic finite automaton Regular language Nondeterministic finite automaton Formal language Ω-automaton Automata theory Theoretical computer science Computer science
517	IAENG International Journal of Computer Science, 36:2, IJCS_36_2_05 ______________________________________________________________________________________ Finite Automata Approach to Computing All Seeds of Strings with t Add to Reading List Source URL: www.iaeng.org Language: English - Date: 2009-05-20 16:44:06 Theoretical computer science Mathematics Coding theory Discrete mathematics Nondeterministic finite automaton Levenshtein distance Hamming distance String Finite state transducer Automata theory Formal languages Models of computation
518	Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou Nancy Lynch Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2005-11-11 05:43:22 Spanning tree Computer programming Models of computation Message Passing Interface Parallel computing Algorithm I/O Automaton Model checking Finite-state machine Computing Automata theory Theoretical computer science
519	Zélus: A Synchronous Language with ODEs Tool Paper Timothy Bourke Marc Pouzet Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-03-11 04:19:54 Software engineering Visual programming languages Differential equations Models of computation Mathematical modeling Stateflow Hybrid automaton Modelica Simulink Computing Mathematics Automata theory
520	Microsoft Word - JOC24-3-2.doc Add to Reading List Source URL: www.csroc.org.tw Language: English - Date: 2014-05-27 10:49:49 Theoretical computer science Computer science Software engineering Formal languages String searching algorithm Deterministic finite automaton Boyer–Moore–Horspool algorithm Finite-state machine Aho–Corasick string matching algorithm Automata theory Models of computation String matching algorithms

UPDATE