10159 search results - page 1796 / 2032 » System Design Validation Using Formal Models |
149
click to vote
PATMOS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Based on a previously reported request driven technique for Globally-Asynchronous Locally-Synchronous (GALS) circuits this paper presents two significant enhancements. Fi...
144
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
We describe a novel, model-based approach to augmented cognition. We first discuss a subset of cognitive limitations that are likely to impair performance. We then note traditiona...
164
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
- To date, most high-level synthesis systems do not automatically solve present design problems, such as those related to timing associated with the physical implementation of mult...
141
click to vote
JSW
2007
15 years 6 months ago
2007
—Voice over IP (VoIP) has had a strong effect on global communications by allowing human voice and fax information to travel over existing packet data networks along with traditi...
176
click to vote
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
We have developed a VLSI chip for 5,000 word speakerindependent continuous speech recognition. This chip employs a context-dependent HMM (hidden Markov model) based speech recogni...