Sciweavers

2658 search results - page 177 / 532
» On efficient balanced codes
Sort
View
ENTCS
2008
94views more  ENTCS 2008»
15 years 4 months ago
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
Hendrik Tews, Tjark Weber, Marcus Völp
TIT
2008
115views more  TIT 2008»
15 years 4 months ago
Affine Reflection Group Codes
This paper presents a construction of Slepian group codes from affine reflection groups. The solution to the initial vector and nearest distance problem is presented for all irred...
Terasan Niyomsataya, Ali Miri, Monica Nevins
EUROPAR
2010
Springer
15 years 2 months ago
A Parallel Implementation of the Jacobi-Davidson Eigensolver and Its Application in a Plasma Turbulence Code
In the numerical solution of large-scale eigenvalue problems, Davidson-type methods are an increasingly popular alternative to Krylov eigensolvers. The main motivation is to avoid ...
Eloy Romero, Jose E. Roman
ICMCS
2009
IEEE
216views Multimedia» more  ICMCS 2009»
15 years 1 months ago
Block-based color correction algorithm for multi-view video coding
The color variations among different viewpoints in multiview video sequences may deteriorate the visual quality and coding efficiency. Various color correction methods have been p...
Boxin Shi, Yangxi Li, Lin Liu, Chao Xu
149
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Coding of unquantized spectrum sub-bands in superwideband audio codecs
We present several new methods for coding of spectrum coefficients in embedded audio codecs. In audio codecs, the spectrum is often divided in sub-bands, and quantized using a vec...
Vaclav Eksler, Milan Jelinek