1967
22 references published this year.
An implementation of a multiprocessing computer system
William B. Ackerman and others (1967) · Proceedings of the ACM symposium on Operating System Principles - SOSP '67 · ACM Press
Validity of the single processor approach to achieving large scale computing capabilities
Gene M. Amdahl (1967) · Proceedings of the April 18-20, 1967, Spring Joint Computer Conference (AFIPS '67, Spring) · ACM Press
The IBM System/360 Model 91: Machine Philosophy and Instruction-Handling
D. W. Anderson and others (1967) · IBM
The IBM System/360 Model 91: Floating-Point Execution Unit
S. F. Anderson and others (1967) · IBM
Lattice Theory
G. Birkhoff (1967) · American Mathematical Society
A digital communication network for computers giving rapid response at remote terminals
D. W. Davies and others (1967) · Proceedings of the First ACM Symposium on Operating System Principles
Assigning meanings to programs
Robert W. Floyd (1967) · Proceedings of symposia in applied mathematics · American Mathematical Society
Nondeterministic Algorithms
Robert W. Floyd (1967) · Journal of the ACM · Association for Computing Machinery
Two-way pushdown automata
Jim Gray and others (1967) · Elsevier BV
Design and Use of Fault Simulation for Saturn Computer Design
F. Hardie and others (1967) · IEEE Transactions on Electronic Computers · Institute of Electrical and Electronics Engineers
Games with incomplete information played by “Bayesian
J. C. Harsanyi (1967) · players, I–III Part I
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931
Jean van Heijenoort (1967) · Harvard University Press
On the rules of suppositions in formal logic
S. Jaśkowski (1967) · Polish Logic 1920-1939 · Clarendon Press
A Primal Method for Minimal Cost Flows with Applications to the Assignment and Transportation Problems
Morton Klein (1967) · Management Science · Institute for Operations Research and the Management Sciences
Another look at data
George H. Mealy (1967) · Proceedings of the November 14-16, 1967, Fall Joint Computer Conference · Association for Computing Machinery
Computation: Finite and Infinite Machines
M. Minsky (1967) · Prentice-Hall
Past, Present and Future
Arthur Prior (1967) · Oxford University Press
Theory of Recursive Functions and Effective Computability
H. Rogers (1967) · McGraw-Hill
Mathematical Logic
J. R. Shoenfield (1967) · Addison-Wesley
An Efficient Algorithm for Exploiting Multiple Arithmetic Units
R. M. Tomasulo (1967) · IBM Journal of Research and Development · IBM
The Inequality of States
David Vital (1967)
Security and privacy in computer systems
Willis H. Ware (1967) · AFIPS Spring Joint Computer Conference (SJCC)