1151 search results - page 122 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
123
click to vote
ISCAS
2006
IEEE
2006
IEEE
Performance of time-frequency localized and frequency selective filter banks in multicarrier systems
15 years 10 months ago
— This paper studies filter bank based multicarrier data transmission over wireless mobile channel. A complex modulated filter bank, based on cosine and sine modulated filter ...
148
click to vote
ICCD
2005
IEEE
15 years 10 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
132
click to vote
ASAP
2006
IEEE
15 years 8 months ago
2006
IEEE
State-of-the-art communication standards make extensive use of Turbo codes. The complex and power consuming designs that currently implement the turbo decoder expose the need for ...
112
Voted
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Convenient reconstruction of natural plants is a difficult task because of their intrinsic complex geometry. In this paper, we propose a convenient image-based approach to modeli...
140
click to vote
ECOOPW
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Coordination and Adaptation are two key issues when developing complex distributed systems. Coordination focuses on the interaction among computational entities. Adaptati...