I O Automaton - PDFSEARCH.IO - Document Search Engine

I O Automaton
Results: 12

#	Item
1	The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD Add to Reading List Source URL: langsec.org Language: English - Date: 2011-12-01 04:10:13 Computability theory Models of computation Turing machine Theory of computation Turing completeness Halting problem Universal Turing machine Parsing Deterministic pushdown automaton Theoretical computer science Computer science Applied mathematics
2	The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD Add to Reading List Source URL: static.usenix.org Language: English - Date: 2011-11-23 16:29:49 Computability theory Models of computation Turing machine Theory of computation Turing completeness Halting problem Universal Turing machine Parsing Deterministic pushdown automaton Theoretical computer science Computer science Applied mathematics
3	Reducing the size of NFAs by using equivalences and preorders L UCIAN I LIE ROBERTO S OLIS -O BA Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2005-07-08 16:23:57 Applied mathematics Nondeterministic finite automaton Regular expression Deterministic finite automaton Regular language Preorder Generalized nondeterministic finite automaton ReDoS Automata theory Theoretical computer science Computer science
4	software construction Editors: Andy Hunt and Dave Thomas ■ The Pragmatic Programmers a n d y @ p r a g m a t i c p r o g r a m m e r. c o m ■ d a v e @ p r a g m a t i c p r o g r a m m e r. c o m State Machines Dave Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2007-10-31 17:44:24 Theoretical computer science Computer science Finite-state machine Deterministic finite automaton State diagram State transition table State transition system Models of computation Theory of computation Automata theory
5	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
6	On the Application of Formal Methods for Specifying and Verifying Distributed Protocols Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2008-05-27 20:54:36 Computer science I/O Automaton Consensus Algorithm Büchi automaton Automata theory Computing Theoretical computer science
7	On the Automated Implementation of Time-based Paxos Using the IOA Compiler ∗ Chryssis Georgiou† Procopis Hadjiprocopiou‡ Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2010-09-22 05:54:39 Programming language theory Fault-tolerant computer systems Models of computation ALGOL 68 Consensus I/O Automaton Finite-state machine Computing Software engineering Automata theory
8	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
9	Vis Comput[removed]: 67–81 DOI[removed]s00371[removed]O R I G I N A L A RT I C L E GPGPU computation and visualization of three-dimensional Add to Reading List Source URL: www.geo.uzh.ch Language: English - Date: 2011-02-09 05:41:19 Computer graphics Graphics hardware 3D imaging Computational science Volume rendering GPGPU Rendering Graphics processing unit Cellular automaton Computing Imaging 3D computer graphics
10	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

UPDATE