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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 22nd International Colloquium, ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings, pp. 547-557, 1995, Springer, 3-540-60084-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
32 | Parikshit Gopalan, Adam R. Klivans, David Zuckerman |
List-decoding reed-muller codes over small fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, pp. 265-274, 2008, ACM, 978-1-60558-047-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 35th Annual Symposium on Foundations of Computer Science, Santa Fe, New Mexico, USA, 20-22 November 1994, pp. 382-392, 1994, IEEE Computer Society, 0-8186-6580-7. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 35th Annual Symposium on Foundations of Computer Science, Santa Fe, New Mexico, USA, 20-22 November 1994, pp. 288-299, 1994, IEEE Computer Society, 0-8186-6580-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMACC ![In: Cryptography and Coding - 13th IMA International Conference, IMACC 2011, Oxford, UK, December 12-15, 2011. Proceedings, pp. 132-151, 2011, Springer, 978-3-642-25515-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Hal Wasserman, Manuel Blum 0001 |
Software reliability via run-time result-checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 44(6), pp. 826-849, 1997. The full citation details ...](Pics/full.jpeg) |
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: )
|