7189 search results - page 291 / 1438 » Connecting Design with Code |
150
click to vote
PEPM
1999
ACM
15 years 8 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
167
click to vote
Presentation
Computational photography is an emerging field combining smart optics,
electronics, computer vision and graphics. Recent trends in enhancing the
capabilities of a camera involve ...
130
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
Memory is one of the most restricted resources in many modern embedded systems. Code compression can provide substantial savings in terms of size. In a compressed code CPU, a cach...
159
Voted
SACRYPT
2009
Springer
15 years 10 months ago
2009
Springer
The classical McEliece cryptosystem is built upon the class of Goppa codes, which remains secure to this date in contrast to many other families of codes but leads to very large pu...
106
click to vote
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
—In this treatise, we propose a novel family of serial concatenated IrRegular Convolutional Coded (IRCC) IrRegular Precoded Differential Linear Dispersion Codes (IR-PDLDC). The i...