default search action
ACM Annual Conference 1972: Boston, MA, USA - Volume 2
- John J. Donovan, Rosemary Shields:
Proceedings of the ACM annual conference, ACM 1972, 1972, Volume 2. ACM 1972, ISBN 978-1-4503-7492-7 - Donald G. M. Anderson, Robin E. Esch:
Topics in numerical mathematics (Paper Session). 629 - James M. Boyle, William J. Cody, Wayne R. Cowell, Burton S. Garbow, Yasuhiko Ikebe, Cleve B. Moler, Brian T. Smith:
NATS a collaborative effort to certify and disseminate mathematical software. 630-635 - Donna K. Dunaway, B. Lynn Turlington:
Some major modifications to a new method for solving ill-conditioned polynomial equations. 636-643 - Peter M. Neely:
On conventions for systems of numerical representation. 644-651 - Theodosios Pavlidis:
Piecewise approximation of functions of two variables through regions with variable boundaries. 652-662 - Donald G. M. Anderson, William Kahan, Joseph F. Traub:
George Forsythe memorial lecture (Panel Session). 663 - James P. Anderson, Peter J. Denning, Roger P. Schell, Clark Weissman, R. Stockton Gaines:
Privacy and protection in operating systems (Panel Session). 665-666 - John W. Brackett:
Practical experience with virtual memory systems (Panel Session). 667 - Joel M. Winett:
System performance measurements and evaluation (Panel Session). 669 - Richard C. Atwood:
Effects of secondary storage I/O contention on the performance of an interactive information management system. 670-679 - Murty Parupudi, Joseph Winograd:
Interactive task behavior in a time-sharing environment. 680-692 - Herbert D. Schwetman, James C. Browne:
An experimental study of computer system performance. 693-703 - David L. Stone, Rollins Turner:
Disk throughput estimation. 704-711 - Burt M. Leavenworth, John M. Wozencraft:
Formal definition of programming languages (Panel Session): "The lambda calculus approach". 713 - Arthur Evans Jr.:
The lambda calculus and its relation to programming languages. 714-716 - John C. Reynolds:
Definitional interpreters for higher-order programming languages. 717-740 - Burt M. Leavenworth, Jack B. Dennis:
Control structures in programming languages - part-I (Panel Session): "The state of the art". 741 - Kim P. Gostelow, Vincent G. Cerf, Gerald Estrin, Saul Volansky:
Proper termination of flow-of-control in programs involving concurrent processes. 742-754 - James B. Morris, Mark B. Wells:
The specification of program flow in Madcap 6. 755-762 - Charles J. Prenner, Jay M. Spitzen, Ben Wegbreit:
An implementation of backtracking for programming languages. 763-771 - Paul B. Schneck:
Automatic recognition of vector and parallel operations in a higher level language. 772-779 - Burt M. Leavenworth:
Control structures in programming languages - Part II (Panel Session): "The GOTO controversy". 781 - Burt M. Leavenworth:
Programming with(out) the GOTO. 782-786 - Martin E. Hopkins:
A case for the GOTO. 787-790 - William A. Wulf:
A case against the GOTO. 791-797 - Joel Moses:
Demonstration of interactive symbolic and algebraic manipulation systems (Panel Session). 799 - James H. Griesmer:
Applications of symbolic and algebraic manipulation systems I (Panel Session). 800 - Carl Engelman, A. J. Kleinman:
Machine-made analytic solutions of finite state Markov processes. 801-815 - Ellis Horowitz:
The application of symbolic mathematics to a singular perturbation problem. 816-825 - Arthur C. Norman:
A system for the solution of initial and two-point boundary value problems. 826-834 - James H. Griesmer, Joel Moses:
Applications of symbolic and algebraic manipulation systems II (Paper-Panel Session). 835 - John A. Campbell:
Applications of symbolic programs to complex analysis. 836-839 - W. Morven Gentleman:
On computing certain integrals, and implications for symbolic algebraic manipulation. 840-843 - Paul S. Wang:
Application of MACSYMA to an asymptotic expansion problem. 844-850 - Walter L. Whipple:
Simulation tools (Paper Session). 851 - Joe K. Clema, Mark Fynewever:
The dynamic re-evaluation of alternatives and the emulation of human decision making. 852-859 - George Forbes:
The simulation of partial differential equations on the digital differential analyzer. 860-866 - Harriett B. Rigas, H. B. Jacoby, V. Bruce Hunt:
An interactive logic activity modelling program. 867-876 - John B. Vinturella:
Product distribution: The transshipment problem. 877-882 - Walter L. Whipple:
Simulation applications and specialized topics (Paper Session). 883 - Donald G. Childers, Owen S. Halpeny, Wilfredo Mesa, N. W. Perry:
Simulation of spatio-temporal visual evoked EEG's. 884-898 - Joseph Finney, David F. Smith, C. Dwight Auvenshine, Donald Skeeters, Gress LeMaistre, Roger Sward, Murray Tondow:
Computer simulation of psychologists' decision-making. 899-902 - N. S. Losapio, William G. Bulgren:
Simulation of dispatching algorithms in a multiprogramming environment. 903-913 - L. W. Maschoff:
A method for digitally determining amplitude and phase-response information from analog swept sine vibration data. 914-934 - Abimbola Salako:
An approach to the total design of instructional systems by simulation. 935-949 - George Sadowski:
Social science computing (Paper Session): Tools for policy making and education. 951 - Ronald E. Anderson, Jonathan Gross:
Mini-computers in a social science instructional context. 952-963 - Mahlon McCracken, Carl A. Sonnen:
A system for large econometric models - management, estimation, and simulation. 964-973 - Cynthia Crawford, John Klensin, Oliver G. Selfridge:
Cambridge project (Panel Session): The consistent system. 975 - Douwe B. Yntema, Arthur P. Dempster, John P. Gilbert, John C. Klensin, Wren M. McMains, William Porter, Jeffrey P. Stamen, Raymond A. Wiesen:
The Cambridge project's consistent system. 976-977 - Kaiman Lee, Gerald M. Sturman:
Computer aided graphics in architecture and planning workshop. 979 - Kaiman Lee, Clifford D. Stewart:
Computer aided graphics in architecture and planning. 980-984 - Rosemary Shields:
Unaffiliated papers (Paper Session). 985 - Henry Cheng:
Constructive mathematics and computer science. 986-990 - John W. McCredie:
A tandem queueing model of a time-sharing computing system. 991-1000 - Stephen W. Smoliar:
Music theory - a programming linguistic approach. 1001-1014 - Henry C. Lefkovits, Harrison Tellier:
Data base technology. 1015-1016 - Gary Carlson, Kenneth W. Kolence, Henry C. Lucas, Richard L. Madden, Dennis G. Severance, Alan G. Merten, Jerrold M. Grochow, Stephen R. Kimbleton:
Computer system performance and evaluation (Paper-Panel Session). 1017 - Gary Carlson:
How to save money with computer monitoring. 1018-1023 - Kenneth W. Kolence:
Software physics and computer performance measurements. 1024-1040 - Henry C. Lucas:
Synthetic program specifications for performance evaluation. 1041-1058 - Richard L. Madden:
Software accounting and the hardware monitor: Their marriage in performance analysis. 1059-1060 - Dennis G. Severance, Alan G. Merten:
Performance evaluation of file organizations through modelling. 1061-1072 - Burt 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:
English as a query language. 1073 - Vincent E. Guiliano, Arthur D. Little:
In defense of natural language. 1074 - Christine A. Montgomery:
Is natural language an unnatural query language? 1075-1078 - Publication only. 1079
- Giampio Bracchi, A. Fedeli, Paolo Paolini:
A relational data base management system. 1080-1089 - Isamu Kobayashi:
An algebraic model of information structure and information processing. 1090-1104 - William E. Riddle:
Hierarchical modeling of operating system structure and behavior. 1105-1127 - Late papers. 1129
- George Lukas:
Uses of the LOGO programming language in undergraduate instruction. 1130-1136 - Klaus Ritter:
Superlinearly convergent methods for unconstrained minimization problems. 1137-1145 - Stephen P. Krosner:
Test data generation tutorial session chairman introductory remarks. 1146-1147
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 19:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: