ACM Annual Conference 1978: Washington, DC, USA

Richard H. Austing, Dennis M. Conti, Gerald L. Engel (Eds.): Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume II. ACM 1978 BibTeX

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