Sciweavers

5128 search results - page 815 / 1026
» When Abstraction Fails
Sort
View
TCOM
2008
100views more  TCOM 2008»
15 years 6 months ago
On the performance of concatenated convolutional code and Alamouti space-time code with noisy channel estimates and finite-depth
Abstract--In this paper, performance of the Alamouti spacetime code (STC) [1] and performance of the concatenation between the convolutional code and the Alamouti STC are derived. ...
Jittra Jootar, James R. Zeidler, John G. Proakis
TCOM
2008
74views more  TCOM 2008»
15 years 6 months ago
Stability of a frame-based oldest-cell-first maximal weight matching algorithm
Abstract-- Input-queued cell switches employing the oldestcell-first (OCF) policy have been shown to yield low mean delay characteristics. Moreover, it has been proven that OCF is ...
Xike Li, Itamar Elhanany
ASE
2005
103views more  ASE 2005»
15 years 6 months ago
Component Verification with Automatically Generated Assumptions
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...
BEHAVIOURIT
2005
54views more  BEHAVIOURIT 2005»
15 years 6 months ago
Understanding and modelling built environments for mobile guide interface design
The research presented in this paper aims to inform interface design for mobile guides by understanding and modelling the built environments in which the guide will be used. This ...
Jeni Paay, Jesper Kjeldskov
TCSV
2008
145views more  TCSV 2008»
15 years 6 months ago
Robust Streaming of Offline Coded H.264/AVC Video Via Alternative Macroblock Coding
Abstract--An error resilient video streaming scheme that transmits offline coded H.264/AVC video through erroneous channels, called the alternative macroblock coding (AMC) scheme, ...
Xiaosong Zhou, C. C. Jay Kuo