Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
1	Conflict and Computation on Wikipedia: a Finite-State Machine Analysis of Editor Interactions Add to Reading List Source URL: www.santafe.edu - Date: 2016-06-27 17:09:11
2	cs281: Introduction to Computer Systems Prelab for Lab06 – Introduction to Sequential Circuits Overview In this lab, we will learn about designing circuits that utilize memory (and a clock) in order to achieve some Add to Reading List Source URL: personal.denison.edu Language: English - Date: 2015-11-10 08:26:32 Digital electronics Electronic engineering Electronics Engineering Computer memory Digital systems Flip-flop Sequential logic Logic gate State Finite-state machine Digital signal
3	Performance Enhancement with Speculative Execution Based Parallelism for Processing Large-scale XML-based Application Data Michael R. Head Add to Reading List Source URL: www.cs.binghamton.edu Language: English - Date: 2013-07-27 18:42:38 Computing Software engineering Finite automata Compiler construction Parallel computing Analysis of parallel algorithms Speedup VTD-XML Concurrent data structure Finite-state machine Regular expression Parsing
4	Back to the Roots: Implementing the RTOS as a Specialized State Machine Christian Dietrich, Martin Hoffmann, Daniel Lohmann Department of Computer Science 4 - Distributed Systems and Operating Systems Friedrich-Alexander Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2016-07-14 16:23:27 Computer architecture Computing Software Embedded operating systems Finite automata Finite-state machine OSEK Real-time operating system Model checking Kernel Protection ring Embedded system
5	Parameterized Dataflow Scenarios Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth ES Reports ISSNESR Add to Reading List Source URL: www.es.ele.tue.nl Language: English - Date: 2015-11-16 05:46:32 Computing Computer architecture Software engineering Models of computation Computer data Dataflow Finite-state machine SIGNAL BMDFM
6	Translating SCXML Statecharts to iUML-B State-machines Karla Morris : Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-30 13:57:46 Computing SCXML Models of computation Call Control eXtensible Markup Language State diagram Formal methods Auguste Rodin B-Method Finite-state machine Rodin Linz
7	REVERSIBLE COMPUTING Tommaso Toffoli MIT Laboratory for Computer Science Add to Reading List Source URL: cqi.inf.usi.ch Language: English - Date: 2012-02-22 09:04:06 Mathematics Algebra Models of computation Functions and mappings Mathematical analysis Injective function Reversible computing Inverse element Finite-state machine Mutation Quantum circuit
8	Regular Expressions and Finite-State Automata Motivation Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-01-11 11:30:20 Formal languages Finite automata Mathematics Combinatorics Pattern matching Regular expression Finite-state machine Discrete mathematics Regular language Expression
9	Session F2C NON-DETERMINISM IN CS HIGH-SCHOOL CURRICULA Michal Armoni 1 and Judith Gal-Ezer 2 Abstract - One of the units in the relatively new high school CS curriculum which is being implemented in Israel is a Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2009-03-16 13:56:00 Finite automata Automata theory Nondeterministic finite automaton Deterministic automaton Theoretical computer science Finite-state machine Deterministic finite automaton Computability Regular language NP Muller automaton Bchi automaton
10	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:53 Finite automata Timed automaton Logic in computer science Automated planning and scheduling Fluent Finite-state machine Theoretical computer science Planning Domain Definition Language Models of computation