Sciweavers

11 search results - page 1 / 3
» Reduced-State BCJR-Type Algorithms
Sort
View
ICC
2000
IEEE
13 years 9 months ago
Reduced-State BCJR-Type Algorithms
—In this paper, we propose a technique to reduce the number of trellis states in BCJR-type algorithms, i.e., algorithms with a structure similar to that of the well-known algorit...
Giulio Colavolpe, Gian Luigi Ferrari, Riccardo Rah...
NOSSDAV
2004
Springer
13 years 10 months ago
Reduced state fair queuing for edge and core routers
Despite many years of research, fair queuing still faces a number of implementation challenges in high speed routers. In particular, in spite of proposals such as DiffServ, the st...
Ramana Rao Kompella, George Varghese
SPIN
2000
Springer
13 years 8 months ago
Model Checking Based on Simultaneous Reachability Analysis
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
Bengi Karaçali, Kuo-Chung Tai
SPIN
2005
Springer
13 years 10 months ago
Model Checking Machine Code with the GNU Debugger
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
Eric Mercer, Michael Jones
GLOBECOM
2010
IEEE
13 years 2 months ago
Learning Interference Strategies in Cognitive ARQ Networks
Cognitive radios, which enable the coexistence on the same bandwidth of licensed primary and unlicensed secondary users, have the potential for dramatically increasing the efficien...
Sina Firouzabadi, Marco Levorato, Daniel O'Neill, ...