7504 search results - page 1174 / 1501 » Computing with Action Potentials |
110
click to vote
ICCAD
2005
IEEE
16 years 1 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
140
click to vote
ICCAD
2001
IEEE
16 years 1 months ago
2001
IEEE
Dynamic voltage scaling (DVS) is a technique that varies the supply voltage and clock frequency based on the computation load to provide desired performance with the minimal amoun...
133
click to vote
IUI
2009
ACM
16 years 1 months ago
2009
ACM
We present Parakeet, a system for continuous speech recognition on mobile touch-screen devices. The design of Parakeet was guided by computational experiments and validated by a u...
138
click to vote
ISPASS
2010
IEEE
15 years 11 months ago
2010
IEEE
—In the past ten years, computer architecture has seen a paradigm shift from emphasizing single thread performance to energy efficient, throughput oriented, chip multiprocessors...
146
click to vote
ASM
2010
ASM
15 years 11 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...