774 search results - page 5 / 155 » Experiences of low power design implementation and verificat... |
ASPDAC
2007
ACM
14 years 19 days ago
2007
ACM
The development cost of low-power embedded systems can be significantly reduced by reusing legacy designs and applying proper modifications to meet the new power constraints. The ...
DAC
2005
ACM
14 years 9 months ago
2005
ACM
We propose a system architecture for real-time hardware speech recognition on low-cost, power-constrained devices. The system is intended to support real-time speech-based user in...
ICASSP
2011
IEEE
13 years 11 days ago
2011
IEEE
Abstract—Accurate spike sorting is important for neuroscientific and neuroprosthetic applications. The sorting of spikes depends on the features extracted from the neural wavefo...
SAFECOMP
2010
Springer
13 years 6 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
VLDB
2002
ACM
13 years 8 months ago
2002
ACM
Current search engines can hardly cope adequately with fuzzy predicates defined by complex preferences. The biggest problem of search engines implemented with standard SQL is that...