Abstract is missing.
- Topics in numerical mathematics (Paper Session)Donald G. M. Anderson, Robin E. Esch. 629 [doi]
- NATS a collaborative effort to certify and disseminate mathematical softwareJames M. Boyle, William J. Cody, Wayne R. Cowell, Burton S. Garbow, Yasuhiko Ikebe, Cleve B. Moler, Brian T. Smith. 630-635 [doi]
- Some major modifications to a new method for solving ill-conditioned polynomial equationsDonna K. Dunaway, B. Lynn Turlington. 636-643 [doi]
- On conventions for systems of numerical representationPeter M. Neely. 644-651 [doi]
- Piecewise approximation of functions of two variables through regions with variable boundariesTheodosios Pavlidis. 652-662 [doi]
- George Forsythe memorial lecture (Panel Session)Donald G. M. Anderson, William Kahan, Joseph F. Traub. 663 [doi]
- Privacy and protection in operating systems (Panel Session)James P. Anderson, Peter J. Denning, Roger P. Schell, Clark Weissman, R. Stockton Gaines. 665-666 [doi]
- Practical experience with virtual memory systems (Panel Session)John W. Brackett. 667 [doi]
- System performance measurements and evaluation (Panel Session)Joel M. Winett. 669 [doi]
- Effects of secondary storage I/O contention on the performance of an interactive information management systemRichard C. Atwood. 670-679 [doi]
- Interactive task behavior in a time-sharing environmentMurty Parupudi, Joseph Winograd. 680-692 [doi]
- An experimental study of computer system performanceHerbert D. Schwetman, James C. Browne. 693-703 [doi]
- Disk throughput estimationDavid L. Stone, Rollins Turner. 704-711 [doi]
- Formal definition of programming languages (Panel Session): "The lambda calculus approach"Burt M. Leavenworth, John M. Wozencraft. 713 [doi]
- The lambda calculus and its relation to programming languagesArthur Evans Jr.. 714-716 [doi]
- Definitional interpreters for higher-order programming languagesJohn C. Reynolds. 717-740 [doi]
- Control structures in programming languages - part-I (Panel Session): "The state of the art"Burt M. Leavenworth, Jack B. Dennis. 741 [doi]
- Proper termination of flow-of-control in programs involving concurrent processesKim P. Gostelow, Vincent G. Cerf, Gerald Estrin, Saul Volansky. 742-754 [doi]
- The specification of program flow in Madcap 6James B. Morris, Mark B. Wells. 755-762 [doi]
- An implementation of backtracking for programming languagesCharles J. Prenner, Jay M. Spitzen, Ben Wegbreit. 763-771 [doi]
- Automatic recognition of vector and parallel operations in a higher level languagePaul B. Schneck. 772-779 [doi]
- Control structures in programming languages - Part II (Panel Session): "The GOTO controversy"Burt M. Leavenworth. 781 [doi]
- Programming with(out) the GOTOBurt M. Leavenworth. 782-786 [doi]
- A case for the GOTOMartin E. Hopkins. 787-790 [doi]
- A case against the GOTOWilliam A. Wulf. 791-797 [doi]
- Demonstration of interactive symbolic and algebraic manipulation systems (Panel Session)Joel Moses. 799 [doi]
- Applications of symbolic and algebraic manipulation systems I (Panel Session)James H. Griesmer. 800 [doi]
- Machine-made analytic solutions of finite state Markov processesCarl Engelman, A. J. Kleinman. 801-815 [doi]
- The application of symbolic mathematics to a singular perturbation problemEllis Horowitz. 816-825 [doi]
- A system for the solution of initial and two-point boundary value problemsArthur C. Norman. 826-834 [doi]
- Applications of symbolic and algebraic manipulation systems II (Paper-Panel Session)James H. Griesmer, Joel Moses. 835 [doi]
- Applications of symbolic programs to complex analysisJohn A. Campbell. 836-839 [doi]
- On computing certain integrals, and implications for symbolic algebraic manipulationW. Morven Gentleman. 840-843 [doi]
- Application of MACSYMA to an asymptotic expansion problemPaul S. Wang. 844-850 [doi]
- Simulation tools (Paper Session)Walter L. Whipple. 851 [doi]
- The dynamic re-evaluation of alternatives and the emulation of human decision makingJoe K. Clema, Mark Fynewever. 852-859 [doi]
- The simulation of partial differential equations on the digital differential analyzerGeorge Forbes. 860-866 [doi]
- An interactive logic activity modelling programHarriett B. Rigas, H. B. Jacoby, V. Bruce Hunt. 867-876 [doi]
- Product distribution: The transshipment problemJohn B. Vinturella. 877-882 [doi]
- Simulation applications and specialized topics (Paper Session)Walter L. Whipple. 883 [doi]
- Simulation of spatio-temporal visual evoked EEG'sDonald G. Childers, Owen S. Halpeny, Wilfredo Mesa, N. W. Perry. 884-898 [doi]
- Computer simulation of psychologists' decision-makingJoseph Finney, David F. Smith, C. Dwight Auvenshine, Donald Skeeters, Gress LeMaistre, Roger Sward, Murray Tondow. 899-902 [doi]
- Simulation of dispatching algorithms in a multiprogramming environmentN. S. Losapio, William G. Bulgren. 903-913 [doi]
- A method for digitally determining amplitude and phase-response information from analog swept sine vibration dataL. W. Maschoff. 914-934 [doi]
- An approach to the total design of instructional systems by simulationAbimbola Salako. 935-949 [doi]
- Social science computing (Paper Session): Tools for policy making and educationGeorge Sadowski. 951 [doi]
- Mini-computers in a social science instructional contextRonald E. Anderson, Jonathan Gross. 952-963 [doi]
- A system for large econometric models - management, estimation, and simulationMahlon McCracken, Carl A. Sonnen. 964-973 [doi]
- Cambridge project (Panel Session): The consistent systemCynthia Crawford, John Klensin, Oliver G. Selfridge. 975 [doi]
- The Cambridge project's consistent systemDouwe B. Yntema, Arthur P. Dempster, John P. Gilbert, John C. Klensin, Wren M. McMains, William Porter, Jeffrey P. Stamen, Raymond A. Wiesen. 976-977 [doi]
- Computer aided graphics in architecture and planning workshopKaiman Lee, Gerald M. Sturman. 979 [doi]
- Computer aided graphics in architecture and planningKaiman Lee, Clifford D. Stewart. 980-984 [doi]
- Unaffiliated papers (Paper Session)Rosemary Shields. 985 [doi]
- Constructive mathematics and computer scienceHenry Cheng. 986-990 [doi]
- A tandem queueing model of a time-sharing computing systemJohn W. McCredie. 991-1000 [doi]
- Music theory - a programming linguistic approachStephen W. Smoliar. 1001-1014 [doi]
- Data base technologyHenry C. Lefkovits, Harrison Tellier. 1015-1016 [doi]
- Computer system performance and evaluation (Paper-Panel Session)Gary Carlson, Kenneth W. Kolence, Henry C. Lucas, Richard L. Madden, Dennis G. Severance, Alan G. Merten, Jerrold M. Grochow, Stephen R. Kimbleton. 1017 [doi]
- How to save money with computer monitoringGary Carlson. 1018-1023 [doi]
- Software physics and computer performance measurementsKenneth W. Kolence. 1024-1040 [doi]
- Synthetic program specifications for performance evaluationHenry C. Lucas. 1041-1058 [doi]
- Software accounting and the hardware monitor: Their marriage in performance analysisRichard L. Madden. 1059-1060 [doi]
- Performance evaluation of file organizations through modellingDennis G. Severance, Alan G. Merten. 1061-1072 [doi]
- English as a query languageBurt M. Leavenworth, Vincent E. Guiliano, Arthur D. Little, Christine A. Montgomery, Charles Kellogg, Robert F. Simons, Frederick B. Thompson, William A. Woods, William R. Nugent. 1073 [doi]
- In defense of natural languageVincent E. Guiliano, Arthur D. Little. 1074 [doi]
- Is natural language an unnatural query language?Christine A. Montgomery. 1075-1078 [doi]
- Publication only1079 [doi]
- A relational data base management systemGiampio Bracchi, A. Fedeli, Paolo Paolini. 1080-1089 [doi]
- An algebraic model of information structure and information processingIsamu Kobayashi. 1090-1104 [doi]
- Hierarchical modeling of operating system structure and behaviorWilliam E. Riddle. 1105-1127 [doi]
- Late papers1129 [doi]
- Uses of the LOGO programming language in undergraduate instructionGeorge Lukas. 1130-1136 [doi]
- Superlinearly convergent methods for unconstrained minimization problemsKlaus Ritter 0002. 1137-1145 [doi]
- Test data generation tutorial session chairman introductory remarksStephen P. Krosner. 1146-1147 [doi]