![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.