-
1
-
-
0032058198
-
Proof verification and the hardness of approximation problems
-
Arora, S., Lund, C., Motwani, R., Sudan, M., Szegedy, M.: Proof verification and the hardness of approximation problems. J. ACM 45 (3), 501-555 (1998)
-
(1998)
J. ACM
, vol.45
, Issue.3
, pp. 501-555
-
-
Arora, S.1
Lund, C.2
Motwani, R.3
Sudan, M.4
Szegedy, M.5
-
2
-
-
0031651077
-
Probabilistic checking of proofs: A new characterization of NP
-
Arora, S., Safra, S.: Probabilistic checking of proofs: A new characterization of NP. J. ACM 45 (1), 70-122 (1998)
-
(1998)
J. ACM
, vol.45
, Issue.1
, pp. 70-122
-
-
Arora, S.1
Safra, S.2
-
3
-
-
77955320796
-
-
manuscript
-
Aspnes, J., Blais, E., Demirbas, M., O'Donnell, R., Rudra, A., Uurtamo, S.: k+ decision trees (2010) (manuscript)
-
(2010)
K+ Decision Trees
-
-
Aspnes, J.1
Blais, E.2
Demirbas, M.3
O'Donnell, R.4
Rudra, A.5
Uurtamo, S.6
-
5
-
-
70350624763
-
Locally testable codes require redundant testers
-
In
-
Ben-Sasson, E., Guruswami, V., Kaufman, T., Sudan, M., Viderman, M.: Locally testable codes require redundant testers. In: IEEE Conference on Computational Complexity, pp. 52-61 (2009)
-
(2009)
IEEE Conference on Computational Complexity
, pp. 52-61
-
-
Ben-Sasson, E.1
Guruswami, V.2
Kaufman, T.3
Sudan, M.4
Viderman, M.5
-
6
-
-
33644601327
-
Some 3cnf properties are hard to test
-
Ben-Sasson, E., Harsha, P., Raskhodnikova, S.: Some 3cnf properties are hard to test. SIAM J. Comput. 35 (1), 1-21 (2005)
-
(2005)
SIAM J. Comput.
, vol.35
, Issue.1
, pp. 1-21
-
-
Ben-Sasson, E.1
Harsha, P.2
Raskhodnikova, S.3
-
7
-
-
0021392066
-
Error-correcting codes for semiconductor memory applications: A state-of-the-art review
-
Chen, C. L., Hsiao, M. Y.: Error-correcting codes for semiconductor memory applications: A state-of-the-art review. IBM Journal of Research and Development 28 (2), 124-134 (1984)
-
(1984)
IBM Journal of Research and Development
, vol.28
, Issue.2
, pp. 124-134
-
-
Chen, C.L.1
Hsiao, M.Y.2
-
8
-
-
0028444938
-
RAID: Highperformance, reliable secondary storage
-
Chen, P. M., Lee, E. K., Gibson, G. A., Katz, R. H., Patterson, D. A.: RAID: Highperformance, reliable secondary storage. ACM Computing Surveys 26 (2), 145-185 (1994)
-
(1994)
ACM Computing Surveys
, vol.26
, Issue.2
, pp. 145-185
-
-
Chen, P.M.1
Lee, E.K.2
Gibson, G.A.3
Katz, R.H.4
Patterson, D.A.5
-
9
-
-
34250354807
-
The PCP theorem by gap amplification
-
Dinur, I.: The PCP theorem by gap amplification. J. ACM 54 (3), 12 (2007)
-
(2007)
J. ACM
, vol.54
, Issue.3
, pp. 12
-
-
Dinur, I.1
-
11
-
-
67449105320
-
Hard-disk drives: The good, the bad, and the ugly
-
Elerath, J.: Hard-disk drives: The good, the bad, and the ugly. Communications of the ACM 52 (6), 38-45 (2009)
-
(2009)
Communications of the ACM
, vol.52
, Issue.6
, pp. 38-45
-
-
Elerath, J.1
-
12
-
-
0001329796
-
On r-cover-free families
-
Füredi, Z.: On r-cover-free families. J. Comb. Theory, Ser. A 73 (1), 172-173 (1996)
-
(1996)
J. Comb. Theory, Ser. A
, vol.73
, Issue.1
, pp. 172-173
-
-
Füredi, Z.1
-
13
-
-
26944493015
-
Tolerant locally testable codes
-
Chekuri, C., Jansen, K., Rolim, J. D. P., Trevisan, L. eds., Springer, Heidelberg
-
Guruswami, V., Rudra, A.: Tolerant locally testable codes. In: Chekuri, C., Jansen, K., Rolim, J. D. P., Trevisan, L. (eds.) APPROX 2005 and RANDOM 2005. LNCS, vol. 3624, pp. 306-317. Springer, Heidelberg (2005)
-
(2005)
APPROX 2005 and RANDOM 2005. LNCS
, vol.3624
, pp. 306-317
-
-
Guruswami, V.1
Rudra, A.2
-
14
-
-
38349146703
-
Explicit codes achieving list decoding capacity: Errorcorrection up to the Singleton bound
-
Guruswami, V., Rudra, A.: Explicit codes achieving list decoding capacity: Errorcorrection up to the Singleton bound. IEEE Transactions on Information Theory 54 (1), 135-150 (2008)
-
(2008)
IEEE Transactions on Information Theory
, vol.54
, Issue.1
, pp. 135-150
-
-
Guruswami, V.1
Rudra, A.2
-
15
-
-
77951698314
-
Efficiently decodable non-adaptive group testing
-
In
-
Indyk, P., Ngo, H. Q., Rudra, A.: Efficiently decodable non-adaptive group testing. In: Proceedings of the 20th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 1126-1142 (2010)
-
(2010)
Proceedings of the 20th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)
, pp. 1126-1142
-
-
Indyk, P.1
Ngo, H.Q.2
Rudra, A.3
-
19
-
-
0030283874
-
Linear-time encodable and decodable error-correcting codes
-
Spielman, D.: Linear-time encodable and decodable error-correcting codes. IEEE Transactions on Information Theory 42 (6), 1723-1732 (1996)
-
(1996)
IEEE Transactions on Information Theory
, vol.42
, Issue.6
, pp. 1723-1732
-
-
Spielman, D.1
|