| Testing multivariate linear functions: overcoming the generator bottleneck |
| Full text |
Pdf
(887 KB)
|
| Source
|
Annual ACM Symposium on Theory of Computing
archive
Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
table of contents
Las Vegas, Nevada, United States
Pages: 407 - 416
Year of Publication: 1995
ISBN:0-89791-718-9
|
|
Author
|
|
| Sponsor |
|
| Publisher |
|
| Bibliometrics |
Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 2
|
|
|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
 |
ABCG
|
S. Ar , M. Blum , B. Codenotti , P. Gemmell, Checking approximate computations over the reals, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing, p.786-795, May 16-18, 1993, San Diego, California, United States
[doi> 10.1145/167088.167288]
|
| |
BF90
|
|
| |
BK89
|
M, Blum and S. Kannan. Program cor- Char-rectness checking . . . and the design of pro- Ap-grams that check their work.
|
| |
BLR90
|
|
| |
BW94
|
M. Blum, H. Wasserman. Program Result-Checklng: A Theory of Testing Meets Test of Theory. In Proceedings of the 35th IEEE Symposium on Foundations of Com-puter Science, pp. 382-392, 1994.
|
| |
Fre79
|
R. Freivalds. Fast probabilistic Algorithms. Springer Verlag Lecture Notes in CS No.74, Mathematical Foundations of CS, pp. 57- 69, 1979.
|
| |
CL90
|
R. Cleve, M. Luby. A Note on Self-Testing/ Correcting Methods for Trigono-metric Functions. International Computer Science Institute Technical Report TR-90- 032, July, 1990.
|
| |
CR92
|
E. Castillo, M. R. Ruiz-Cobo. Functional Equations and Modelling in Science and Engineering, Marcel Dekker, Inc., 1992.
|
 |
GLRSW91
|
Peter Gemmell , Richard Lipton , Ronitt Rubinfeld , Madhu Sudan , Avi Wigderson, Self-testing/correcting for polynomials and for approximate functions, Proceedings of the twenty-third annual ACM symposium on Theory of computing, p.33-42, May 05-08, 1991, New Orleans, Louisiana, United States
[doi> 10.1145/103418.103429]
|
| |
Lip91
|
R. Lipton. New directions in testing. Dis-tributed Computing and Cryptography, DI-MA CS Series in Discrete Math and Theo-retical Computer Science, American Math-ematical Society, 2:191-202, 1991.
|
| |
Rub94
|
R. Rubinfeld. Robust Functional Equaitons with Applications Self-Testing/Correcting. In Proceedings the 35th IEEE Symposium on Foundations of Computer Science, pp. 288-299, 1994.
|
| |
RS92
|
|
| |
RS93
|
|
|