Automata - PDFSEARCH.IO - Document Search Engine

Automata
Results: 1989

#	Item
541	A Pattern-Based Approach to Parametric Specification Mining Giles Reger , Howard Barringer, David Rydeheard University of Manchester Abstract—This paper presents a technique for using execution Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2013-09-02 06:11:57 Automata theory Formal languages Logic in computer science Runtime verification Design Finite-state machine Regular expression C Sharp Pattern Computing Software engineering Theoretical computer science
542	MASSACHUSETTS INSTITUTE OF TECHNOLOGY DEPARTMENT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCEComputation Structures Spring 2004 Quiz #2: March 12, 2004 Name Add to Reading List Source URL: 6004.csail.mit.edu Language: English - Date: 2012-01-17 10:22:28 Automata theory Electromagnetism Computer memory Flip-flop Finite-state machine Logic gate Sequential logic Multivibrator Contamination delay Digital electronics Electronic engineering Electronics
543	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
544	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. XX, NO. Y, YEAR 100 Inference of Message Sequence Charts Rajeev Alur, Kousha Etessami, Mihalis Yannakakis Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-06-22 11:47:16 Microsoft Cluster Server Message Sequence Chart Mathematics Computing Applied mathematics Formal languages Automata theory Model theory
545	MASSACHUSETTS INSTITUTE OF TECHNOLOGY DEPARTMENT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCEComputation Structures Fall 2008 Quiz #2: October 10, 2008 Name Add to Reading List Source URL: 6004.csail.mit.edu Language: English - Date: 2012-01-17 10:22:27 Electronic engineering Automata theory Finite-state machine Electronics Throughput Flip-flop State diagram State Models of computation Digital electronics Theoretical computer science
546	Regular Expressions with Binding over Data Words for Querying Graph Databases Leonid Libkin1 , Tony Tan2 , and Domagoj Vrgoˇc3 1 2 Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Automata theory Applied mathematics Regular expression FO Structure Formal languages Mathematics Theoretical computer science
547	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
548	Decision Problems for Additive Regular Functions Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-04-29 09:21:06 Mathematics Models of computation Metalogic Structure Universal algebra FO Model theory String Symbol Automata theory Theoretical computer science Formal languages
549	THE COMPLEXITY OF THE FIRST-ORDER THEORY OF GROUND TREE REWRITE GRAPHS ¨ STEFAN GOLLER AND MARKUS LOHREY Universit¨at Bremen, Germany Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2014-06-19 07:22:27 Formal languages Automata theory Tree decomposition Graph Tree Structure Rewriting Binary tree Matching Mathematics Graph theory Theoretical computer science
550	BRICS Basic Research in Computer Science BRICS RST. S. Hune: Modeling a Language for Embedded Systems in Timed Automata Modeling a Language for Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-08-04 07:20:49 Embedded system RCX Electronics Robot kits Lego Mindstorms Robotics

UPDATE