Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
71 | Manuel Blum 0001, Bruno Codenotti, Peter Gemmell, Troy Shahoumian |
Self-Correcting for Function Fields Transcendental Degree. |
ICALP |
1995 |
DBLP DOI BibTeX RDF |
|
32 | Parikshit Gopalan, Adam R. Klivans, David Zuckerman |
List-decoding reed-muller codes over small fields. |
STOC |
2008 |
DBLP DOI BibTeX RDF |
fitting polynomials, self-correctors, reed-muller codes, list-decoding |
32 | Manuel Blum 0001, Hal Wasserman |
Program Result-Checking: A Theory of Testing Meets a Test of Theory |
FOCS |
1994 |
DBLP DOI BibTeX RDF |
real-number linear transformation, program result-checking, self-correctors, reliable functionality, real-number computer systems, stored randomness, debugging, Fourier Transform, checkers, run-time checks |
32 | Ronitt Rubinfeld |
On the robustness of functional equations |
FOCS |
1994 |
DBLP DOI BibTeX RDF |
self-correctors, functional equations robustness, self-testing programs, self correcting programs, self-testers, quantifiers |
30 | Go Yamamoto, Tetsutaro Kobayashi |
Self-correctors for Cryptographic Modules. |
IMACC |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Hal Wasserman, Manuel Blum 0001 |
Software reliability via run-time result-checking. |
J. ACM |
1997 |
DBLP DOI BibTeX RDF |
self-correcting, fault tolerance, debugging, Fourier transform, concurrent error detection, built-in testing, result-checking |
Displaying result #1 - #6 of 6 (100 per page; Change: )
|