Search Sciweavers | Sciweavers

936 search results - page 37 / 188

» FSM-Hume is finite state

click to vote

ICCAD
1995
IEEE

65views Hardware» more ICCAD 1995»

Symbolic hazard-free minimization and encoding of asynchronous finite state machines

14 years 11 days ago

Download www.cs.unc.edu

Robert M. Fuhrer, Bill Lin, Steven M. Nowick

claim paper

Read More »

click to vote

LCTRTS
1995
Springer

83views System Software» more LCTRTS 1995»

Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems

14 years 10 days ago

Download www-2.cs.cmu.edu

Sérgio Vale Aguiar Campos, Edmund M. Clarke...

claim paper

Read More »

click to vote

DAC
1991
ACM

102views Computer Architecture» more DAC 1991»

A Unified Approach for the Synthesis of Self-Testable Finite State Machines

14 years 10 days ago

Download www.ra.informatik.uni-stuttgart.de

-Conventionallyself-test hardware is added after synthesis is completed. For highly sequential circuits like controllersthis design method eitherleads to high hardware overheadsor ...

Bernhard Eschermann, Hans-Joachim Wunderlich

claim paper

Read More »

click to vote

ICCD
1991
IEEE

86views Hardware» more ICCD 1991»

Synthesizing Converters Between Finite State Protocols

14 years 10 days ago

Download www.cadence.com

Janaki Akella, Kenneth L. McMillan

claim paper

Read More »

click to vote

CONCUR
2005
Springer

105views Distributed And Parallel Com...» more CONCUR 2005»

A Ground-Complete Axiomatization of Finite State Processes in Process Algebra

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers