Sciweavers

3107 search results - page 129 / 622
» Error-Correcting Source Code
Sort
View
COMPSYSTECH
2010
15 years 2 months ago
A framework for source code metrics
Neli Maneva, Nikolay Grozev, Delyan Lilov
CCS
2010
ACM
15 years 2 months ago
Computationally sound verification of source code
Michael Backes, Matteo Maffei, Dominique Unruh
CORR
2008
Springer
52views Education» more  CORR 2008»
15 years 2 months ago
Source Coding with Mismatched Distortion Measures
Urs Niesen, Devavrat Shah, Gregory W. Wornell