Sciweavers

1579 search results - page 127 / 316
» On the Constructions of Constant-Weight Codes
Sort
View
ICFP
2004
ACM
15 years 10 months ago
Verification of safety properties for concurrent assembly code
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
Dachuan Yu, Zhong Shao
GLOBECOM
2007
IEEE
15 years 4 months ago
Optimal Power Allocation for Linear Dispersion Codes Over Correlated MIMO Channels with Channel State Feedback
— The design of spatio-temporal power allocation schemes is considered for space-time coding over spatially correlated multiple-input multiple-output (MIMO) channels. The focus i...
Che Lin, Vasanthan Raghavan, Venugopal V. Veeraval...
TCSV
2008
119views more  TCSV 2008»
14 years 10 months ago
Scalable Joint Source-Channel Coding for the Scalable Extension of H.264/AVC
This paper proposes a novel joint source-channel coding (JSCC) methodology which minimizes the end-to-end distortion for the transmission over packet loss channels of scalable vide...
Maryse R. Stoufs, Adrian Munteanu, Jan Cornelis, P...
OOPSLA
2005
Springer
15 years 3 months ago
Micro patterns in Java code
Micro patterns are similar to design patterns, except that micro patterns stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in t...
Joseph Gil, Itay Maman
SIGMETRICS
2008
ACM
113views Hardware» more  SIGMETRICS 2008»
14 years 10 months ago
Layered interval codes for tcam-based classification
Ternary content-addressable memories (TCAMs) are increasingly used for high-speed packet classification. TCAMs compare packet headers against all rules in a classification database...
Anat Bremler-Barr, David Hay, Danny Hendler, Boris...