1916 search results - page 143 / 384 » Reconfiguring a state machine |
ELPUB
2006
ACM
14 years 2 months ago
2006
ACM
This paper deals with the problems of weakening of human memory due to the increasing use of machine memories in many ways. It enumerates the advantages of machine memory as state...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
This work focuses on the synthesis of finite-state machines (FSMs) by observing its input/output behaviors. Evolutionary approaches that have been proposed to solve this problem do...
ACL
1996
13 years 9 months ago
1996
We present a language model consisting of a collection of costed bidirectional finite state automata associated with the head words of phrases. The model is suitable for increment...
ASPDAC
2001
ACM
13 years 11 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
ENTCS
2008
13 years 8 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...