Funda Ergün  Home/Search
Context Related
| umd.edu/pub/faculty/khuller/...funda.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: umd.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The problem of testing program correctness has received considerable attention in computer science. One approach to this problem is the notion of self-testing programs [BLR90]. Selftesting usually becomes more costly in the case of testing multivariate functions. In this paper we present efficient methods for self-testing multivariate linear functions. We then apply these methods to several multivariate linear problems to construct efficient self-testers. Cornell University. email:... (Update)
Context of citations to this paper: More
...algorithms, etc. Some of the main developments along this line of research includes the work in [Rub90, CL90, RS92, ABCG93, Rub94, Erg95, RS95] These two lines of research have vastly benefited from each other, particularly exemplified by the combination of ideas from...
...all these problems. This paper unifies the preliminary versions which appeared in the 27th Annual Symposium on Theory of Computing [Erg95] and in the 15th Annual Foundations of Software Technology and Theoretical Computer Science [KS95] y Department of Computer Science,...
Cited by: More
Efficient Self-Testing/Self-Correction of Linear Recurrences - Kumar, Sivakumar (Correct)
Software Reliability via Run-Time Result-Checking - Manuel Blum Hal (1994) (Correct)
Checking Properties of Polynomials (Extended Abstract) - Codenotti, al. (Correct)
Active bibliography (related documents): More All
0.3: On the Robustness of Functional Equations - Rubinfeld (1994) (Correct)
0.2: Robust Characterizations of Polynomials with Applications to .. - Rubinfeld, Sudan (1996) (Correct)
0.2: Efficient Checking of Polynomials and Proofs and the Hardness of.. - Sudan (1992) (Correct)
Similar documents based on text: More All
0.8: Self-Testing Without The Generator Bottleneck - Ergün, Kumar, Sivakumar (Correct)
0.4: Self-Testing/Correcting with Applications to Numerical.. - Blum, Luby, Rubinfeld (1990) (Correct)
0.2: Weighing The Black Hole In The Narrowline Seyfert 1.. - Puchnarewicz Mason.. (Correct)
Related documents from co-citation: More All
5: Checking approximate computations over the reals - Ar, Blum et al. - 1993
4: Testing Polynomial Functions Efficiently and over Rational Domains (context) - Rubinfeld, Sudan - 1992
4: Robust characterizations of polynomials and their applications to program testin.. (context) - Rubinfeld, Sudan - 1996
BibTeX entry: (Update)
F. Ergun. Testing multivariate linear functions: Overcoming the generator bottleneck. In Proc. 27th Annual ACM Symposium on the Theory of Computing, pages 407--416, 1995. http://citeseer.ist.psu.edu/ergun94testing.html More
@techreport{ ergun94testing,
author = "Funda Ergun",
title = "Testing Multivariate Linear Functions:Overcoming the Generator Bottleneck",
number = "TR94-1453",
month = "13,",
pages = "12",
year = "1994",
url = "citeseer.ist.psu.edu/ergun94testing.html" }
Citations (may not include all citations):132 Hiding instances in multioracle queries (context) - Beaver, Feigenbaum - 1990
92 correcting with applications to numerical problems (context) - Blum, Luby et al. - 1990
60 correcting for polynomials and for approximate functions (context) - Gemmell, Lipton et al. - 1991
29 Testing polynomial functions efficiently and over rational d.. (context) - Rubinfeld, Sudan - 1992
23 Program correctness checking : : : and the design of program.. (context) - Blum, Kannan - 1989
10 A Note on Self-Testing/Correcting Methods for Trigonometric .. (context) - Cleve, Luby - 1990
7 DIMACS Series in Discrete Math and Theoretical Computer Scie.. (context) - Lipton, in et al. - 1991
1 Springer Verlag Lecture Notes in CS No (context) - Freivalds, Algorithms - 1979
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.umd.edu.html): More
The Relative Importance of Concurrent Writers and Weak.. - Keleher (1996) (Correct)
An Architecture for a Cooperative Database System - Godfrey, Minker, Novik (1994) (Correct)
The Internet Worm Program: An Analysis - Spafford (1988) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC