Preface XXXI Stephen W. Miller Introduction XXXIII Leonard Liu, Sakti P. Ghosh Overview 1 William F. Rousseau Forecasting national gas demand by modeling fuel purchasing decisions for end-use customer groups 3 Thomas R. Rice, C. John Meeske General equilibrium models for energy policy analysis 11 Horace W. Brock Decision analysis of the synthetic fuels commercialization program 23 Steven N. Tani A computer model for examining regional peak electric load growth 31 P. F. Schweizer Computer modeling of automotive engine combustion 39 Charles K. Westbrook, Leonard C. Haselman Computer modeling of automotive components and structures 47 Mounir M. Kamal, Joseph A. Wolf, Jr . The development and application of mathematical model of enhanced oil recovery\ 53 Harvey S. Price Geophysical DP requirements could exceed the World's GP capacity by 1985 63 Carl H. Savit Seismic modeling with minicomputers 67 R. L. Selzler, R. M. Alford, K. R. Kelly, N. D. Whitmore, H. M. Williams Present and future applications of computer technology to petroleum exploration 73 R. A. Ternus, A. S. Hoffman Image processing for remote sensing overview 85 Frederic C. Billingsley Information requirements for natural resource inventories 87 William J. Bonner Digital image analysis techniques required for natural resource inventories 93 Wayne G. Rohde Digital image analysis applications in state natural resource agencies 107 Paul A. Tessar In perspective - Meeting the image processing challenge for remote sensing 113 Philip H. Swain Programming hardware for remote sensing image analysis 119 David G. Goodenough Use of textural features in the analysis of landsat images 131 H. K. Ramapriyan, S. H. Chang, R. L. McKinney Applications of digital image processing techniques to problems of data registration and correlation 141 William B. Green Design of pipelined systems for landsat image processing 151 Donald C. Brabston, John E. Taber AOIPS - An interactive image processing system 159 P. A. Bracken, J. T. Dalton, J. J. Quann, J. B. Billingsley Remote sensing program in earth resources 173 Frederic C. Billingsley, Donald T. Lauer NASA and the U.S. climate program-A problem in data management 175 John J. Quann What good is all this data if we can't use it? 181 George J. McMurtry EFTS - Electronic fund transfer system overview 183 Stephen J. Kohn Systems auditability and control in an EFTS environment 185 Russell H. Dewey Electronic fund transfer systems and quality of life 191 Rob Kling Special purpose terminals overview 199 William Key Decision criteria in terminal product planning 201 Eric C. Westerfeld Making a special purpose terminal work in a general purpose systems environment 207 Donald J. Birmingham Future developments of special purpose terminals 213 Rein Turn The future of special purpose terminals 217 D. G. Kovar Office automation overview 223 J. F. Rulifson, Donna Williams Artifical intelligence overview 225 Robert Balzer The art of artificial intelligence- Themes and case studies of knowledge engineering 227 Ed Feigenbaum The ubiquity of discovery 241 Douglas B. Lenat The development of clinical expertise in the computer-The evolution of clinical decision-making programs at MIT(Abstract of presentation) 258 Peter Szolovits The role of hypothetical reasoning in diagnostic problem solving (Abstract of presentation) 259 Harry Pople Strategies of glaucoma treatment planning (Abstract of presentation) 259 Casimir A. Kulikowski and Sholom M. Weiss Use of artificial intelligence for interpretation of physiological measurements-Pulmonary function diagnosis and I.C.U. ventialator (Abstract of presentation) 260 J. C. Kunz, L. M. Fagan, R. J. Fallat, D. H. McClung, J. S. Aikins, H. P. Nii, E. A. Feigenbaum, J. J. Osborn Machine inference for molecular genetics-Methods and applications (Abstract of presentation) 261 Mark Stefik, Peter Friedland A computer-based consultant for mineral exploration (Abstract of presentation) 261 R. O. Duda, P. E. Hart, R. Reboh A dependency-based modelling mechanism for problem solving 263 Philip London Error recovery in robots through failure reason analysis 275 S. Srinivas Design automation and computer graphics overview 283 W. M. vanCleemput IC design - Misery or magic 285 Ken Loosemore STICKS - A graphical compiler for high level LSl design 289 John Williams A method for the automatic wiring of LSl chips 297 Ning Nan, Michael Feuer A speed oriented fully automatic layout program for random logic VLSI devices 303 AI Feller, R. Noto A methodology for the design of digital systems-Supported by SARA at the age of one 313 Gerald Estrin SARA aided design of software for concurrent systems 325 Ivan M. Campos, Gerald Estrin The GM network station - A low cost graphics system for body tooling 337 T. J. Reno Computer aided design (CAD) mechnical data automation (TDA) 343 Vernon R. Pearl The Boeing electronic computer aided design system 353 Bruce H. Inman Home and hobbying computing overview 357 Jim C. Warren, Jr . Personal Computing - A little past and a lot of future 359 Portia Isaacson Personal computers - Hardware, software and documentation 363 Jef Raskin Simulation overview 365 John McLeod Emulation - Tool for software development 367 N. F. Schneidewind PRIM system - A framework for emulation-based debugging tools 373 Joel Goldberg, Alvin Cooperband, Louis Gallenson Amicroprogrammed AN/UYK-20(V) emulation 379 Donald A. Deel, Walter, A. Burkhard Design considerations in a multiprocessor computer for continuous system simulation 385 E. O. Gilbert, R. M. Howe Plasma simulation on the UCLA CHI computer system 395 John M. Dawson, Robert W. Huff, Cheng-Chin Wu Multiple microcomputer systems for solving certain fluid flow problems 409 John Steinhoff Selecting a minicomputer system (Abstract of presentation) 417 Audrey N. Grosch Library automation program at the Lister Hill National Center for biomedical communication (Abstract of presentation) 417 Charles M. Goldstein Minicomputers in library networking (Abstract of presentation) 417 Karl M. Pearson, Jr . Performance measurement and evaluation overview 421 Stephen R. Kimbleton How to improve your performance through obfuscatory measurement 425 David F. Stevens Perceptions of performance 433 Richard J. Cieslowski Effects of peripheral processor wait list positioning on system performance 439 Ronnie G. Ward, Becky B. Turner, Galeyn Joe Hubbard BEST/1 - Design of a tool for computer system capacity planning 447 Jeffrey P. Buzen, R. P. Goldberg, A. M. Langer, E. Lentz, H. S. Schwenk, D. A. Sheetz, A. Shum Job scripts - A workload description based on system event data 457 Robert L. Mead, Herbert D. Schwetman Predicting the workload of a computer system 465 A. K. Agrawala, J. M. Mohr Performance evaluation of nonpreemptive response-ratio schedulers 473 Manfred Ruschitzka Derivation of equilibrium and time-dependent solution to M/M/00/N and M/M/oo queueing systems using entropy maximization 483 John E. Shore The cycle time of a class of closed queueing network models 489 We-Min Chow Network access technology - A perspective 495 Shirley Ward Watkins, Stephen R. Kimbleton Adaptive random data generation for computer software testing 505 Stephen F. Lundstrom DP management and administration overview 513 Richard L. Nolan Time management for the data processing professional (Abstract of presentation) 515 James F. Towsen Organizational response and information technology 517 Richard L. Nolan Are statistical databases secure? 525 Dorothy E. Denning SECURATE - Security evaluation and analysis using fuzzy metrics 531 Lance J. Hoffman, Eric H. Michelman, Don Clements The information systems management system - A framework for information systems planning (Abstract of presentation) 541 John A. Zachman A data model approach to business systems planning and control (Abstract of presentation) 542 Daniel S. Appleton Information systems planning in the non-planning environment (Abstract of presentation) 542 Michael J. Kirrene Apolitical perspective on computers in local government (Abstract of presentation) 543 William Dutton Service provider or skill bureaucracy? - The data processing function in local government (Abstract of presentation) 543 James Danziger Useful application of politics in computing (Abstract of presentation) 544 Einar Steffereud Organizational considerations in DP resource allocation (Abstract of presentation) 544 Jim A. Sutton Software development methodology overview 547 Peter Freeman A description scheme to aid the design of collections of concurrent processes 549 William E. Riddle, John H. Sayler, Alan R. Segal, Allan M. Stavely, Jack C. Wileden On the construction of interactive systems 555 Martin Freeman, Walter W. Jacobs, Leon S. Levy Software fault-tolerance in the Pluribus 563 John G. Robinson, Eric S. Roberts MTR - A tool for displaying the global structure of software systems 571 Guy de Balbine The impact of program and programmer characteristics on program size 581 Earl Chrysler Multlprocessmg made easy 589 Ronald J. Price Data accessablility in structured programmmg 597 Ned Chapin Program complexity using hierarchical abstract computers 605 William G. Bail, Marvin V. Zelkowitz A language for specifying software tests 609 David J. Panzl A software quality plan for higher education - An abstract 621 Barry L. Bateman, Chadwick H. Nestman The design of a prototype mutation system for program testing 623 Timothy A. Budd, Richard J. Lipton, Richard DeMillo, Frederick Sayward Experience with PSL/PSA (Abstract of presentation) 630 Donald J. Reifer Experience with SADT (Abstract of presentation) 631 Donn Combelic Experience with an application of structured design (Abstract of presentation) 633 J. A. Rader Experience with Exxon's implementation of the Jackson program design method (Abstract of presentation) 636 C. M. Bernstein Initial experience with a methodology for correct program design (Abstract of presentation) 637 F. T. Baker Experience with the IPAD software development methodology (Abstract of presentation) 638 Susan Voight Formal methods in programming and microprogramming overview 641 Jack Goldberg An approach to firmware engineering 643 David A. Patterson Code optimization techniques for micro-code compilers 649 C. J. Tan Microprogram verification considered necessary 657 W. C. Carter, W. H. Joyner, Jr., D. Brand Formalism can help you (Abstract of presentation) 665 Lawrence Robinson Software design by algebraic specification (Abstract of presentation) 666 Ellis Horowitz Practical benefits of research in programming methodology (Abstract of presentation) 666 Barbara Liskov Beyond factorial (Abstract of presentation) 667 Donald I. Good Automatic programming overview 669 Robert Balzer Informality in program specifications 671 Robert Balzer, Neil Goldman, David Wile The PSI program synthesis system, 1978 - An abstract 673 Cordell Green Protosystem I - An automatic programming system prototype 675 Gregory R. Ruth DEDALUS - The DEDuctive ALgorithm Ur-Synthesizer 683 Zohar Manna, Richard Waldinger Automatic representation selection for associative data structures 691 Paul Rovner Efficiency estimation - Controlling search in program synthesis 703 Elaine Kant Transformational implementation 705 David Wile, Robert Balzer The future of automatic programming (Abstract of presentation) 707 Thomas A. Standish The impact of automatic programming research (Abstract of presentation) 708 Michael Hammer Data networks overview 711 Norman Abramson, Eugene R. Cacciamani Challenges in the planning of international communications 713 David J. Horton The need for continuation of full-period transparent private-line service 717 Phillip C. Onstad Satellite business systems innovative services for business communications 721 Ronald W. McCabe Emerging markets for satellite data communications in the public service 727 James G. Potter Packet switching services for the Autodin community 735 Donald J. O'Rourke Implications of a national computer network for higher education and science research 747 Norman R. Nielson, Ronald Segal A comparison of network architectures - The ARPANET and SNA 755 Gilbert Falk Design of a message processing system for a multilevel secure environment 765 Stanley R. Ames, Jr. , Donald R. Oestreicher Network operating systems - An implementation approach 773 Stephen R. Kimbleton, Helen M. Wood, M. L. Fitzgerald A distributed processing system for naval data communication networks 783 Wesley W. Chu, Brandon Iffla, David Lee Integrated optimization of distributed processing networks 795 W. Chou, F. Ferrante, M. Balagangadhar An extensible distributed data base system 813 Mamoru Maekawa, Satoru Ishii Practical problems in a distributed application 823 Eric D. Carlson, Mary C. Smyly Installing IBM 3790's in a manufacturing environment (Abstract of presentation) 829 Lester Stubbs Distributed data processing in a clerical environment (Abstract of presentation) 829 Michael C. Dowling Distributed systems in retrospect - Lessons we learned the hard way (Abstract of presentation) 830 Mario Calderin Data base management systems overview 831 Charles Bachman Network database evaluation using analytical modeling 833 Toby J. Teorey, Lewis B. Oberlander Selection efficiency combination of data files for a multiuser data base 843 Richardo A. Duhne, Dennis G. Severance Programming languages for relational database systems 849 Charles J. Prenner, Lawrence A. Rowe Conversion of high-Ievel sublanguage queries to account for database changes 857 Stanley Y. W. Su, Michael J. Reynolds Guidelines to software conversion 877 Paul Oliver An assessment of the technology for data- and program-related conversion 887 James P. Fry, Edward Birss, Peter Dressen, Nancy Goguen, Michael Kaplan, Eugene Lowenthal, Vincent Lum, Robert Marion, Shamkant Navathe, Steven Schindler, Arie Shoshani, Stanley Su, Donald Swartwout, Robert Taylor, Beatrice Yormark Distributed data base technology - An interim report of the CODASYL Systems Committee 909 The CODASYL Systems Committee-Chairman: William Steiger Commentary on CODASYL Systems Committee's interim report on distributed database technology 919 Charles Bachman Computer architecture overview 923 C. V. Ramamoorthy, Gordon Bell Intra-computer standards 925 Tse- Yun Feng Software standards - With hints of their relation to computer architecture 927 H. Hecht Standards for semiconductor memory 931 J. Reese Brown, Jr. Microprocessor standards 935 Tom Pittman, Robert G. Stewart Reflections in a pool of processors - An experience report on C.mmp/Hydra 939 William A. Wulf, Samuel P. Harbison A design methodology for user oriented computer systems 953 C. V. Ramamoorthy, G. S. Ho VAX-11/780 - A virtual address extension to the DEC PDP-11 family 967 W. D. Strecker PEPE architecture - present and future 981 Charles R. Vick, Jack Cornell PEPE - A user's viewpoint - A powerful real time adjunct 993 M. P. Mariani, E. J. Henry Special computer architecture for pattern recognition and image processing - An overview 1003 K. S. Fu Experience with a picture processor in pattern recognition processing 1015 Bjorn Kruse Design of local parallel pattern processor for image processing 1025 Ken-ichi Mori, Masatsugu Kidode, Hidenori Shinoda, Haruo Asada A multi-processor ARES with associative processing capability on semantic data bases 1033 Tadao Ichikawa, Ken Sakamura and Hideo Aiso The STARAN architecture and its application to image processing and pattern recognition algorithms 1041 J. L. Potter The criterion COBOL system 1049 Michael D. Shapiro Review of the CLIP image processing system 1055 M. J. B. Duff Evolution of new hardware technology overview 1061 Vir Dhaka Semiconductor RAMS of the future 1063 Charles Boettcher Bubbles and CCD memories - Solid state mass storage 1067 J. Egil Juliussen Programming and operating systems overview 1077 Michael A. Harrison Issues in kernel design 1079 Gerald J. Popek, Charles S. Kline Computer system - Security evaluation 1087 Peter G. Neumann History of programming languages (Abstract of presentation) 1097 Jean E. Sammet COBOL - The 1980 standard, a preview 1099 George N. Baird, Margaret M. Cook, Roger J. Gorg Database facility for COBOL 80 1107 Margaret M. Cook COBOL - Its relationship with other American national standards 1113 L. Arnold Johnson, Patrick M. Hoyt, George N. Baird Ciphertext/plaintext and ciphertext/key dependence vs. number of rounds for the data encryption standard 1119 Carl H. Meyer Data dependent keys for a selective encryption terminal 1127 Robert J. Flynn, Anthony S. Campasano Security in communication networks 1131 Martin E. Hellman Legislation and its impact overview 1137 Susan Hubbell Nycum Software house in the big house 1139 Willard V. Handley Computer security differences for accidental and intentionally caused losses 1145 Donn B. Parker Anatomy of a computer crime 1151 Susan Hubbell Nycum Federal policy and the future of computer communications services (Abstract of presentation) 1157 Philip S. Nyborg Computing careers and education overview 1159 David C. Rine A treatment - Professional development 1161 Frederick A. Gluckson Professionalism in data processing management 1167 Delbert W. Atwood, Jr. Professionalism - A question of semantics 1171 Eugene B. Smith Continuing education opportunities - A mark of a profession 1175 Roland D. Spaniol So you think you are a professional? 1179 G. Gary Casper Designing and debugging careers for women in the computer industry (Abstract of presentation) 1185 Thelma Estrin Computers in early education panel overview 1187 Orlando S. Madrigal Programming for children on a personal computer (Abstract of presentation) 1188 Alan C. Kay Computer science education for preservice elementary school teachers (Abstract of presentation) 1188 David Moursund The state of high school data processing programs (Abstract of presentation) 1188 John Maniotes Cost effectiveness of the use of computers for high school education (Abstract of presentation) 1189 William G. Lane Teaching micro-computers in high school (Abstract of presentation) 1189 A. M. Banks Computer education in higher education - Status, alternatives and needs 1191 John W. Hamblen Computer science and computer engineering - A review and overview of curriculum development 1197 Gerald L. Engel, Oscar N. Garcia The status of computer education in the community and junior colleges - Needs and alternatives 1205 Joyce Currie Little Buisiness/computer science curricula - A survey 1209 Kathryn L. Schenk, James R. Pinkert A brief survey of computer science and engineering education 1213 C. V. Ramamoorthy Accreditation of community college data processing programs (Abstract of presentation) 1217 Don B. Medley Accreditation - Problems and perspective (Abstract of presentation) 1218 Eugene B. Smith Accreditation - A university perspective (Abstract of presentation) 1218 Thomas H. Athey Recent progress in japan overview 1221 Hideo Aiso Electron beam lithography for advanced LSl fabrication 1223 Eiichi Goto, Takashi Soma, Masanori Idesawa, Tateaki Sasaki Semiconductor technology in Japan 1229 Takuo Sugano The development of computers in Japan 1235 Osamu Ishii Remote data processing in Japan 1243 Kanjiro Koshi, Kimio Ibuki Train operation control system for high-speed railway 1249 Yoshiro Hayashi, Shigeo Yokota, Taizo Nauchi Development of a high-performance universal computing element - PULCE 1255 Hajime lizuka, Yutaka Hayashi, Keikichi Tamaru, Hisashi Hara CACS - Urban traffic control system featuring computer control 1265 Toru Mikami A distributed processing system and its application to industrial control 1273 Y. Matsumoto, O. Sasaki, T. Sumi