Sciweavers

679 search results - page 54 / 136
» codes 2002
Sort
View
203
Voted
ENTCS
2002
166views more  ENTCS 2002»
15 years 2 months ago
Translation and Run-Time Validation of Optimized Code
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Gol...
SPE
2002
154views more  SPE 2002»
15 years 2 months ago
Bytecode verification on Java smart cards
This article presents a novel approach to the problem of bytecode verification for Java Card applets. By relying on prior off-card bytecode transformations, we simplify the byteco...
Xavier Leroy
TASLP
2002
87views more  TASLP 2002»
15 years 2 months ago
A new audio coding scheme using a forward masking model and perceptually weighted vector quantization
This paper presents a new audio coder that includes two techniques to improve the sound quality of the audio coding system. First, a forward masking model is proposed. This model e...
Yuan-Hao Huang, Tzi-Dar Chiueh
111
Voted
TIT
2002
146views more  TIT 2002»
15 years 2 months ago
Bounds on the performance of belief propagation decoding
We consider Gallager's soft decoding (belief propagation) algorithm for decoding low density parity check (LDPC) codes, when applied to an arbitrary binary-input symmetric-ou...
David Burshtein, Gadi Miller
132
Voted
VLSID
2002
IEEE
142views VLSI» more  VLSID 2002»
16 years 2 months ago
Address Code and Arithmetic Optimizations for Embedded Systems
An important class of problems used widely in both the embedded systems and scientific domains perform memory intensive computations on large data sets. These data sets get to be ...
J. Ramanujam, Satish Krishnamurthy, Jinpyo Hong, M...