Sciweavers

2957 search results - page 23 / 592
» Code analysis and CS-XML
Sort
View
CORR
2006
Springer
129views Education» more  CORR 2006»
13 years 7 months ago
Instanton analysis of Low-Density-Parity-Check codes in the error-floor regime
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 ...
Mikhail G. Stepanov, Michael Chertkov
JSAC
1998
134views more  JSAC 1998»
13 years 7 months ago
Design and Analysis of Turbo Codes on Rayleigh Fading Channels
—The performance and design of turbo codes using coherent BPSK signaling on the Rayleigh fading channel is considered. In low signal-to-noise regions, performance analysis uses s...
Eric K. Hall, Stephen G. Wilson
WSC
2007
13 years 9 months ago
Code analysis and CS-XML
The automated analysis of model specifications is an area that historically receives little attention in the simulation research community but which can offer significant bene...
Kara A. Olson, C. Michael Overstreet, E. Joseph De...
ZUM
2000
Springer
101views Formal Methods» more  ZUM 2000»
13 years 11 months ago
Analysis of Compiled Code: A Prototype Formal Model
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
R. D. Arthan
NIPS
2008
13 years 8 months ago
Interpreting the neural code with Formal Concept Analysis
We propose a novel application of Formal Concept Analysis (FCA) to neural decoding: instead of just trying to figure out which stimulus was presented, we demonstrate how to explor...
Dominik Endres, Peter Földiák