1916 search results - page 82 / 384 » Reconfiguring a state machine |
DDECS
2007
IEEE
14 years 2 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...
ASE
2010
13 years 8 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...
EUROSYS
2009
ACM
14 years 2 months ago
2009
ACM
Virtual Machine (VM) fork is a new cloud computing abstraction that instantaneously clones a VM into multiple replicas running on different hosts. All replicas share the same init...
ICML
2004
IEEE
14 years 8 months ago
2004
IEEE
Predictive state representations (PSRs) are a recently proposed way of modeling controlled dynamical systems. PSR-based models use predictions of observable outcomes of tests that...
ENTCS
2010
13 years 8 months ago
2010
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...