Sciweavers

1437 search results - page 140 / 288
» Generalized Belief Propagation
Sort
View
ICC
2009
IEEE
144views Communications» more  ICC 2009»
16 years 1 months ago
A Transmission Scheme for Continuous ARQ Protocols over Underwater Acoustic Channels
—Due to the half-duplex property of the underwater acoustic channels, the classic stop-and-wait ARQ (SW-ARQ) and its variants are generally thought to be the only class of ARQ pr...
Mingsheng Gao, Wee-Seng Soh, Meixia Tao
DATE
2005
IEEE
117views Hardware» more  DATE 2005»
16 years 4 days ago
Implicit and Exact Path Delay Fault Grading in Sequential Circuits
1 The first path implicit and exact non–robust path delay fault grading technique for non–scan sequential circuits is presented. Non enumerative exact coverage is obtained, b...
Mahilchi Milir Vaseekar Kumar, Spyros Tragoudas, S...
IFL
2005
Springer
155views Formal Methods» more  IFL 2005»
16 years 15 hour ago
A Binding Scope Analysis for Generic Programs on Arrays
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
Clemens Grelck, Sven-Bodo Scholz, Alexander V. Sha...
ATS
2002
IEEE
110views Hardware» more  ATS 2002»
15 years 11 months ago
Test Requirement Analysis for Low Cost Hierarchical Test Path Construction
We propose a methodology that examines design modules and identifies appropriate vector justification and response propagation requirements for hierarchical test. Based on a cel...
Yiorgos Makris, Alex Orailoglu
ARITH
1999
IEEE
15 years 10 months ago
Intermediate Variable Encodings that Enable Multiplexor-Based Implementations of Two Operand Addition
In two operand addition, bit-wise intermediate variables such as the "propagate" and "generate" terms are defined/evaluated first. Basic carry propagation recu...
Dhananjay S. Phatak, Israel Koren