ACSSC
2015
10 years 1 days ago
2015
Abstract—We propose a quantized decoding algorithm for lowdensity parity-check codes where the variable node update rule of the standard min-sum algorithm is replaced with a look...
115
click to vote
ACSD
2015
IEEE
10 years 1 days ago
2015
IEEE
Abstract—Assume-guarantee (AG) reasoning is a compositional verification method where a verification task involving many processes is broken into multiple verification tasks i...
206
click to vote
ACSD
2015
IEEE
10 years 1 days ago
2015
IEEE
Abstract—Multi-processor systems-on-chips are widely adopted in implementing modern streaming applications to satisfy the ever increasing computing requirements. Predictable memo...
ACSC
2015
IEEE
10 years 1 days ago
2015
IEEE
In this paper, we first describe a simplified scenario observed in mining operations, where trucks are loaded and emptied at different locations. We will then look at ways that...