13784 search results - page 2303 / 2757 » On Computing Functions with Uncertainty |
164
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have di...
185
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, a wavelet based approach is proposed for the model order reduction of linear circuits in time domain. Compared with Chebyshev reduction method, the wavelet reductio...
180
click to vote
EDOC
2006
IEEE
16 years 1 months ago
2006
IEEE
— An enterprise architecture is intended to be a comprehensive blueprint describing the key components and relationships for an enterprise from strategies to business processes t...
181
click to vote
ESCIENCE
2006
IEEE
16 years 1 months ago
2006
IEEE
Numerous Grid workflow engines exist, each generally specialized for a single application domain such as protein folding. Although the underlying purpose and functionality of the ...
178
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— In this paper, we consider single user throughput optimization problem for continuous flat fading channels of multiple-input multiple-output (MIMO) system. It is known that ch...