36320 search results - page 569 / 7264 » From Code to Models |
180
click to vote
JCM
2008
15 years 7 months ago
2008
Power consumption is a critical issue for many applications running on autonomous battery operated devices. In the context of low power communications, the use of Forward Error Cor...
168
click to vote
PAAPP
2006
15 years 7 months ago
2006
In this paper, we investigate algorithms for generating communication code to run on distributedmemory systems. We modify algorithms from previously published work and prove that ...
175
click to vote
CN
2000
15 years 6 months ago
2000
The classical plain-text representation of source code is convenient for programmers but requires parsing to uncover the deep structure of the program. While sophisticated softwar...
210
click to vote
TCOM
2010
15 years 1 months ago
2010
In this paper, we construct nonbinary quasi-cyclic low-density parity-check (QC-LDPC) codes whose parity check matrices consist of an array of square sub-matrices which are either ...
206
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...