3365 search results - page 139 / 673 » Digital System Design: Architectures, Methods and Tools |
195
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
176
click to vote
ISCAS
2006
IEEE
16 years 14 days ago
2006
IEEE
that the equivalent channel is approximately an impulse. In [7], Martin et al. propose a globally convergent blind adap-In this paper, we propose a frequency domain based de- tive ...
183
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
The design process for xed-point implementations either in software or in hardware requires a bit-true speci cation of the algorithm in order to analyze quantization e ects on an...
165
click to vote
WISE
2002
Springer
15 years 11 months ago
2002
Springer
Applying meta search systems is a suitable method to support the user if there are many different retrieval services available in the Web. Due to information splitting strategies ...
194
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
People need to find, work with, and put together information. Diverse activities, such as scholarly research, comparison shopping, and entertainment involve collecting and connect...