1916 search results - page 113 / 384 » Reconfiguring a state machine |
SECURWARE
2008
IEEE
14 years 2 months ago
2008
IEEE
—We present the design of a trusted platform module (TPM) that supports hardware-based virtualization techniques. Our approach enables multiple virtual machines to use the comple...
ICCAD
2000
IEEE
14 years 11 days ago
2000
IEEE
Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer ...
TC
2002
13 years 7 months ago
2002
-- Here the method proposed in [13] for constructing minimal-length checking sequences based on distinguishing sequences is improved. The improvement is based on optimizations of t...
ICML
2005
IEEE
14 years 8 months ago
2005
IEEE
We propose machine learning methods for the estimation of deformation fields that transform two given objects into each other, thereby establishing a dense point to point correspo...
ENTCS
2006
13 years 8 months ago
2006
In Rutten [13] the theoretical basis was given for the synthesis of binary Mealy machines from specifications in 2-adic arithmetic. This construction is based on the symbolic comp...