7311 search results - page 169 / 1463 » Time in State Machines |
132
click to vote
CODES
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, we propose an effective automatic generation approach for a Cycle-Count Accurate Memory Model (CCAMM) from the Clocked Finite State Machine (CFSM) of the Cycle Accu...
132
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
According to articulatory phonology, the gestural score is an invariant speech representation. Though the timing schemes, i.e., the onsets and offsets, of the gestural activations...
150
click to vote
SECURWARE
2008
IEEE
15 years 11 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...
132
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
148
Voted
ISCAS
1999
IEEE
15 years 8 months ago
1999
IEEE
The paper describes a framework in the form of an optimization of a performance index subject to the constraints of a dynamic network, represented in the state space. The performa...