1888 search results - page 96 / 378 » Proof theory and computational analysis |
90
Voted
COCO
2009
Springer
15 years 7 months ago
2009
Springer
The coding theorem is a fundamental result of algorithmic information theory. A well known theorem of G´acs shows that the analog of the coding theorem fails for continuous sample...
134
Voted
ICFEM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
104
click to vote
CACM
2010
14 years 10 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
134
click to vote
ICC
2011
IEEE
14 years 4 days ago
2011
IEEE
—We consider a general wireless channel model for different types of code-division multiple access (CDMA) and space-division multiple-access (SDMA) systems with isometric random ...
105
Voted
FSE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper, we propose a 2/3-rate double length compression function and study its security in the black-box model. We prove that to get a collision attack for the com...