Volume 33; Issue 4

Journal of the ACM

Volume 33; Issue 4
1

How to construct random functions

Goldreich, Oded, Goldwasser, Shafi, Micali, Silvio
Journal:
Journal of the ACM
Year:
1986
Language:
english
File:
PDF, 248 KB
english, 1986
2

Subproblem finder and instance checker, two cooperating modules for theorem provers

de Champeaux, Dennis
Journal:
Journal of the ACM
Year:
1986
Language:
english
File:
PDF, 1.71 MB
english, 1986
3

On driving many long wires in a VLSI layout

Ramachandran, Vijaya
Journal:
Journal of the ACM
Year:
1986
Language:
english
File:
PDF, 1.08 MB
english, 1986
4

Polynomial-time algorithm for the orbit problem

Kannan, R., Lipton, R. J.
Journal:
Journal of the ACM
Year:
1986
Language:
english
File:
PDF, 1019 KB
english, 1986
5

Approximating grammar probabilities: solution of a conjecture

Chaudhuri, R., Rao, A. N. V.
Journal:
Journal of the ACM
Year:
1986
Language:
english
File:
PDF, 308 KB
english, 1986
6

Complexity of parallel QR factorization

Cosnard, M., Robert, Y.
Journal:
Journal of the ACM
Year:
1986
Language:
english
File:
PDF, 718 KB
english, 1986
8

Countable nondeterminism and random assignment

Apt, K. R., Plotkin, G. D.
Journal:
Journal of the ACM
Year:
1986
Language:
english
File:
PDF, 2.93 MB
english, 1986
10

Initializing generalized feedback shift register pseudorandom number generators

Collings, Bruce Jay, Hembree, G. Barry
Journal:
Journal of the ACM
Year:
1986
Language:
english
File:
PDF, 503 KB
english, 1986