Sciweavers

19 search results - page 3 / 4
» On binary 1-perfect additive codes: Some structural properti...
Sort
View
IOLTS
2005
IEEE
125views Hardware» more  IOLTS 2005»
13 years 11 months ago
Design of a Self Checking Reed Solomon Encoder
— In this paper, an innovative self-checking Reed Solomon encoder architecture is described. The presented architecture exploits some properties of the arithmetic operations in G...
Gian-Carlo Cardarilli, Salvatore Pontarelli, Marco...
ICC
2007
IEEE
118views Communications» more  ICC 2007»
14 years 3 days ago
A Class of LDPC Erasure Distributions with Closed-Form Threshold Expression
— In this paper, a family of low-density parity-check (LDPC) degree distributions, whose decoding threshold on the binary erasure channel (BEC) admits a simple closed form, is pr...
Enrico Paolini, Marco Chiani
BMCBI
2007
112views more  BMCBI 2007»
13 years 5 months ago
AUG_hairpin: prediction of a downstream secondary structure influencing the recognition of a translation start site
Background: The translation start site plays an important role in the control of translation efficiency of eukaryotic mRNAs. The recognition of the start AUG codon by eukaryotic r...
Alexey V. Kochetov, Andrey Palyanov, Igor I. Titov...
CIKM
2011
Springer
12 years 5 months ago
SIMD-based decoding of posting lists
Powerful SIMD instructions in modern processors offer an opportunity for greater search performance. In this paper, we apply these instructions to decoding search engine posting ...
Alexander A. Stepanov, Anil R. Gangolli, Daniel E....
TACAS
2001
Springer
135views Algorithms» more  TACAS 2001»
13 years 10 months ago
Implementing a Multi-valued Symbolic Model Checker
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
Marsha Chechik, Benet Devereux, Steve M. Easterbro...