ACM Annual Conference 1974: San Diego, CA, USA
- Roger C. Brown, Donald E. Glaze:
Proceedings of the 1974 ACM Annual Conference, San Diego, California, USA, November 1974, Volume 1. ACM 1974 - Yaohan Chu:
Structure of a direct-execution high-level Chinese programming language processor. 19-27 - Nicholas V. Findler, Heinz Klein, R. Channing Johnson, Alexander Kowal, Zachary Levine, John Menig:
Heuristic programmers and their gambling machines. 28-37 - Jane W.-S. Liu, Ai-Tsung Yang:
Optimal scheduling of independent tasks on heterogeneous computing systems. 38-45 - M. K. Gordon, Lawrence F. Shampine:
Interpolating numerical solutions of ordinary differential equations. 46-53 - Charles J. Testa, Douglas B. Dearie:
Human factors design criteria in man-computer interaction. 61-65 - Martin L. Griss:
The algebraic solution of large sparse systems of linear equations using REDUCE 2. 105-111 - Clifford R. Hollander:
Mechanical construction of type-checking predicates for extensible data types. 112-115 - Walter Reitman, James Kerwin, Robert Nado, Judith Reitman, Bruce Wilcox:
Goals and plans in a program for playing Go. 123-127 - Norman L. Schryer:
An extrapolation step-size monitor for solving ordinary differential equations. 140-148 - Dennis G. Kafura, V. Y. Shen:
Scheduling independent processors with different storage capacities. 161-166 - Patricia Griffiths:
SYNVER: A system for the automatic synthesis and verification of synchronization processes. 167-173 - Richard W. Conn, Richard H. Yamamoto:
A model highlighting the security of operating systems. 174-179 - Michael Stonebraker, Eugene Wong:
Access control in a relational data base management system by query modification. 180-186 - Laurent Siklóssy, M. A. Haecker:
Skeleton planning spaces for non-numeric heuristic optimization. 187-192 - Takahiro Sato:
A Classroom Information System for teachers; with focus on the instructional data collection and analysis. 199-206 - Necdet Bulut, Maurice H. Halstead, Rudolf Bayer:
Experimental validation of a structural property of Fortran algorithms. 207-211 - Yeh-Hao Chin, Jun-Wun Jou, W. H. Peng, Chen-Chau Yang:
An automatic telephone directory inquiry service system. 231-238 - Edouard J. Desautels, Stuart B. Soffer:
Touch-Tone input techniques: Data entry using a constrained keyboard. 245-253 - Ralph L. London, David R. Musser:
The application of a symbolic mathematical system to program verification. 265-273 - Frederick C. Druseikis, John N. Doyle:
A procedural approach to pattern matching in SNOBOL4. 311-317 - Woodie C. Flowers:
Use of an amputee-computer interactive facility in above-knee prosthesis research. 335-339 - William D. Tajibnapis:
The design of a topology information maintenance scheme for a distributed computer network. 358-364 - Arnold K. Griffith:
Handprint recognition on the GRAFIX I: : A commercial application of heuristic programming. 368-372