1518 search results - page 136 / 304 » Cryptographic Test Correction |
189
click to vote
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
160
click to vote
PLDI
2000
ACM
15 years 8 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...
139
click to vote
CF
2005
ACM
15 years 5 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
164
Voted
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
The previous work of the authors has shown that physiological
information on the face can be extracted from
thermal infrared imagery and can be used as a biometric.
Although, th...
93
Voted
MICCAI
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. In this paper, we experimentally tested the positioning repeatability of MR-compatible manipulator with a CCD laser micrometer inside MRI. To evaluate the performance of ...