Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAFIPS Spring Joint Computing Conference 1967: Atlantic City, NJ, USA
- American Federation of Information Processing Societies: Proceedings of the AFIPS '67 Spring Joint Computer Conference, April 18-20, 1967, Atlantic City, New Jersey, USA. AFIPS Conference Proceedings 30, AFIPS / ACM / Thomson Book Company, Washington D.C. 1967, ISBN 978-1-4503-7895-6
Dynamic allocation of computing resources
- Allen Reiter:
A resource-allocation scheme for multi-user on-line operation of a small computer. 1-7 - Peter J. Denning:
Effects of scheduling on file memory operations. 9-21 - David C. Evans, Jean Yves Leclerc:
Address mapping and the control of access in an interactive computer. 23-30
Managing the development of computer programs - a user's viewpoint
- Milton V. Ratynski:
The air force computer program acquisition concept. 33-44 - Lloyd V. Searle, George Neil:
Configuration management of computer programs by the Air Force: principles and documentation. 45-49 - Burt H. Liebowitz:
The technical specification: key to management control of computer programming. 51-59 - M. S. Piligian, Joseph L. Pokorney:
Air force concepts for the technical control and design verification of computer programs. 61-66
Computer logic and organization
- D. C. Stanga:
Univac® 1108 multiprocessor system. 67-74 - Donald H. Gibson:
Considerations in block-oriented systems design. 75-80 - Richard A. Aschenbrenner, Michael J. Flynn, George A. Robinson:
Intrinsic multiprocessing. 81-86 - D. A. Savitt, Hubert H. Love Jr., R. E. Troop:
ASP: a new concept in language and machine organization. 87-102
Visual output recording
- Richard W. Conn:
Digitized photographs for illustrated computer output. 103-106 - Cloy J. Walter:
Mathematical techniques to improve hardware accuracy of graphic display devices. 107-120 - W. H. Puterbaugh, S. P. Emmons:
A new printing principle. 121-124
Applications of analog and hybrid computers
- V. Wayne Ingalls:
A time delay compensation technique for hybrid flight simulators. 125-131 - Max D. Anderson, Someshwar C. Gupta:
Backward time analog computer solutions of optimum control problems. 133-139 - Takeo Miura, Junzo Iwata, Junji Tsuda:
An application of hybrid curve generation: cartoon animation by electronic computers. 141-148 - Brian R. Gaines:
Stochastic computing. 149-156
Data management
- E. R. Keller II, S. D. Bedrosian:
The people problem: computers can help. 157-161 - David W. Barron, A. G. Fraser, David F. Hartley, B. Landy, Roger M. Needham:
File handling at Cambridge University. 163-167 - Donald B. Nelson, Richard A. Pick, Kenton B. Andrews:
GIM-1, a generalized information management language and computer system. 169-173 - Edward Morenoff, John B. McLean:
Inter-program communications, program string structures and buffer files. 175-183 - P. J. Dixon, J. Sable:
DM-1: a generalized data management system. 185-198 - Gilbert Steil Jr.:
File management on a small computer the C-10 system. 199-212 - Saul Gorn:
Handling the growth by definition of mechanical languages. 213-224
I/O devices
- R. L. Libby, Richard S. Marcus, L. B. Stallard:
An optical peripheral memory system. 227-237 - William A. Farrand, R. B. Horsfall, N. E. Marcum, W. D. Williams:
A rugged militarily fieldable mass store (MEM-BRAIN file). 239-243 - John T. Gardiner:
The "Cluster": four tape stations in a single package. 245-252
Biomedical computer applications
- Augusto H. Moreno, Louis D. Gold:
The oscillating vein. 253-256 - A. J. Welch, J. L. Devine, Robert G. Loudon:
Computer applications in biomedical electronics pattern recognition studies. 257-263 - W. S. Holmes, C. E. Phillips:
Experimental investigation of large multilayer linear discriminators. 265-271 - Peter M. Guida, Louis D. Gold, S. W. Moore:
A computer analysis of pressure and flow in a stenotic artery. 273-277 - Willis H. Ware:
Security and privacy in computer systems. 279-282 - Bernard Peters:
Security considerations in a multi-programmed computer system. 283-286 - Willis H. Ware:
Security and privacy: similarities and differences. 287-290 - Harold E. Petersen, Rein Turn:
System implications of information privacy. 291-300
Practical solutions to the privacy problem
- J. D. Babcock:
A brief description of privacy measures in the RUSH time-sharing system. 301-302 - Edward L. Glaser:
A brief description of privacy measures in the multics operating system. 303-304
Computing algorithms
- William J. Cody:
The influence of machine design on numerical algorithms. 305-309 - David W. Matula:
Base conversion mappings. 311-318 - Cleve B. Moler:
Accurate solution of linear algebraic systems: a survey. 321-324 - A. Jay Goldstein:
Recursive techniques in problem solving. 325-329 - Carl Hammer:
Statistical validation of mathematical computer routines. 331-333 - Wesley A. Clark:
Macromodular computer systems. 335-336 - Severo M. Ornstein, Mishell J. Stucki, Wesley A. Clark:
A functional description of macromodules. 337-355 - Mishell J. Stucki, Severo M. Ornstein, Wesley A. Clark:
Logical design of macromodules. 357-364 - Asher Blum, Thomas J. Chaney, Richard E. Olson:
Engineering design of macromodules. 365-370 - Richard A. Dammkoehler:
A macromodular systems simulator (MS2). 371-376 - William E. Ball:
A macromodular meta machine. 377-392 - Charles E. Molnar, Severo M. Ornstein, Antharvedi Anne:
The CHASM: a macromodular computer for analyzing neuron models. 393-401
Some aspects of computer assisted instruction
- Kenneth H. Wodtke:
Educational requirements for a student-subject matter interface. 403-411 - M. Gelman:
Centralized vs. decentralized computer assisted instruction systems. 413-417 - E. N. Adams:
Reflections on the design of a CAI operating system. 419-424
Information processing in the business environment
- William A. Smith Jr.:
Nature and detection of errors in production data collection. 425-428 - C. Allen Merritt:
Serving the needs of the information retrieval user. 429-432 - E. K. McCoy:
The Ohio Bell business information system. 433-439
Techniques in programming language - part I
- Allen S. Ginsberg, Harry M. Markowitz, Paula M. Oldfather:
Programming by questionnaire. 441-446 - Philip Gilbert, William G. McLellan:
Compiler generation using formal specification of procedure-oriented and machine languages. 447-455 - Richard S. Bandat, Robert L. Wilkins:
An experimental general purpose compiler. 457-461
The best approach to large computing capability - a debate
- Gerhard L. Hollander:
Architecture for large computer systems. 463-466 - George P. West:
The best approach to a large computing capability. 467-469 - R. H. Fuller:
Associative parallel processing. 471-475 - Daniel L. Slotnick:
Unconventional systems. 477-481 - Gene M. Amdahl:
Validity of the single processor approach to achieving large scale computing capabilities. 483-485
The expanding roles of analog and hybrid computers in education: a panel discussion
- Ladis D. Kovach:
Analog & hybrid computers in education: a panel session. 487-489
Logic-in-memory
- R. J. Spain, M. J. Marino, H. I. Jauvtis:
DTPL push down list memory. 491-498 - Ryo Igarashi, Toru Yaita:
An integrated MOS transistor associative memory system with 100 ns cycle time. 499-506 - W. F. Chow, L. M. Spandorfer:
Plated wire bit steering for logic and storage. 507-515 - Bently A. Crane, R. R. Laane:
A cryoelectronic distributed logic memory. 517-524
Scientific programming applications
- Gerald H. Shure, Robert J. Meeker, William H. Moore Jr.:
TRACE time-shared routines for analysis, classification and evaluation. 525-529 - J. C. Kim, E. P. Kaiser:
Degradation analysis of digitized signal transmission. 531-539 - George A. Champine:
Digital systems for array radar. 541-546
Techniques in programming languages - part II
- Louis Bolliet, Alain Auroux, Jacques Bellino:
DIAMAG: a multi-access system for on-line ALGOL programming. 547-552 - A. Hurwitz, J. P. Citron, J. B. Yeaton:
GRAF: graphic additions to FORTRAN. 553-557 - Richard L. Wexelblat, H. A. Freedman:
The MULTILANG on-line programing system. 559-569 - Frank C. Bequaert:
RPL, a data reduction language. 571-575 - Andrei P. Ershov, G. I. Kozhukhin, G. P. Makarov, M. I. Necherpurnko, Igor V. Pottosin:
An experimental automatic informational station AIST-O. 577-582
Papers of special interest
- George W. Ernst, Allen Newell:
Some issues of representation in a general problem solver. 583-600 - Andries van Dam, David Evans:
A compact data structure for storing, retrieving and manipulating line drawings. 601-610 - Robert W. O'Neill:
Experience using a time-shared multi-programming system with dynamic address relocation hardware. 611-621 - John McCarthy, Dow Brian, Gary Feldman, John Allen:
THOR: a display based time sharing system. 623-633
Advances in software development
- William D. Williams, Philip R. Bartram:
COMPOSE/PRODUCE: a user-oriented report generator capability within the SDC time-shared data management system. 635-640 - J. F. Thorlin:
Code generation for PIE (Parallel Instruction Execution) computers. 641-643 - Gerald Estrin, D. Hopkins, B. Coggan, Stephen D. Crocker:
Snuper computer: a computer in instrumentation automaton. 645-656
Techniques in programming languages - part III
- Maurice H. Halstead, Gordon T. Uber, K. R. Gielow:
An algorithmic search procedure for program generation. 657-662 - Henri Leroy:
A macro: generator for ALGOL. 663-669 - Leo J. Cohen:
COMMEN: a new approach to programming languages. 671-676 - Charles Kapps:
SPRINT: a direct approach to list processing languages. 677-683 - Victor B. Schneider:
Syntax-checking and parsing of context-free languages by pushdown-store automata. 685-690 - C. L. Liu, G. D. Chang, R. E. Marks:
The design and implementation of a table driven compiler system. 691-697
Some ideas from switching theory
- Yale N. Patt:
A complex logic module for the synthesis of combinational switching circuits. 699-705 - I. Aleksander:
Adaptive systems of logic networks and binary memories. 707-712 - Zvi Kohavi, Pierre Lavallée:
Design of diagnosable sequential machines. 713-718
Non-rotating mass memory
- T. A. Humphrey:
Large core storage utilization in theory and in practice. 719-727 - Gale A. Jallen:
Extended core storage for the control data 64/6600 systems. 729-734 - M. H. MacDougall:
Simulation of an ECS-based operating system. 735-741
Failure finding in logical systems
- C. V. Ramamoorthy:
A structural theory of machine diagnosis. 743-756 - James T. Cain, Marlin H. Mickle, Lawrence P. McNamee:
Compiler level simulation of edge sensitive flip-flops. 757-759 - Herman Jacobowitz:
A logic oriented diagnostic program. 761-764 - Edward M. Prell:
Automatic trouble isolation in duplex central controls employing matching. 765-770
Computers for industrial process analysis and control
- J. M. Lombardo:
The place of digital backup in the direct digital control system. 771-778 - Paul A. C. Cook:
Real-time monitoring of laboratory instruments. 779-782 - J. B. Neblett, D. J. Brevik:
Humanizing industrial control software. 783-792
a service of 
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-04-18 20:19 CEST 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:
