Sciweavers

642 search results - page 116 / 129
» corr 2006
Sort
View
CORR
2010
Springer
66views Education» more  CORR 2010»
15 years 6 months ago
On Extractors and Exposure-Resilient Functions for Sublogarithmic Entropy
We study deterministic extractors for bit-fixing sources (a.k.a. resilient functions) and exposure-resilient functions for small min-entropy. That is, of the n bits given as input...
Yakir Reshef, Salil P. Vadhan
CORR
2010
Springer
150views Education» more  CORR 2010»
15 years 6 months ago
Boosting Multi-Core Reachability Performance with Shared Hash Tables
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
Alfons Laarman, Jaco van de Pol, Michael Weber 000...
CORR
2010
Springer
99views Education» more  CORR 2010»
15 years 6 months ago
On Functional Decomposition of Multivariate Polynomials with Differentiation and Homogenization
In this paper, we give a theoretical analysis for the algorithms to compute functional decomposition for multivariate polynomials based on differentiation and homogenization which ...
Shang-Wei Zhao, Ruyong Feng, Xiao-Shan Gao
CORR
2008
Springer
138views Education» more  CORR 2008»
15 years 6 months ago
An Improved Robust Fuzzy Extractor
We consider the problem of building robust fuzzy extractors, which allow two parties holding similar random variables W, W to agree on a secret key R in the presence of an active ...
Bhavana Kanukurthi, Leonid Reyzin
CORR
2007
Springer
120views Education» more  CORR 2007»
15 years 6 months ago
Performance Analysis of Algebraic Soft-Decision Decoding of Reed-Solomon Codes
Title of dissertation: PERFORMANCE ANALYSIS OF ALGEBRAIC SOFT-DECISION DECODING OF REED-SOLOMON CODES Andrew Duggan, Masters of Science, 2006 Thesis directed by: Professor Alexand...
Andrew Duggan, Alexander Barg