default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAFIPS Spring Joint Computing Conference 1972: Atlantic City, New Jersey, USA
- American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1972 Spring Joint Computer Conference, Atlantic City, NJ, USA, May 16-18, 1972. AFIPS Conference Proceedings 40, AFIPS 1972, ISBN 978-1-4503-7909-0
Implementation of programming language processors
- Robert M. McClure:
An appraisal of compiler technology. 1-9 - Thomas E. Cheatham Jr., Ben Wegbreit:
A laboratory for the study of automating programming. 11-21 - Jean-Loup Baer, Robert Caughey:
Segmentation and optimization of programs from cyclic structure analysis. 23-36
Frontiers of large-scale scientific computation
- Kent K. Curtis:
The interplay of computer science and large scale scientific calculations. 37-43 - R. B. Lazarus:
Computer architecture and very large problems. 45-49 - M. Stuart Lynn:
Scientific applications of computers in the '70s. 51-52
Training commercial programmers and systems analysts
- B. A. Jones:
The functions and elements of a training system. 53-58 - James O. Hammond:
Planning data processing education to meet job requirements. 59-67 - Roger W. Kleffman:
Modular training: a new emphasis. 69-75 - Gordon A. Smith:
Computer training, present and future. 77-101
Software design for the mini-computer
- D. J. Waks, A. B. Kronenberg:
The future of minicomputer programming. 103-109 - Joseph F. Ossanna:
The current state of minicomputer software. 111-118 - J. R. Allen, Stephen S. Yau:
Real-time fault detection for small computers. 119-127
Techniques for developing large programming systems
- Don Smith Jr.:
An organization for successful project management. 129-140 - Joel D. Aron:
Commercial data processing machines in government applications. 141-153 - James O. Henriksen, Richard E. Merwin:
Programming language efficiency in real-time software systems. 155-161
Mathematical optimization theory and algorithms
- Bernard Friedland:
A review of recursive filtering algorithms. 163-180 - D. H. Jacobson:
On computational methods for dynamic and static optimization. 181-185 - D. G. Wilson:
Piecewise linear approximations of fewest line segments. 187-198 - P. E. Valisalo, B. D. Sivazlian, J. F. Maillot:
Experimental results on a new computer method for generating optimal policy variables in (s, S) inventory control problem. 199-203
New theoretical frontiers of computer science
- Ronald L. Graham:
Bounds on multiprocessing anomalies and related packing algorithms. 205-217 - Zohar Manna:
Computation of recursive programs: theory vs practice. 219-223 - Dana S. Scott:
Mathematical concepts in programming language semantics. 225-234 - Jeffrey D. Ullman:
Applications of language theory to compiler design. 235-242
The ARPA network
- Severo M. Ornstein, Frank E. Heart, William R. Crowther, H. K. Rising, S. B. Russell, A. Michel:
The terminal IMP for the ARPA computer network. 243-254 - Howard Frank, Robert E. Kahn, Leonard Kleinrock:
Computer communication network design: experience with theory and practice. 255-270 - Stephen D. Crocker, John F. Heafner, Robert Metcalfe, Jonathan B. Postel:
Function-oriented protocols for the ARPA computer network. 271-279 - Robert H. Thomas, D. Austin Henderson:
McROSS: a multi-computer programming system. 281-293 - Lawrence G. Roberts:
Extensions of packet communication technology to a hand held personal terminal. 295-298
Programming languages for specialized application areas
- Jean E. Sammet:
An overview of programming languages for specialized application areas. 299-311 - Frederick B. Thompson, Bozena H. Dostert:
The future of specialized languages. 313-319 - Stephen Warshall:
AMBUSH: a case history in language design. 321-332 - D. J. Armor:
The data-text system: an application language for the social sciences. 333-342
New trends in the architecture of computer systems
- S. F. Dennis, Merlin G. Smith:
LSI: implications for future design and architecture. 343-351 - W. H. Davidow:
The rationale for logic from semiconductor memory. 353-358 - M. A. Calhoun:
SYMBOL hardware debugging facilities. 359-368 - Edward A. Feustel:
The Rice research computer: a tagged architecture. 369-377
Computers in instruction---some considerations
- Elliot B. Koffman:
A generative CAI tutor for computer science concepts. 379-389 - Joe K. Clema, Richard L. Didday, M. Wessler:
Preliminary thoughts about a UNIversal TEAching Machine (UNITEAM). 391-397 - C. Victor Bunderson:
Mainline CAI, necessary but not oppressive. 399-405 - Arthur W. Luehrmann:
Should the computer teach the student, or vice versa? 407-410
Operating system design concepts
- Stephen R. Kimbleton:
Performance evaluation: a structured approach. 411-416 - G. Scott Graham, Peter J. Denning:
Protection: principles and practice. 417-429 - Herbert B. Baskin, Barry R. Borgerson, Roger Roberts:
PRIME: a modular architecture for terminal-oriented systems. 431-437
Graphic terminals---present and next states
- Carl Machover:
Computer graphics terminals: a backward look. 439-446 - Thomas G. Hagan, Robert H. Stotz:
The future of computer graphics. 447-452 - J. W. Willhide:
A versatile computer driven display system for the classroom. 453-460 - Larry J. French, A. H. Teger:
GOLD: a graphical on-line design system. 461-470
Formal analysis of algorithms
- Edward M. Reingold:
Establishing lower bounds on algorithms: a survey. 471-481 - W. Donald Frazer:
Analysis of combinatory algorithms: a sample of current methodology. 483-491 - Andy N. C. Kang:
On the complexity of proving functions. 493-501 - Tsun S. Chow:
On the structure of Blum measure. 503-506
The computer in government---a tool for change
- Abe Gottlieb:
Management information systems, public policy and social change. 507-510 - Robert Amsterdam, Edward Andresen, Harry Lipton:
Geographic information systems in the U.S.: an overview. 511-522 - Matthew A. Jaro:
UNIMATCH: a computer system for generalized record linkage under conditions of uncertainty. 523-530 - Robert T. Chien, Peter B. Maggs, Fred A. Stahl:
New directions in legal information processing. 531-540 - Donald J. Simon, Barry L. Bateman:
HOMLIST: a computerized real estate information retrieval system. 541-544 - Alvin J. Surkan:
Organization of a natural resources data bank system. 545-551 - David M. Hudak:
The command terminal: a computerized law enforcement tool. 553-558
Interactive systems
- Richard E. Schwemm:
Experience gained in the development and use of TSS. 559-569 - Fernando J. Corbató, Fernando H. Saltzer, C. T. Clingen:
Multics: the first seven years. 571-583 - Michael T. Alexander:
Organization and features of the Michigan terminal system. 585-591
Data communications---the past five years and the next ten years
- Philip M. Walker:
Regulatory developments in data communications: the past five years. 593-609 - Robert E. La Blanc, W. E. Himsworth:
Data communications in 1980: a capital market view. 611-616 - Richard G. Casey:
Allocation of copies of a file in an information network. 617-625
Manpower for computers---heyday or cutback
- John W. Hamblen:
Production and utilization of computer manpower in U.S. higher education. 627-632 - Bruce Gilchrist, Richard E. Weber:
Sources of trained computer personnel: a quantitative survey. 633-640 - Bruce Gilchrist, Richard E. Weber:
Employment of trained computer personnel: a quantitative survey. 641-648 - Ronald E. Anderson:
Sociological analysis of public attitudes toward computers and information files. 649-657
Microprogramming enters a new ERA
- C. V. Ramamoorthy, Masahiro Tsuchiya:
Microprogrammed significance arithmetic: a perspective and feasibility study. 659-673 - Y. S. Wu:
Architectural considerations of a signal processor under microprogram control. 675-683 - R. L. Davis, S. Zucker, C. M. Campbell:
A building block approach to multiprocessing. 685-703 - Earl W. Reigel, U. Faber, D. A. Fisher:
The interpreter: a microprogrammable building block system. 705-723
Performance prediction---modeling and measurement
- Gerald Estrin, Richard R. Muntz, Robert C. Uzgalis:
Modeling, measurement and computer power. 725-738 - John G. Williams:
Experiments in page activity determination. 739-747 - Jerre D. Noe, Gary J. Nutt:
Validation of a trace-driven CDC 6400 simulation. 749-757 - Juan Rodriguez-Rosell, Jean-Pierre Dupuy:
The evaluation of a time-sharing page demand system. 759-765
LSI perspectives---architecture and cost of small computers
- L. Seligman:
LSI and minicomputer system architecture. 767-773 - H. G. Rudenberg:
Approaching the minicomputer on a silicon chip: progress and expectations for LSI circuits. 775-781 - Jesse T. Quatse, Pierre Gaulene, Donald Dodge:
The external access network of a modular computer system. 783-790
Computer simulation as a decision maker's tool
- Ira M. Kay:
An over-the-shoulder look at discrete simulation languages. 791-798 - Prem Bhushan Dewan, C. E. Donaghey, Joe B. Wyatt:
OSSL: a specialized language for simulating computer systems. 799-814 - John Norris Maguire:
Discrete computer simulation: technology and applications - the next ten years. 815-826
The dilemma of installation management
- R. S. Manna, H. Waldburger, D. R. Whitson:
The emergence of the computer utility. 827-831 - Ronald M. Rutledge:
Installation management: the next ten years. 833-839
An evaluation of the state of computer science education
- Saul Amarel:
A set of goals and approaches for education in computer science. 841-846 - M. Stuart Lynn:
Computer science education: the need for interaction. 847-848 - Peter J. Denning:
Operating systems principles and undergraduate computer science curricula. 849-855 - Patrick C. Fischer:
Theory of computing in computer science education. 857-864
Scientific computation---the social sciences
- Hugh F. Cline:
Social science computing: 1967-1972. 865-873 - George Sadowsky:
Future developments in social science computing. 875-883 - Thomas L. Jones:
A computer model of simple forms of learning in infants. 885-895 - Robert C. Noel, Thomas Jackson:
An information management system for scientific gaming in the social sciences. 897-905
Programming for process control and real time applications
- James D. Schoeffler:
The development of process control software. 907-914 - H. E. Pike:
Future trends in software development for real-time industrial automation. 915-923 - Omri Serlin:
Scheduling of time critical processes. 925-932
ACM prize papers in programming languages and systems
- Edsger W. Dijkstra:
A class of allocation strategies inducing bounded delays only. 933-936 - Peter J. Denning:
On modeling program behavior. 937-944
A spectrum of memory storage systems, now and in the future
- John M. Harker, Hsu Chang:
Magnetic disks for bulk storage: past and future. 945-955 - William A. Gross:
Ultra-large storage systems using flexible media, past, present and future. 957-967 - F. H. Blecher:
New devices for sequential access memory. 969
Graphic software
- Gabor T. Herman:
Two direct methods for reconstructing pictures from their projections: a comparative study. 971-984 - José L. Encarnação, Wolfgang K. Giloi:
PRADIS: an advanced programming system for 3-D-display. 985-998 - James L. Lehr, G. S. Lodwick, Lewis J. Garrotto, D. J. Manson, B. F. Nicholson:
MARS: Missouri Automated Radiology System. 999-1003 - Stephen M. Zwarg:
"Sailing": an example of computer animation and iconic communication. 1005-1014 - William Stallings:
Computer description and recognition of printed Chinese characters. 1015-1025 - Samuel J. Dwyer III, Charles A. Harlow, Dale A. Ausherman, Gwilyu S. Lodwick:
Computer diagnosis of radiographic images. 1027-1041
Computers in secondary education
- Walter Koetke:
The impact of computing on the teaching of mathematics. 1043-1049 - Warren Stenberg:
Computing in the high school - past, present and future: and its unreasonable effectiveness in the teaching of mathematics. 1051-1058
LSI perspectives---design automation: design and simulation
- H. W. Van Beek:
Computer-aided design of MOS/LSI circuits. 1059-1063 - J. J. Teets:
The role of simulation in LSI design. 1065-1070 - N. B. Rabbat, William D. Ryan:
Implementation of a transient macro-model in large logic systems. 1071-1078 - Madhukumar A. Mehta, Henry P. Messinger, William B. Smith:
Functions for improving diagnostic resolution in an LSI environment. 1079-1091
Developments in biomedical computer technology
- Lewis B. Sheiner, Barr Rosenberg, Kenneth L. Melmon:
Computer-aided drug dosage. 1093-1099 - David Canfield Smith, Malcolm C. Newey, Kenneth Mark Colby:
Automated therapy for nonspeaking autistic children. 1101-1106 - Dale W. Isner:
An inferential processor for interacting with biomedical data using restricted natural language. 1107-1124 - Harry E. Pople, G. Werner:
An information processing approach to theory formation in biomedical research. 1125-1138 - Thomas L. Lincoln:
The clinical significance of simulation and modeling in leukemia chemotherapy. 1139-1143 - Karl H. Ryden, Carol M. Newton:
Graphics software for remote terminals and their use in radiation treatment planning. 1145-1156 - William F. Raub:
Automated information-handling in pharmacology research. 1157-1165
The implementation gap in management information systems
- James C. Emery:
Where do we stand in implementing information systems? 1167-1171 - Charles H. Kriebel:
MIS technology: a view of the future. 1173-1180 - Richard W. Conway, William L. Maxwell, Howard L. Morgan:
Selective security capabilities in ASAP: a file management system. 1181-1185 - James L. Parker:
A graphics and information retrieval supervisor for simulators. 1187-1195 - Nat Mills:
NASDAQ: a user-driven, real-time transaction system. 1197-1206
LSI perspectives---the boundaries of computer performance
- Harvey G. Cragon:
LSI perspective: the last five years. 1207-1210 - Michael J. Flynn:
Toward more efficient computer organizations. 1211-1217
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 2025-12-04 22:07 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:
