1753 search results - page 81 / 351 » State Machines |
150
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Machine Science, or Data-driven Research, is a new and interesting scientific methodology that uses advanced computational techniques to identify, retrieve, classify and analyse da...
178
Voted
LOGCOM
2010
14 years 10 months ago
2010
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...
133
Voted
CLUSTER
2008
IEEE
15 years 10 months ago
2008
IEEE
—In this paper, we describe a whole-system live migration scheme, which transfers the whole system run-time state, including CPU state, memory data, and local disk storage, of th...
128
Voted
ICCAD
2010
IEEE
15 years 1 months ago
2010
IEEE
Reducing circuit's peak current plays an important role in circuit reliability in deep sub-micron era. For sequential circuits, it is observed that the peak current has a str...
141
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
The acceleration of acoustic likelihood calculation has been an important research issue for developing practical speech recognition systems. And there are various specification ...