Sciweavers

3852 search results - page 114 / 771
» Construction of Codes for Network Coding
Sort
View
WCRE
1995
IEEE
15 years 10 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
16 years 20 days 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 10 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 12 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 6 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...