default search action
ACM Annual Conference 1978: Washington, DC, USA
- Richard H. Austing, Dennis M. Conti, Gerald L. Engel:
Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume II. ACM 1978, ISBN 978-0-89791-000-2 - Michael G. Walker:
Note: Pages 1 thru 501 will be found in volume 1. managing reliable software. 502-506 - R. Lanergan, B. Poynton:
Software engineering with standard assemblies. 507-514 - Gregory A. Marks:
Computer-assisted telephone interviewing in the survey research process (Panel Discussion). 515 - M. Howard Williams:
Yet another conversational programming language - BPL. 516-521 - Alfred C. Weaver:
A real-time, multi-task programming language for microprocessor-based industrial process control. 522-525 - Victor S. Foster:
MIDAS: A MID-level language for microprocessors. 526-529 - Carl Vorlander, Daniel B. Magraw, Gerald C. Schmitz, Theodore D. Puckorius:
Challenges to state information systems. 530 - David Burress:
The Wisconsin Tax Model system. 531-538 - Leland Blank, Sallie Nelson:
Developing and prioritizing data processing applications for municipalities. 539-546 - Richard D. Hackathorn:
Research issues of personal computing within the corporate environment. 547-551 - Barbara F. Ryan, Thomas A. Ryan Jr.:
Statistics and computer science: Problems in statistical computing of interest to computer scientists. 552 - F. M. Speed, G. Rex Bryce, James W. Frane, Thomas A. Ryan Jr., James Goodnight:
Statistics and computer science: Recent development in BMDP computing algorithms. 552 - Hubert E. Dunsmore, John D. Gannon:
Programming factors - language features that help explain programming complexity. 554-560 - Jeanne M. Lee, Ben Shneiderman:
Personality and programming: Time-sharing vs. batch preference. 561-569 - John D. Gannon:
Characteristic errors in programming languages. 570-575 - Norman Statland:
The impending impact of distributed information systems. 576-584 - Patricia B. Powell, Paul Thompson:
Natural language and voice output for relational data base systems. 585-595 - Stewart N. T. Shen:
A semantic approach in designing relational data bases. 596-601 - James R. Driscoll, Beverly A. Dutton, Kathryn C. Kinsley:
A relational storage scheme suitable for derived views. 602-611 - G. Rothbart, R. Fullwood, H. O. Conde:
Automatic data acquisition and processing of train deceleration for rapid transit train systems. 612-616 - J. Russell Hogan:
A Correlation Echo Sounder Processor used to provide reliable bottom depth data for profiling. 617-621 - Satish L. Rege, John Grason:
Computer aided design of digital systems: Data part exploration. 622-629 - Bengt Nordstrüm:
Assignments and high level data types. 630-638 - Donald R. Chand, Surya B. Yadav:
On the application of data abstraction facilities. 639-645 - Bengt Nordström:
Programming with abstract data types, some examples. 646-654 - Joseph L. Pokorney, Paul Oyer, Joseph Mazzetti, L. Lee Wouters:
Managing systems more effectively through Life Cycle Management. 655 - David F. Stevens, Richard W. Watson, Paul Rotar, Arnold M. Peskin:
New directions in computing at the National Laboratories. 656 - William P. Laflant Jr., Matt Prastein, Robert P. Campbell, G. Gary Casper, Ollie Smoot, John Swearingen:
The computer profession in the 1980's: An Orwellian interlude? (Panel Discussion). 657 - Alfred Bork, Kenneth Bowles, Patrick Suppes, Robert Noel:
Computer-based courses(Panel Discussion). 658 - Murray Turoff, Starr Roxanne Hiltz:
User behavior patterns in the Electronic Information Exchange System. 659-665 - Rob Kling:
Automated information systems as social resources in policy making. 666-674 - Abbe Mowshowitz:
Computers and ethical judgment in organizations. 675-683 - Charles E. Donaghey:
CELLSIM: A digital simulation language for cell kinetic modelling. 684-697 - Robert S. Ledley, Yeshwant G. Kulkarni, Chan M. Park, Menfai R. Shiu, Louis S. Rotolo:
TEXAC/PICTOL: A Texture Analysis Computer and its special purpose language. 698-703 - M. Catherine Neal, Linda G. Shapiro:
A Portable Graphics system for minicomputers. 704-712 - Everett S. Joline:
"USS Transit Station Simulation" demonstration and documentation film. 713-714 - Kenneth D. Willmert:
Graphic display of human motion. 715-719 - Bernard C. Levrat, Jurgen Harms, Christian Pellegrini, Maurice Wenger, Robert M. Aiken:
An input system designed to aid users of interactive graphics. 720-724 - Terry Miller:
The impact of government regulations and policy on the computer industry. 725 - Lee Ohringer:
Computer security in the federal government: Where we are, how we got here, where we are going. 726 - Stephen W. Smoliar:
A lexical analysis of Labanotation with an associated data structure. 727-730 - Thomas W. Calvert, John Chapman:
Notation of movement with computer assistance. 731-736 - Lynne Weber, Stephen W. Smoliar, Norman I. Badler:
An architecture for the simulation of human movement. 737-745 - Margaret A. Boden:
Social implications of intelligent machines. 746-752 - Walter Maner:
Curriculum generators: Some design problems. 753-758 - Frederic I. Parke, Mark Friedell:
Interactive simulation of biomechanical systems: The kinematics and stress of the human knee. 759-764 - Henry Fuchs, Zvi M. Kedem:
The "highly intelligent" tablet as an efficient pointing device for interactive graphics (Preliminary Report). 765-769 - Christopher M. Brown, Aristides A. G. Requicha, Herbert B. Voelcker:
Geometric Modelling Systems for mechanical design and manufacturing. 770-778 - Philip Milliman:
Measurement and evaluation of modern programming practices. 779 - John Palaimo:
Analysis of software experience data (Panel Discussion): Software reliability measurement during development. 779 - Paul Richards:
Use of data in support of software metrics. 779 - Lorraine Duvall:
The Data and Analysis Center for Software(Presentation Abstract). 780 - Alan N. Sukert:
Applications of error data in software error model validations(Presentation Abstract). 780 - Terry A. Straeter, Carlo Broglio, Marilyn Fujii, Leon G. Stucki, Sabina H. Saib, David C. Luckham:
Software validation and verification - a state of the art report(Panel Discussion). 781 - Marilyn S. Fujii:
Software verification and validation(Position Statement). 782 - Leon G. Stucki:
Validation and verification vs. The software life cycle(Position Statement). 783 - Sabina H. Saib:
Software verification and validation in practice and theory (Position Statement). 784-785 - David C. Luckham:
A brief account: Implementation and applications of a Pascal program verifier (Position Statement). 786-792 - Joyce Currie Little:
An overview of ACM guidelines and recommendations for a community and junior college career program in computer programming. 793-797 - Iva Helen Lee, Claudia Elizabeth Plog:
A design for a community/junior college curriculum with options for two neighboring institutions. 798-806 - John T. Gorgone, John F. Schrage:
A design for the education of computer programmers at the associate level within a baccalaureate level institution. 807-811 - Donald H. Beil:
The data processing Curriculum of the National Technical Institute for the Deaf: A suggested implementation for an AAS degree program in computer programming. 812-821 - Bruce Puerling, Lloyd W. Campbell:
Whither goeth fortran? 822 - Bruce Puerling, Dean Herington:
Whither goeth fortran? 822 - Steve Hue:
Status report of DOE Language Working Group. 823 - Richard W. Signor:
Presentation abstract. 823-824 - Chester M. Smith Jr.:
FORTRAN data base facility. 824 - Herbert Maisel, John Kramer, Lloyd Martin, Lester Sachs:
A perspective on data base systems in the Federal Government. 825 - Jackie S. Potts, Gerald Moon, Larry Cornish, Richard Schulman, John Staudhammer:
Computer graphics: An aid to management in the Federal Government. 826 - Philip A. Coates:
Directory-Assisted Abbreviated Name Entry: Telephone dialing by name. 827-833 - Thomas C. Irby:
Minimizing the retrieval time of scatter storage techniques. 834-839 - Ward Douglas Maurer:
A very small information retrieval system. 840-842 - Richard K. Brewer, Lorrie Lawrence Hoffman, Jesse M. Heines:
Computer aided exam generation (Session Summary): Some thoughts on a taxonomy of related efforts Richard Brewer. 843-844 - Lorrie Lawrence Hoffman:
Test gen: A tool for emancipation from traditional instruction. 845-848 - Jesse M. Heines:
The use of interactive, computer-managed instruction to control the quality of self-paced training without requiring the presence of an instructor. 849-854 - Abraham Silberschatz:
Serializability in multi-level monitor environments. 855-861 - David B. Lomet:
Multi-level locking with deadlock avoidance. 862-867 - Charles M. Shub:
Preemption costs in round robin scheduling. 868-874 - Aaron M. Tenenbaum, Erik Widder:
A comparison of first-fit allocation strategies. 875-883 - Allen B. Tucker Jr., Giuliano Gnugnoli, Long Vo Nguyen, Bedrich Chaloupka:
Implementation consideration for machine translation. 884-890 - Joe W. Duran:
Heuristics for program synthesis using loop invariants. 891-900 - Lyle A. Cox Jr.:
Predicting concurrent computer system performance using Petri-Net models. 901-913 - Takumi Kasai, Akeo Adachi, Shigeki Iwata:
Classes of pebble games and complete problems. 914-918 - Hsu Chang:
Interpretation of query-by-example language in bubble hardware language. 919-924 - Jayanta Banerjee, David K. Hsiao:
A methodology for supporting existing CODASYL databases with new database machines. 925-936 - Larry Lichten, Eduardo B. Fernández:
Interaction with databases through procedural languages. 937-945 - Ronald D. Armstrong, David S. Kung:
A dual method for discrete Chebychev curve fitting. 946-953 - C. P. Huang:
An efficient algorithm for computing powers of triangular matrices. 954-957 - Sidney Diamond:
Contents of a meaningful plan. 964-971 - David W. Embley:
Forms-based automatic program generation. 972-979 - Kilnam Chon:
Information processing in electricity distribution systems. 980-984 - David R. Kniefel, Karen A. Duncan, Don Holznagel, Elizabeth Little:
Update: Cooperation amoung computer organization (Panel Discussion). 985
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.