231 search results - page 33 / 47 » Improvements to combinational equivalence checking |
APLAS
2006
ACM
13 years 11 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
In this paper, we show that over the binary erasure channel, Quasi-Cyclic LDPC codes can efficiently accommodate the hybrid iterative/ML decoding. We demonstrate that the quasicycl...
BMCBI
2006
13 years 8 months ago
2006
Background: One of the most powerful methods for the prediction of protein structure from sequence information alone is the iterative construction of profile-type models. Because ...
MOBISYS
2007
ACM
14 years 7 months ago
2007
ACM
In this work, we investigate the use of directional antennas and beam steering techniques to improve performance of 802.11 links in the context of communication between a moving v...
VTC
2008
IEEE
14 years 2 months ago
2008
IEEE
—Frequency-domain equalization (FDE) based on the minimum mean square error (MMSE) criterion can provide a better bit error rate (BER) performance than rake combining. However, t...