Some remarks on logical design and programming checks

  • Authors:

  • Herman H. Goldstine

  • Affiliations:

  • The Institute for Advanced Study, Princeton, N.J.

  • Venue:
  • AIEE-IRE '53 (Eastern) Papers and discussions presented at the Dec. 8-10, 1953, eastern joint AIEE-IRE computer conference: information processing systems---reliability and requirements
  • Year:
  • 1953

Quantified Score

Hi-index 0.00

Visualization

Abstract

I should like to discuss two topics which are of some interest. One, is it possible to construct out of elements which are known to be imperfect a logical automaton which will have a given degree of reliability? Two, given a machine, what can one do by way of programming checks to insure accuracy of the final results?