Search Sciweavers | Sciweavers

562 search results - page 24 / 113

» Concurrent Turing Machines

154

click to vote

ITC
1999
IEEE

105views Hardware» more ITC 1999»

Finite state machine synthesis with concurrent error detection

15 years 10 months ago

Download www-crc.stanford.edu

A new synthesis technique for designing finite state machines with on-line parity checking is presented. The output logic and the next-state logic of the finite state machines are...

Chaohuang Zeng, Nirmal R. Saxena, Edward J. McClus...

claim paper

Read More »

click to vote

DATE
2006
IEEE

148views Hardware» more DATE 2006»

Berger code-based concurrent error detection in asynchronous burst-mode machines

15 years 12 months ago

Download www.eng.yale.edu

Sobeeh Almukhaizim, Yiorgos Makris

claim paper

Read More »

129

click to vote

ASM
2000
ASM

83views Computational Biology» more ASM 2000»

Investigating Java Concurrency Using Abstract State Machines

15 years 10 months ago

Download www.eecs.umich.edu

Yuri Gurevich, Wolfram Schulte, Charles Wallace

claim paper

Read More »

135

click to vote

ICDE
1990
IEEE

91views Database» more ICDE 1990»

Concurrency Control of Bulk Access Transactions on Shared Nothing Parallel Database Machines

15 years 10 months ago

Download home.hol.is.uec.ac.jp

Tadashi Ohmori, Masaru Kitsuregawa, Hidehiko Tanak...

claim paper

Read More »

136

click to vote

ACJ
2004

85views more ACJ 2004»

Generating Reduced Finite State Machine from Concurrent Scenarios Using Static Partial Order Method

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers