Sciweavers

403 search results - page 65 / 81
» Bits through ARQs
Sort
View
WCET
2010
14 years 10 months ago
METAMOC: Modular Execution Time Analysis using Model Checking
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
Andreas E. Dalsgaard, Mads Chr. Olesen, Martin Tof...
98
Voted
ICMCS
2009
IEEE
130views Multimedia» more  ICMCS 2009»
14 years 10 months ago
On improving the collision property of robust hashing based on projections
In this paper, we study the collision property of one of the robust hash functions proposed in [1]. This method was originally proposed for robust hash generation from blocks of i...
Regunathan Radhakrishnan, Wenyu Jiang, Claus Bauer
TSP
2010
14 years 7 months ago
Low-complexity decoding via reduced dimension maximum-likelihood search
In this paper, we consider a low-complexity detection technique referred to as a reduced dimension maximum-likelihood search (RD-MLS). RD-MLS is based on a partitioned search which...
Jun Won Choi, Byonghyo Shim, Andrew C. Singer, Nam...
ICASSP
2011
IEEE
14 years 4 months ago
Mixture Kalman filtering for joint carrier recovery and channel estimation in time-selective Rayleigh fading channels
This paper proposes a new blind algorithm, based on Mixture Kalman Filtering (MKF), for joint carrier recovery and channel estimation in time-selective Rayleigh fading channels. M...
Ali A. Nasir, Salman Durrani, Rodney A. Kennedy
105
Voted
CISS
2010
IEEE
14 years 4 months ago
Queue based compression in a two-way relay network
—We consider the problem of joint rate scheduling and lossy data compression in a two-way relay network with distortion-sensitive stochastic packet traffic. A relay node facilit...
Ertugrul Necdet Ciftcioglu, Yalin Evren Sagduyu, A...