Buchi - PDFSEARCH.IO - Document Search Engine

Buchi
Results: 132

#	Item
101	Sequential Synthesis with Co-Büchi Specifications Guoqiang Wang, Alan Mishchenko, Robert Brayton, and Alberto Sangiovanni-Vincentelli EECS Dept. University of California Berkeley, California, 94720, USA {geraldw, alanmi Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-10-02 15:04:33 Büchi automaton Muller automaton Ω-automaton Finite-state machine Powerset construction Nondeterministic finite automaton Generalized Büchi automaton Automata theory Theoretical computer science Computer science
102	Analysis of Recursive State Machines RAJEEV ALUR University of Pennsylvania MICHAEL BENEDIKT Bell Laboratories KOUSHA ETESSAMI Add to Reading List Source URL: cm.bell-labs.com Language: English - Date: 2005-08-18 15:37:21 Formal methods Computer science Büchi automaton State diagram Finite-state machine Model theory Stack Models of computation Automata theory Theoretical computer science
103	Computability Theory for Neuroscience by Doug Rubino Abstract Neuronal circuits are ubiquitously held to be the substrate of computation in the brain, information processing in single neurons is though of in terms of enc Add to Reading List Source URL: www.isn.ucsd.edu Language: English - Date: 2008-03-26 15:55:05 Automata theory Computer science Computability theory Turing machine Computability Dynamical system Büchi automaton Theory of computation Theoretical computer science Models of computation
104	Microsoft PowerPoint - HERNAN BUCHI.pptx Add to Reading List Source URL: www.sna.cl Language: Spanish - Date: 2011-11-28 08:02:26
105	buchi COMMOC E&Y EL Techno Inc. FIVE - GOKAYAMA TOYAMA JAPAN ICHIRO ISHINOMAKI LABORATORY Add to Reading List Source URL: www.jetro.go.jp Language: English - Date: 2013-09-19 03:47:34
106	A Framework for Formally Verifying Software Transactional Memory Algorithms Mohsen Lesani1 , Victor Luchangco2, and Mark Moir2 1 University of California, Los Angeles, USA Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2012-07-13 22:02:23 Theoretical computer science Computer science Finite-state machine Cellular automata Algorithm Learning automata Büchi automaton Automata theory Models of computation Applied mathematics
107	Riciclo galattico, stelle nascenti e buchi neri Add to Reading List Source URL: www.sissa.it Language: Italian - Date: 2014-05-28 05:14:33
108	Symposium on Theoretical Aspects of Computer Science[removed]Bordeaux), pp[removed]www.stacs-conf.org EFFICIENT MINIMIZATION OF DFAS WITH PARTIAL TRANSITION FUNCTIONS ANTTI VALMARI Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2008-02-05 08:15:37 DFA minimization Nondeterministic finite automaton Symbol Mathematics Computing Logic Büchi automaton Automata theory Models of computation Deterministic finite automaton
109	An Introduction to Input/Output Automata Nancy A. Lynch and Mark R. Tuttle Massachusetts Institute of Technology Cambridge, Mass[removed]November 18, 1988 Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Distributed computing I/O Automaton Computing Computer science Finite-state machine Automaton Büchi automaton Automata theory Models of computation Theoretical computer science
110	Time-Constrained Automata (Extended Abstract) Michael Merritt AT&T Bell Laboratories Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Computer science Software engineering Computing Büchi automaton Automata theory Models of computation Finite-state machine

UPDATE