Search Sciweavers | Sciweavers

562 search results - page 24 / 113

» Concurrent Turing Machines

click to vote

ITC
1999
IEEE

105views Hardware» more ITC 1999»

Finite state machine synthesis with concurrent error detection

15 years 4 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 5 months ago

Download www.eng.yale.edu

Sobeeh Almukhaizim, Yiorgos Makris

claim paper

Read More »

click to vote

ASM
2000
ASM

83views Computational Biology» more ASM 2000»

Investigating Java Concurrency Using Abstract State Machines

15 years 4 months ago

Download www.eecs.umich.edu

Yuri Gurevich, Wolfram Schulte, Charles Wallace

claim paper

Read More »

Voted

ICDE
1990
IEEE

91views Database» more ICDE 1990»

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

15 years 3 months ago

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

Tadashi Ohmori, Masaru Kitsuregawa, Hidehiko Tanak...

claim paper

Read More »

click to vote

ACJ
2004

85views more ACJ 2004»

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

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers