Search For:

Displaying 1-2 out of 2 total
Implication techniques for Bollean functions
Found in: Foundations of Computer Science, Annual IEEE Symposium on
By R. S. Gaines
Issue Date:November 1964
pp. 174-182
This paper presents several uses of the logical connective of implication to problems of interest in switching theory. The implications which hold among the prime implicants of a function are examined. A new set of necessary and sufficient conditions for d...
Micro benchmark analysis of the KSR1
Found in: Proceedings of the 1993 ACM/IEEE conference on Supercomputing (Supercomputing '93)
By M. J. Carlton, R. H. Saavedra, R. S. Gaines
Issue Date:December 1993
pp. 202-213
This paper discusses scalability and outlines a specific approach to measuring the scalability of parallel computer systems. The relationship between scalability and speedup is described. It is shown that a parallel system is scalable for a given algorithm...