AFIPS_Bibliography_Vol47_1978

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