Sciweavers

3852 search results - page 114 / 771
» Construction of Codes for Network Coding
Sort
View
WCRE
1995
IEEE
15 years 7 months ago
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
ICC
2007
IEEE
15 years 10 months ago
Noncoherent Block-Coded QAM
— In this paper, we investigate block-coded QAM constructed by multilevel coding for the noncoherent generalized likelihood ratio test (GLRT) detector. For the AWGN channel, we d...
Ruey-Yi Wei, Tzu-Ching Sue, Hsi-Hua Wang, Chin-Sun...
PLDI
1996
ACM
15 years 8 months ago
Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual compiler implementations and c...
Mark W. Bailey, Jack W. Davidson
ICIP
2005
IEEE
15 years 9 months ago
Scalable multiple description video coding with flexible number of descriptions
Multiple description video coding mitigates the effects of packet losses introduced by congestion and/or bit errors. In this paper, we propose a novel multiple description video c...
Emrah Akyol, A. Murat Tekalp, Mehmet R. Civanlar
CBSE
2011
Springer
14 years 3 months ago
Automating information flow control in component-based distributed systems
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
Takoua Abdellatif, Lilia Sfaxi, Riadh Robbana, Yas...