2467 search results - page 47 / 494 » Finite State Machines |
111
click to vote
CSL
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The relationship between automata and logics has been investigated since the 1960s. In particular, it was shown how to determine, given an automaton, whether or not it is...
ICCAD
1997
IEEE
15 years 4 months ago
1997
IEEE
We present a new output encoding problem as follows: Given a specification table, such as a truth table or a finite state machine state table, where some of the outputs are specif...
ARVLSI
1995
IEEE
15 years 4 months ago
1995
IEEE
This paper presents a method for the optimal state assignment of asynchronous state machines. Unlike state assignment for synchronous state machines, state codes must be chosen ca...
91
Voted
UIST
2006
ACM
15 years 6 months ago
2006
ACM
This article describes SwingStates, a library that adds state machines to the Java Swing user interface toolkit. Unlike traditional approaches, which use callbacks or listeners to...
93
Voted
EWRL
2008
15 years 2 months ago
2008
If one possesses a model of a controlled deterministic system, then from any state, one may consider the set of all possible reachable states starting from that state and using any...