1916 search results - page 113 / 384 » Reconfiguring a state machine |
130
click to vote
SECURWARE
2008
IEEE
15 years 9 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...
125
Voted
ICCAD
2000
IEEE
15 years 7 months 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 ...
104
click to vote
TC
2002
15 years 2 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
16 years 3 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...
130
click to vote
ENTCS
2006
15 years 2 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...