Sciweavers

3328 search results - page 319 / 666
» On Plateaued Functions and Their Constructions
Sort
View
CC
2008
Springer
133views System Software» more  CC 2008»
15 years 6 months ago
Hardness Amplification via Space-Efficient Direct Products
We prove a version of the derandomized Direct Product lemma for deterministic space-bounded algorithms. Suppose a Boolean function g : {0, 1}n {0, 1} cannot be computed on more th...
Venkatesan Guruswami, Valentine Kabanets
TVLSI
2008
108views more  TVLSI 2008»
15 years 6 months ago
Unified Convolutional/Turbo Decoder Design Using Tile-Based Timing Analysis of VA/MAP Kernel
To satisfy the advanced forward-error-correction (FEC) standards, in which the Convolutional code and Turbo code may co-exit, a prototype design of a unified Convolutional/Turbo de...
Fan-Min Li, Cheng-Hung Lin, An-Yeu Wu
IANDC
2010
84views more  IANDC 2010»
15 years 5 months ago
Underapproximation for model-checking based on universal circuits
For two naturals m, n such that m < n, we show how to construct a circuit C with m inputs and n outputs, that has the following property: for some 0 ≤ k ≤ m, the circuit de...
Arie Matsliah, Ofer Strichman
AOSD
2011
ACM
15 years 1 months ago
Closure joinpoints: block joinpoints without surprises
Block joinpoints allow programmers to explicitly mark regions of base code as “to be advised”, thus avoiding the need to extract the block into a method just for the sake of c...
Eric Bodden
ICASSP
2011
IEEE
14 years 10 months ago
A sampling-based environment population projection approach for rapid acoustic model adaptation
We propose an environment population projection (EPP) approach for rapid acoustic model adaptation to reduce environment mismatches with limited amounts of adaptation data. This a...
Yu Tsao, Shigeki Matsuda, Shinsuke Sakai, Ryosuke ...