Search For:

Displaying 1-3 out of 3 total
Conjunctive encoding of Boolean matrices
Found in: Foundations of Computer Science, Annual IEEE Symposium on
By D. R. Stover, D. L. Epley
Issue Date:October 1966
pp. 207-214
A procedure is presented for encoding the states of a control counter in such a way as to make each output or its complement decodable as a single AND-gate, where the inputs to the AND-gates are state variables or their complements. It is assumed that the ...
 
On state assignments and sequential machine decompositions from S. P. Partitons
Found in: Foundations of Computer Science, Annual IEEE Symposium on
By D. L. Epley, P. T. Wang
Issue Date:November 1964
pp. 228-233
No summary available.
 
Memory Requirements in a Multiprocessing Environment
Found in: Journal of the ACM (JACM)
By D. L. Epley, Y. E. Chen
Issue Date:January 1972
pp. 57-69
Many problems, some of them quite meaningful, have been proved to be recursively unsolvable for programs in general. The paper is directed toward a class of programs where many decision problems are solvable. The equivalence problem has been proved to be u...
     
 1