3335 search results - page 112 / 667 » Grid result checking |
103
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract-- In this paper we develop instanton method introduced in [1], [2], [3] to analyze quantitatively performance of Low-Density-Parity-Check (LDPC) codes decoded iteratively ...
118
Voted
ISSE
2010
15 years 1 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
112
Voted
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
141
click to vote
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
An operational framework is developed for testing stationarity relatively to an observation scale. The proposed method makes use of a family of stationary surrogates for defining ...
144
click to vote
ECOOP
2012
Springer
13 years 5 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...