Journal: IEEE Transactions on Computers

Volume 10, Issue 4

587 -- 592Michael Yoeli. The Cascade Decomposition of Sequential Machines
593 -- 603Richard Edwin Stearns, Juris Hartmanis. On the State Assignment Problem for Sequential Machines II
604 -- 615Sheldon B. Akers Jr.. A Truth Table Method for the Synthesis of Combinational Logic
615 -- 622Sidney N. Einhorn. The Use of the Simplex Algorithm in the Mechanization of Boolean Switching Functions by Means of Magnetic Cores
623 -- 630Edward H. Sussenguth Jr.. An Algorithm for Automatic Design of Logical Cryogenic Circuits
631 -- 637Merwyn E. Arthur. Geometric Mapping of Switching Functions
638 -- 661Per Asbjørn Holst. Bibliography on Switching Circuits and Logical Algebra
662 -- 670James Bruce Wilson, Robert S. Ledley. An Algorithm for Rapid Binary Division
670 -- 679Sidney B. Geller, Paul A. Mantek, Don R. Boyle. A General Junction-Transistor Equivalent Circuit for Use in Large-Signal Switching Analysis
680 -- 690Alan L. Leiner, Arnold Weinberger, Charles Coleman, Harry Loberman. Using Digital Computers in the Design and Maintenance of New Computers
691 -- 698Meier M. Lehman, Naphtali Burla. Skip Techniques for High-Speed Carry-Propagation in Binary Arithmetic Units
699 -- 701Robert C. Brigham. Some Properties of Binary Counters with Feedback
702 -- 708Lee E. Hargrave. A Magnetostrictive Delay-Line Shift Register
708 -- 711Donald O. Smith. Proposal for Magnetic Domain-Wall Storage and Logic
712 -- 717Ralph C. Johnston. Cryosar Memory Design
718 -- 722Ephraim H. Frei, Jacob Goldberg. A Method for Resolving Multiple Responses in a Parallel Search File
722 -- 729Gerhard L. Hollander. Drum Organization for Strobe Addressing
729 -- 735Bert F. Green Jr.. Computer Languages for Symbol Manipulation
735 -- 747David N. Freeman. Computer Synthesis of Character-Recognition Systems
748 -- 751Charles S. Deering, Cecil B. Shelman. An Incremental Computer Technique for Solving Coordinate-Rotation Equations
752 -- 758Carl L. Becker, John V. Wait. Two-Level Correlation on an Analog Computer
759 -- 776Edward A. Feigenbaum. Soviet Cybernetics and Computer Sciencesߞ1960
777 -- 0John E. Croy. Rapid Technique of Manual or Machine Binary-to-Decimal Integer Conversion Using Decimal Radix Arithmetic
777 -- 778Wilbur H. Highleyman. A Note on Linear Separation
778 -- 0Harold F. Klock. Functional Notation for NOR and NAND Networks
781 -- 0Karl S. Menger. Correction to "A Modulo Two Adder for Three Inputs Using a Single Tunnel Diode"
781 -- 782E. L. Lawler. Minimization of Switching Circuits Subject to Reliability Conditions
783 -- 0David L. Zackon. Variable Time Delay by Padé Approximation

Volume 10, Issue 3

346 -- 365C.-Y. Lee. An Algorithm for Path Connections and Its Applications
366 -- 370Arthur Gill. Cascaded Finite-State Machines
371 -- 378William H. Kautz. The Realization of Symmetric Switching Functions with Linear-Input Logical Elements
379 -- 383Robert P. Coleman. Orthogonal Functions for the Logical Design of Switching Circuits
383 -- 388Benjamin M. Eisenstadt, Bernhard Gold. Autocorrelations for Boolean Functions of Noiselike Periodic Sequences
389 -- 400Algirdas Avizienis. Signed-Digit Numbe Representations for Fast Parallel Arithmetic
400 -- 406Charles W. Rosenthal. Computing Machine Aids to a Development Project
407 -- 416William G. Brown, Joseph Tierney, Reuben Wasserman. Improvement of Electronic-Computer Reliability through the Use of Redundancy
416 -- 425Arthur W. Lo. Some Thoughts on Digital Components and Circuit Techniques
426 -- 438Noah S. Prywes, Herman Lukoff, John Schwarz. UNIYAC-LARC High-Speed Circuitry: Case History in Circuit Optimization
438 -- 446L. L. Burns Jr., G. A. Alphonse, G. W. Leck. Coincident-Current Superconductive Memory
446 -- 451Donald H. MacPherson, Robert K. York. Semipermanent Storage by Capacitive Coupling
451 -- 461William A. Barrett, Floyd B. Humphrey, James A. Ruff, Henry L. Stadler. A Card-Changeable Permanent-Magnet-Twistor Memory of Large Capacityt
462 -- 483Paul L. Simmons, Robert F. Simmons. The Simulation of Cognitive Processes: An Annotated Bibliography
484 -- 489Herbert Gelernter. A Note on the System Requirements of a Digital Computer for the Manipulation of List Structures
489 -- 501Louis A. Kamentsky. The Simulation of Three Machines Which Read Rows of Handwritten Arabic Numbers
502 -- 512Wilbur H. Highleyman. An Analog Method for Character Recognition
512 -- 515George Kovatch, Wilbur E. Meserve. The Hall-Effect Analog Multiplier
516 -- 523Charles H. Single, John A. Brussolo. Copper-Mandrel Potentiometer Dynamic Error and Compensation
524 -- 529Merle L. Morgan, James C. Looney. Design of the ESIAC® Algebraic Computer
531 -- 532R. Narasimhan. Minimizing Incompletely Specified Sequential Switching Functions
532 -- 0D. B. G. Edwards. High-Speed Transistorized Adders
533 -- 534Rob Roy. Multichannel Minimum-Amplitude Comparator
533 -- 0T. W. Connolly, K. S. Miller. Analog Computation of Covariance Matrices

Volume 10, Issue 2

151 -- 156K. V. Mina, Edmund E. Newhall. A Straightforward Way of Generating All Boolean Functions of N Variables Using a Single Magnetic Circuit
157 -- 165Juris Hartmanis. On the State Assignment Problem for Sequential Machines. I
165 -- 168John T. Chu. A Generalization of a Theorem of Quine for Simplifying Truth Functions
169 -- 174Roy G. Saltman. Reducing Computing Time for Synchronous Binary Division
175 -- 183Herman J. Heijn, Johan C. Selman. The Philips Computer PASCAL
183 -- 190Hannon S. Yourke, Sammy A. Butler, William G. Strohm. Esaki Diode NOT-OR Logic Circuits
191 -- 203John L. Haynes. Logic Circuits Using Square-Loop Magnetic Devices: A Survey
203 -- 206David R. Bennion, Hewitt D. Crane, Douglas C. Engelbart. A Bibliographical Sketch of All-Magnetic Logic Schemes
207 -- 220Hewitt D. Crane, E. K. Van De Riet. Design of an All-Magnetic Computing System: Part I-Circuit Design
221 -- 232Hewitt D. Crane. Design of an All-Magnetic Computing System: Part II-Logical Design
233 -- 237Charles Avery Allen, George D. Bruce, Edwin D. Councill. A 2.18-Microsecond Megabit Core Storage Unit
238 -- 246Warren A. Christopherson. Matrix Switch and Drive System for a Low-Cost Magnetic-Core Memory
247 -- 252Meir M. Lehman. Serial Matrix Storage Systems
253 -- 259Frank F. Tsui. A Flexible and Inexpensive Method of Monitoring Program Execution in a Digital Computer
260 -- 268Herbert Freeman. On the Encoding of Arbitrary Geometric Configurations
269 -- 272Ernst Kettel, Wolfgang Schneider. An Accurate Analog Multiplier and Divider
273 -- 284Reginald A. Kaenel. High-Speed Analog-to-Digital Converters Utilizing Tunnel Diodes
285 -- 0Arthur Rothbart. Bibliography on magnetostrictive delay lines
285 -- 287H. H. Edwards, V. L. Newhouse, J. W. Bremer. Analysis of a Crossed-Film Cryoton Shift Register
287 -- 288Wilbur H. Highleyman. A Note on Optimum Pattern Recognition Systems
288 -- 290J. Myhill, William H. Kautz. On the Size of Weights Required for Linear-Input Switching Functions
288 -- 0Jorge E. Mezei. Minimal Characterizing Experiments for Finite Memory Automata
290 -- 291Arthur Gill. A Note on Moore's Distinguishability Theorem
291 -- 0Douglas C. Engelbart. Correction Games that Teach the Fundamentals of Computer Operation

Volume 10, Issue 1

1 -- 6Robert McNaughton. Unate Truth Functions
6 -- 16Robert C. Minnick. Linear-Input Logic
17 -- 21Marius Cohn, Richard Lindaman. Axiomatic Majority-Decision Logic
21 -- 30Thomas C. Bartee. Computer Design of Multiple-Output Logical Networks
31 -- 41Douglas C. Engelbart. Games That Teach the Fundamentals of Computer Operation
42 -- 50Masanao Aoki, Gerald Estrin. Bilateral Switching Using Nonsymmetric Elements
51 -- 56Robert Betts, Geoffrey Bishop. Ferrite Toroid Core Circuit Analysis
56 -- 62Carl G. Shook. A Digital Static Magnetic Wire Storage with Nondestructive Read-Out
63 -- 70Philip W. Cheney. A Digital Correlator Based on the Residue Number System
71 -- 77Rodney M. Duffy, C. P. Gilbert. A Function Generator Using Cold-Cathode Selector Tubes
78 -- 80Kenneth S. Miller, John B. Walsh. Initial Conditions in Computer Simulation
81 -- 91Keith W. Uncapher. 1960 PGEC Membership Report
92 -- 93R. B. Stone, Gerald M. White. High-Order Probability Generators
93 -- 94Maurice Vincent Wilkes. Self-Repairing Computers
94 -- 95H. S. Miiller. Majority Gates Applied to Simultaneous Comparators
95 -- 96R. Bianchini, C. Freiman. On Internal Variable Assignments for Sequential Switching Circuits
96 -- 0Woodrow ("Woody") Wilson Bledsoe. Further Results on the N-tuple Pattern Recognition Method
96 -- 97Leonard Uhr. A Possibly Misleading Conclusion as to the Inferiority of One Method for Pattern Recognition to a Second Method to which it is Guaranteed to be Superior
97 -- 98N. V. Findler. Computer Model of Gambling and Bluffing
97 -- 0Wilbur H. Highleyman. Further Comments on the N-tuple Pattern Recognition Method
98 -- 100Jerome R. Cox. A Squaring Analog-Digital Converter
100 -- 101Philip W. Cheney. Analog-to-Digital Conversion with Threshold Detectors