2658 search results - page 156 / 532 » On efficient balanced codes |
281
click to vote
POPL
2002
ACM
16 years 4 months ago
2002
ACM
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...
141
click to vote
WSC
2008
15 years 6 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
102
Voted
TIT
2002
15 years 3 months ago
2002
This paper provides a mathematical analysis of transform compression in its relationship to linear and nonlinear approximation theory. Contrasting linear and nonlinear approximatio...
148
click to vote
ICIP
2004
IEEE
16 years 5 months ago
2004
IEEE
To leave the maximum flexibility in encoder to optimize the trade-off between coding performance and complexity, in video coding standards such as H.264/AVC [1], H.263 [2] and MPE...
132
Voted
ICS
2010
Tsinghua U.
16 years 1 months ago
2010
Tsinghua U.
We introduce the notion of "non-malleable codes" which relaxes the notion of error-correction and errordetection. Informally, a code is non-malleable if the message cont...