I O Automaton

Results: 12



#Item
1The 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

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
2The 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

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
3Reducing the size of NFAs by using equivalences and preorders L UCIAN I LIE ROBERTO S OLIS -O BA

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
4software 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

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
5Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou Nancy Lynch

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
6On the Application of Formal Methods for Specifying and Verifying Distributed Protocols

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
7On the Automated Implementation of Time-based Paxos Using the IOA Compiler ∗ Chryssis Georgiou† Procopis Hadjiprocopiou‡

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
8Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou† Dept. of Computer Science University of Cyprus

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
9Vis 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

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
10An Introduction to Input/Output Automata Nancy A. Lynch and Mark R. Tuttle Massachusetts Institute of Technology Cambridge, Mass[removed]November 18, 1988

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