1145 search results - page 33 / 229 » The Correctness of an Optimized Code Generation |
CISS
2011
IEEE
13 years 11 days ago
2011
IEEE
—We analyze the fundamental limits of key generation and describe an implementation based on error correcting codes. We show that key extraction based on channel coefficients si...
FASE
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
ICIP
2000
IEEE
14 years 10 months ago
2000
IEEE
We describe effective channel coding strategies which can be used in conjunction with linear programming optimization techniques for the embedding of robust perceptually adaptive ...
ENTCS
2007
13 years 8 months ago
2007
We give a uniform type-systematic account of a number of optimizations and the underlying analyses for a bytecode-like stack-based low-level language, including analysis soundness...
DAC
2004
ACM
14 years 9 months ago
2004
ACM
Error correcting codes are widely used in communication and storage applications. Codec complexity has usually been measured with a software implementation in mind. A recent hardw...