Sciweavers

15614 search results - page 10 / 3123
» The State of State
Sort
View
EURODAC
1995
IEEE
162views VHDL» more  EURODAC 1995»
13 years 11 months ago
ODE: output direct state machine encoding
A somewhat novel approach is presented for determining FSM state codes. Instead of producing an assignment designed to minimise the overall logic of the machine, all Moore outputs...
J. Forrest
ICCAD
1999
IEEE
78views Hardware» more  ICCAD 1999»
13 years 11 months ago
Probabilistic state space search
This paper describes a probabilistic approach to state space search. The presented method applies a ranking of the design states according to their probability of reaching a given...
Andreas Kuehlmann, Kenneth L. McMillan, Robert K. ...
TIT
2008
66views more  TIT 2008»
13 years 7 months ago
State Amplification
We consider the problem of transmitting data at rate over a state-dependent channel with state information available at the sender and at the same time conveying the information ab...
Young-Han Kim, Arak Sutivong, Thomas M. Cover
ASWEC
2007
IEEE
14 years 1 months ago
Formal Validation of Hierarchical State Machines against Expectations
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...
Ian Toyn, Andy Galloway
TVCG
2002
121views more  TVCG 2002»
13 years 7 months ago
Interactive Visualization of State Transition Systems
Frank van Ham, Huub van de Wetering, Jarke J. van ...