2661 search results - page 88 / 533 » Model Checking Performability Properties |
110
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
196
click to vote
ATVA
2011
Springer
14 years 2 months ago
2011
Springer
Even though the well-known nested-depth first search algorithm for LTL model checking provides good performance, it cannot benefit from the recent advent of multi-core computers....
110
click to vote
TIT
2002
15 years 2 months ago
2002
We consider Gallager's soft decoding (belief propagation) algorithm for decoding low density parity check (LDPC) codes, when applied to an arbitrary binary-input symmetric-ou...
112
click to vote
COGSCI
2010
15 years 2 months ago
2010
Computational models of meaning trained on naturally occurring text successfully model human performance on tasks involving simple similarity measures, but they characterize meani...
144
click to vote
TCOM
2008
15 years 27 days ago
2008
In this paper, a method to design regular (2, dc)-LDPC codes over GF(q) with both good waterfall and error floor properties is presented, based on the algebraic properties of thei...