Volume 21; Issue 12

Communications of the ACM

Volume 21; Issue 12
1

Using encryption for authentication in large networks of computers

Needham, Roger M., Schroeder, Michael D.
Journal:
Communications of the ACM
Year:
1978
Language:
english
File:
PDF, 734 KB
english, 1978
3

A linear sieve algorithm for finding prime numbers

Gries, David, Misra, Jayadev
Journal:
Communications of the ACM
Year:
1978
Language:
english
File:
PDF, 451 KB
english, 1978
4

Reverse path forwarding of broadcast packets

Dalal, Yogen K., Metcalfe, Robert M.
Journal:
Communications of the ACM
Year:
1978
Language:
english
File:
PDF, 957 KB
english, 1978
5

Abstract data types and software validation

Guttag, John V., Horowitz, Ellis, Musser, David R.
Journal:
Communications of the ACM
Year:
1978
Language:
english
File:
PDF, 10.16 MB
english, 1978
6

The selection of optimal tab settings

Peterson, James L., Bitner, James R., Howard, John H.
Journal:
Communications of the ACM
Year:
1978
Language:
english
File:
PDF, 2.05 MB
english, 1978
7

An example of hierarchical design and proof

Spitzen, Jay M., Levitt, Karl N., Robinson, Lawrence
Journal:
Communications of the ACM
Year:
1978
Language:
english
File:
PDF, 7.45 MB
english, 1978
8

Detection of logical errors in decision table programs

Ibramsha, M., Rajaraman, V.
Journal:
Communications of the ACM
Year:
1978
Language:
english
File:
PDF, 5.41 MB
english, 1978
10

Optimizing decision trees through heuristically guided search

Martelli, Alberto, Montanari, Ugo
Journal:
Communications of the ACM
Year:
1978
Language:
english
File:
PDF, 1.15 MB
english, 1978