Sciweavers

10819 search results - page 232 / 2164
» Addition and multiplication of sets
Sort
View
DATE
2006
IEEE
104views Hardware» more  DATE 2006»
14 years 4 months ago
Equivalence verification of arithmetic datapaths with multiple word-length operands
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
Namrata Shekhar, Priyank Kalla, Florian Enescu
GLOBECOM
2006
IEEE
14 years 4 months ago
Algorithms for Server Placement in Multiple-Description-Based Media Streaming
ā€” Multiple description coding (MDC) has emerged as a powerful technique for reliable real-time communications over lossy packet networks. In its basic form, it involves encoding ...
Satyajeet Ahuja, Marwan Krunz
WIOPT
2006
IEEE
14 years 4 months ago
Connection-level QoS provisioning in multiple transmission technology-based OFDM system
A state-of-the-art orthogonal frequency division multiplexing (OFDM)-based access system, such as the DiffSeg system [1][2], uses a different set of transmission technologies, e.g...
Youngkyu Choi, Sunghyun Choi, Sung-Pil Hong
WABI
2004
Springer
106views Bioinformatics» more  WABI 2004»
14 years 4 months ago
Suboptimal Local Alignments Across Multiple Scoring Schemes
Abstract. Sequence alignment algorithms have a long standing tradition in bioinformatics. In this paper, we formulate an extension to existing local alignment algorithms: local ali...
Morris Michael, Christoph Dieterich, Jens Stoye
FCCM
2002
IEEE
171views VLSI» more  FCCM 2002»
14 years 3 months ago
Coarse-Grain Pipelining on Multiple FPGA Architectures
Reconfigurable systems, and in particular, FPGA-based custom computing machines, offer a unique opportunity to define application-specific architectures. These architectures offer...
Heidi E. Ziegler, Byoungro So, Mary W. Hall, Pedro...