1753 search results - page 53 / 351 » State Machines |
106
click to vote
SIGOPS
2008
15 years 1 months ago
2008
Virtual machine (VM) time travel enables reverting a virtual machine's state, both transient and persistent, to past points in time. This capability can be used to improve vi...
109
click to vote
COLING
1994
15 years 3 months ago
1994
We present a new apl)roach , ilhlstrated by two algorithms> for parsing not only Finite SI.ate (:Iranlnlars but also Context Free Grainlnars and their extension, by means of fi...
117
click to vote
CONCUR
2000
Springer
15 years 5 months ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
DDECS
2007
IEEE
15 years 8 months ago
2007
IEEE
– Algorithmic State Machines are a 40-year old tool for the design of digital circuits. They are a good alternative to Finite State Machines, where only states can be properly de...
108
click to vote
ASE
2010
15 years 2 months ago
2010
Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states t...