Abstract is missing.
- PrefaceStephen W. Miller.
- IntroductionLeonard Y. Liu, Sakti P. Ghosh.
- OverviewWilliam F. Rousseau. 1-2
- Forecasting national gas demand by modeling fuel purchasing decisions for end-use customer groupsThomas R. Rice, C. John Meeske. 3-10
- General equilibrium models for energy policy analysisHorace W. Brock. 11-22
- Decision analysis of the synthetic fuels commercialization programSteven N. Tani. 23-30
- A computer model for examining regional peak electric load growthP. F. Schweizer. 31-38
- Computer modeling of automotive engine combustionCharles K. Westbrook, Leonard C. Haselman. 39-46
- Computer modeling of automotive components and structuresMounir M. Kamal, Joseph A. Wolf Jr.. 47-52
- The development and application of mathematical model of enhanced oil recoveryHarvey S. Price. 53-62
- Geophysical DP requirements could exceed the World's GP capacity by 1985Carl H. Savit. 63-66
- Seismic modeling with minicomputersR. L. Selzler, R. M. Alford, K. R. Kelly, N. D. Whitmore, H. M. Williams. 67-72
- Present and future applications of computer technology to petroleum explorationR. A. Ternus, A. S. Hoffman. 73-84
- Image processing for remote sensing overviewFrederic C. Billingsley. 85-86
- Information requirements for natural resource inventoriesWilliam J. Bonner. 87-92
- Digital image analysis techniques required for natural resource inventoriesWayne G. Rohde. 93-106
- Digital image analysis applications in state natural resource agenciesPaul A. Tessar. 107-112
- In perspective - Meeting the image processing challenge for remote sensingPhilip H. Swain. 113-118
- Programming hardware for remote sensing image analysisDavid G. Goodenough. 119-129
- Use of textural features in the analysis of landsat imagesHampapuram K. Ramapriyan, S. H. Chang, R. L. McKinney. 131-140
- Applications of digital image processing techniques to problems of data registration and correlationWilliam B. Green. 141-150
- Design of pipelined systems for landsat image processingDonald C. Brabston, John E. Taber. 151-157
- AOIPS - An interactive image processing systemPeter A. Bracken, John T. Dalton, John J. Quann, James B. Billingsley. 159-171
- Remote sensing program in earth resourcesFrederic C. Billingsley, Donald T. Lauer. 173-174
- NASA and the U.S. climate program - A problem in data managementJohn J. Quann. 175-180
- What good is all this data if we can't use it?George J. McMurtry. 181-182
- EFTS - Electronic fund transfer system overviewStephen J. Kohn. 183-184
- Systems auditability and control in an EFTS environmentRussell H. Dewey. 185-190
- Electronic fund transfer systems and quality of lifeRob Kling. 191-198
- Special purpose terminals overviewWilliam Key. 199-200
- Decision criteria in terminal product planningEric C. Westerfeld. 201-206
- Making a special purpose terminal work in a general purpose systems environmentDonald J. Birmingham. 207-212
- Future developments of special purpose terminalsRein Turn. 213-216
- The future of special purpose terminalsD. G. Kovar. 217-222
- Office automation overviewJohns F. Rulifson, Donna Williams. 223-224
- Artifical intelligence overviewRobert Balzer. 225-226
- The art of artificial intelligence - Themes and case studies of knowledge engineeringEdward A. Feigenbaum. 227-240
- The ubiquity of discoveryDouglas B. Lenat. 241-257
- The development of clinical expertise in the computer-The evolution of clinical decision-making programs at MIT (Abstract of presentation)Peter Szolovits. 258
- The role of hypothetical reasoning in diagnostic problem solving (Abstract of presentation)Harry E. Pople. 259
- Strategies of glaucoma treatment planning (Abstract of presentation)Casimir A. Kulikowski, Sholom M. Weiss. 259
- Use of artificial intelligence for interpretation of physiological measurements-Pulmonary function diagnosis and I.C.U. ventialator (Abstract of presentation)John C. Kunz, Lawrence M. Fagan, R. J. Fallat, D. H. McClung, J. S. Aikins, H. Penny Nii, Edward A. Feigenbaum, John J. Osborn. 260
- Machine inference for molecular genetics-Methods and applications (Abstract of presentation)Mark Stefik, Peter Friedland. 261
- A computer-based consultant for mineral exploration (Abstract of presentation)Richard O. Duda, Peter E. Hart, René Reboh. 261-262
- A dependency-based modelling mechanism for problem solvingPhilip London. 263-274
- Error recovery in robots through failure reason analysisS. Srinivas. 275-282
- Design automation and computer graphics overviewW. M. vanCleemput. 283-284
- IC design - Misery or magicKen Loosemore. 285-288
- STICKS - A graphical compiler for high level LSl designJohn Williams. 289-296
- A method for the automatic wiring of LSl chipsNing Nan, Michael Feuer. 297-302
- A speed oriented fully automatic layout program for random logic VLSI devicesA. Feller, Richard B. Noto. 303-311
- A methodology for the design of digital systems-Supported by SARA at the age of oneGerald Estrin. 313-324
- SARA aided design of software for concurrent systemsIvan M. Campos, Gerald Estrin. 325-336
- The GM network station - A low cost graphics system for body toolingT. J. Reno. 337-342
- Computer aided design (CAD) mechnical data automation (TDA)Vernon R. Pearl. 343-352
- The Boeing electronic computer aided design systemBruce H. Inman. 353-356
- Home and hobbying computing overviewJim C. Warren Jr.. 357-358
- Personal Computing - A little past and a lot of futurePortia Isaacson. 359-363
- Personal computers - Hardware, software and documentationJef Raskin. 363-364
- Simulation overviewJohn McLeod. 365-366
- Emulation - Tool for software developmentNorman F. Schneidewind. 367-372
- PRIM system - A framework for emulation-based debugging toolsJoel Goldberg, Alvin S. Cooperband, Louis Gallenson. 373-378
- Amicroprogrammed AN/UYK-20(V) emulationDonald A. Deel, A. Burkhard. 379-384
- Design considerations in a multiprocessor computer for continuous system simulationE. O. Gilbert, R. M. Howe. 385-394
- Plasma simulation on the UCLA CHI computer systemJohn M. Dawson, Robert W. Huff, Cheng-Chin Wu. 395-408
- Multiple microcomputer systems for solving certain fluid flow problemsJohn Steinhoff. 409-416
- Library automation program at the Lister Hill National Center for biomedical communication (Abstract of presentation)Charles M. Goldstein. 417
- Selecting a minicomputer system (Abstract of presentation)Audrey N. Grosch. 417
- Minicomputers in library networking (Abstract of presentation)Karl Maurice Pearson Jr.. 417
- Performance measurement and evaluation overviewStephen R. Kimbleton. 421-424
- How to improve your performance through obfuscatory measurementDavid F. Stevens. 425-432
- Perceptions of performanceRichard J. Cieslowski. 433-428
- Effects of peripheral processor wait list positioning on system performanceRonnie G. Ward, Becky B. Turner, Galeyn Joe Hubbard. 439-446
- BEST/1 - Design of a tool for computer system capacity planningJeffrey P. Buzen, Rsobert. P. Goldberg, Arthur M. Langer, Elizabeth S. Lentz, Holger S. Schwenk, Deborah A. Sheetz, Annie W. Shum. 447-455
- Job scripts - A workload description based on system event dataRobert L. Mead, Herbert D. Schwetman. 457-464
- Predicting the workload of a computer systemAshok K. Agrawala, Jeffrey M. Mohr. 465-472
- Performance evaluation of nonpreemptive response-ratio schedulersManfred Ruschitzka. 473-482
- Derivation of equilibrium and time-dependent solution to M/M/00/N and M/M/oo queueing systems using entropy maximizationJohn E. Shore. 483-488
- The cycle time of a class of closed queueing network modelsWe-Min Chow. 489-494
- Network access technology - A perspectiveShirley Ward Watkins, Stephen R. Kimbleton. 495-504
- Adaptive random data generation for computer software testingStephen F. Lundstrom. 505-512
- DP management and administration overviewRichard L. Nolan. 513-514
- Time management for the data processing professional (Abstract of presentation)James F. Towsen. 515-516
- Organizational response and information technologyRichard L. Nolan. 517-524
- Are statistical databases secure?Dorothy E. Denning. 525-530
- SECURATE - Security evaluation and analysis using fuzzy metricsLance J. Hoffman, Eric H. Michelman, Don Clements. 531-540
- The information systems management system - A framework for information systems planning (Abstract of presentation)John A. Zachman. 541
- A data model approach to business systems planning and control (Abstract of presentation)Daniel S. Appleton. 542
- Information systems planning in the non-planning environment (Abstract of presentation)Michael J. Kirrene. 542
- Service provider or skill bureaucracy? - The data processing function in local government (Abstract of presentation)James Danziger. 543
- Apolitical perspective on computers in local government (Abstract of presentation)William Dutton. 543
- Organizational considerations in DP resource allocation (Abstract of presentation)Jim A. Sutton. 544
- Useful application of politics in computing (Abstract of presentation)Einar Steffereud. 544
- Software development methodology overviewPeter Freeman. 547-548
- On the construction of interactive systemsMartin Freeman, Walter W. Jacobs, Leon S. Levy. 555-562
- Software fault-tolerance in the PluribusJohn G. Robinson, Eric S. Roberts. 563-570
- MTR - A tool for displaying the global structure of software systemsGuy de Balbine. 571-580
- The impact of program and programmer characteristics on program sizeEarl Chrysler. 581-588
- Multlprocessmg made easyRonald J. Price. 589-596
- Data accessablility in structured programmmgNed Chapin. 597-604
- Program complexity using hierarchical abstract computersWilliam G. Bail, Marvin V. Zelkowitz. 605-608
- A language for specifying software testsDavid J. Panzl. 609-620
- A software quality plan for higher education - An abstractBarry L. Bateman, Chadwick H. Nestman. 621-622
- The design of a prototype mutation system for program testingTimothy A. Budd, Richard J. Lipton, Richard A. DeMillo, Frederick G. Sayward. 623-629
- Experience with PSL/PSA (Abstract of presentation)Donald J. Reifer. 630
- Experience with SADT (Abstract of presentation)Donn Combelic. 631
- Experience with an application of structured design (Abstract of presentation)J. A. Rader. 633
- Experience with Exxon's implementation of the Jackson program design method (Abstract of presentation)C. M. Bernstein. 636
- Initial experience with a methodology for correct program design (Abstract of presentation)F. T. Baker. 637
- Experience with the IPAD software development methodology (Abstract of presentation)Susan Voight. 638
- Formal methods in programming and microprogramming overviewJack Goldberg. 641-642
- An approach to firmware engineeringDavid A. Patterson. 643-648
- Code optimization techniques for micro-code compilersC. J. Tan. 649-656
- Microprogram verification considered necessaryWilliam C. Carter, William H. Joyner Jr., Daniel Brand. 657-664
- Formalism can help you (Abstract of presentation)Lawrence Robinson. 665
- Software design by algebraic specification (Abstract of presentation)Ellis Horowitz. 666
- Practical benefits of research in programming methodology (Abstract of presentation)Barbara Liskov. 666
- Beyond factorial (Abstract of presentation)Donald I. Good. 667-668
- Automatic programming overviewRobert Balzer. 669-670
- Informality in program specificationsRobert Balzer, Neil M. Goldman, David Wile. 671-672
- The PSI program synthesis system, 1978 - An abstractCordell Green. 673-674
- Protosystem I - An automatic programming system prototypeGregory R. Ruth. 675-682
- DEDALUS - The DEDuctive ALgorithm Ur-SynthesizerZohar Manna, Richard Waldinger. 683-690
- Automatic representation selection for associative data structuresPaul Rovner. 691-702
- Efficiency estimation - Controlling search in program synthesisElaine Kant. 703-704
- Transformational implementationDavid Wile, Robert Balzer. 705-706
- The future of automatic programming (Abstract of presentation)Thomas A. Standish. 707
- The impact of automatic programming research (Abstract of presentation)Michael Hammer. 708-710
- Data networks overviewNorman M. Abramson, Eugene R. Cacciamani. 711-712
- Challenges in the planning of international communicationsDavid J. Horton. 713-716
- The need for continuation of full-period transparent private-line servicePhillip C. Onstad. 717-720
- Satellite business systems innovative services for business communicationsRonald W. McCabe. 721-726
- Emerging markets for satellite data communications in the public serviceJames G. Potter. 727-734
- Packet switching services for the Autodin communityDonald J. O'Rourke. 735-746
- Implications of a national computer network for higher education and science researchNorman R. Nielsen, Ronald Segal. 747-754
- A comparison of network architectures - The ARPANET and SNAGilbert Falk. 755-764
- Design of a message processing system for a multilevel secure environmentStanley R. Ames Jr., Donald R. Oestreicher. 765-772
- Network operating systems - An implementation approachStephen R. Kimbleton, Helen M. Wood, M. L. Fitzgerald. 773-782
- A distributed processing system for naval data communication networksWesley W. Chu, Brandon Iffla, David Lee. 783-794
- Integrated optimization of distributed processing networksW. Chou, F. Ferrante, M. Balagangadhar. 795-812
- An extensible distributed data base systemMamoru Maekawa, Satoru Ishii. 813-822
- Practical problems in a distributed applicationEric D. Carlson, Mary C. Smyly. 823-828
- Installing IBM 3790's in a manufacturing environment (Abstract of presentation)Lester Stubbs. 829
- Distributed data processing in a clerical environment (Abstract of presentation)Michael C. Dowling. 829
- Distributed systems in retrospect - Lessons we learned the hard way (Abstract of presentation)Mario Calderin. 830
- Data base management systems overviewCharles W. Bachman. 831-832
- Network database evaluation using analytical modelingToby J. Teorey, Lewis B. Oberlander. 833-842
- Selection efficiency combination of data files for a multiuser data baseRichardo A. Duhne, Dennis G. Severance. 843-848
- Programming languages for relational database systemsCharles J. Prenner, Lawrence A. Rowe. 849-856
- Conversion of high-Ievel sublanguage queries to account for database changesStanley Y. W. Su, Michael J. Reynolds. 857-876
- Guidelines to software conversionPaul Oliver. 877-886
- An assessment of the technology for data- and program-related conversionJames P. Fry, Edward W. Birss, Peter Dressen, Nancy H. Goguen, Michael M. Kaplan, Eugene I. Lowenthal, Vincent Y. Lum, Robert Marion, Shamkant B. Navathe, Steven J. Schindler, Arie Shoshani, Stanley Y. W. Su, Donald E. Swartwout, Robert W. Taylor, Beatrice Yormark. 887-908
- Distributed data base technology - An interim report of the CODASYL Systems Committee909-918
- Commentary on CODASYL Systems Committee's interim report on distributed database technologyCharles W. Bachman. 919-922
- Computer architecture overviewC. V. Ramamoorthy, Gordon Bell. 923-924
- Intra-computer standardsTse-Yun Feng. 925-926
- Software standards - With hints of their relation to computer architectureH. Hecht. 927-930
- Standards for semiconductor memoryJ. Reese Brown Jr.. 931-934
- Microprocessor standardsTom Pittman, Robert G. Stewart. 935-938
- Reflections in a pool of processors - An experience report on C.mmp/HydraWilliam A. Wulf, Samuel P. Harbison. 939-952
- A design methodology for user oriented computer systemsC. V. Ramamoorthy, Gary S. Ho. 953-966
- VAX-11/780 - A virtual address extension to the DEC PDP-11 familyWilliam D. Strecker. 967-980
- PEPE architecture - present and futureCharles R. Vick, Jack Cornell. 981-992
- PEPE - A user's viewpoint - A powerful real time adjunctMichael P. Mariani, Eric James Henry. 993-1002
- Special computer architecture for pattern recognition and image processing - An overviewK. S. Fu. 1003-1014
- Experience with a picture processor in pattern recognition processingBjörn Kruse. 1015-1024
- Design of local parallel pattern processor for image processingKen-ichi Mori, Masatsugu Kidode, Hidenori Shinoda, Haruo Asada. 1025-1032
- A multi-processor ARES with associative processing capability on semantic data basesTadao Ichikawa, Ken Sakamura, Hideo Aiso. 1033-1040
- The STARAN architecture and its application to image processing and pattern recognition algorithmsJerry L. Potter. 1041-1048
- The criterion COBOL systemMichael D. Shapiro. 1049-1054
- Review of the CLIP image processing systemMichael J. B. Duff. 1055-1060
- Evolution of new hardware technology overviewVir Dhaka. 1061-1062
- Semiconductor RAMS of the futureCharles Boettcher. 1063-1066
- Bubbles and CCD memories - Solid state mass storageJ. Egil Juliussen. 1067-1076
- Programming and operating systems overviewMichael A. Harrison. 1077-1078
- Issues in kernel designGerald J. Popek, Charles S. Kline. 1079-1086
- Computer system - Security evaluationPeter G. Neumann. 1087-1096
- History of programming languages (Abstract of presentation)Jean E. Sammet. 1097-1098
- COBOL - The 1980 standard, a previewGeorge N. Baird, Margaret M. Cook, Roger J. Gorg. 1099-1106
- Database facility for COBOL 80Margaret M. Cook. 1107-1112
- COBOL - Its relationship with other American national standardsL. Arnold Johnson, Patrick M. Hoyt, George N. Baird. 1113-1118
- Ciphertext/plaintext and ciphertext/key dependence vs. number of rounds for the data encryption standardCarl H. Meyer. 1119-1126
- Data dependent keys for a selective encryption terminalRobert J. Flynn, Anthony S. Campasano. 1127-1130
- Security in communication networksMartin E. Hellman. 1131-1136
- Legislation and its impact overviewSusan Hubbell Nycum. 1137-1138
- Software house in the big houseWillard V. Handley. 1139-1144
- Computer security differences for accidental and intentionally caused lossesDonn B. Parker. 1145-1150
- Anatomy of a computer crimeSusan Hubbell Nycum. 1151-1156
- Federal policy and the future of computer communications services (Abstract of presentation)Philip S. Nyborg. 1157-1158
- Computing careers and education overviewDavid C. Rine. 1159-1160
- A treatment - Professional developmentFrederick A. Gluckson. 1161-1166
- Professionalism in data processing managementDelbert W. Atwood Jr.. 1167-1170
- Professionalism - A question of semanticsEugene B. Smith. 1171-1174
- Continuing education opportunities - A mark of a professionRoland D. Spaniol. 1175-1178
- So you think you are a professional?G. Gary Casper. 1179-1184
- Designing and debugging careers for women in the computer industry (Abstract of presentation)Thelma Estrin. 1185-1186
- Computers in early education panel overviewOrlando S. Madrigal. 1187-1187
- Programming for children on a personal computer (Abstract of presentation)Alan C. Kay. 1188
- Computer science education for preservice elementary school teachers (Abstract of presentation)David G. Moursund. 1188
- The state of high school data processing programs (Abstract of presentation)John Maniotes. 1188
- Cost effectiveness of the use of computers for high school education (Abstract of presentation)William G. Lane. 1189
- Teaching micro-computers in high school (Abstract of presentation)A. M. Banks. 1189-1190
- Computer education in higher education - Status, alternatives and needsJohn W. Hamblen. 1191-1196
- Computer science and computer engineering - A review and overview of curriculum developmentGerald L. Engel, Oscar N. Garcia. 1197-1204
- The status of computer education in the community and junior colleges - Needs and alternativesJoyce Currie Little. 1205-1208
- Buisiness/computer science curricula - A surveyKathryn L. Schenk, James R. Pinkert. 1209-1212
- A brief survey of computer science and engineering educationC. V. Ramamoorthy. 1213-1216
- Accreditation of community college data processing programs (Abstract of presentation)Don B. Medley. 1217
- Accreditation - Problems and perspective (Abstract of presentation)Eugene B. Smith. 1218
- Accreditation - A university perspective (Abstract of presentation)Thomas H. Athey. 1218-1220
- Recent progress in japan overviewHideo Aiso. 1221-1222
- Electron beam lithography for advanced LSl fabricationEiichi Goto, Takashi Soma, Masanori Idesawa, Tateaki Sasaki. 1223-1228
- Semiconductor technology in JapanTakuo Sugano. 1229-1234
- The development of computers in JapanOsamu Ishii. 1235-1242
- Remote data processing in JapanKanjiro Koshi, Kimio Ibuki. 1243-1248
- Train operation control system for high-speed railwayYoshiro Hayashi, Shigeo Yokota, Taizo Nauchi. 1249-1254
- Development of a high-performance universal computing element - PULCEHajime lizuka, Yutaka Hayashi, Keikichi Tamaru, Hisashi Hara. 1255-1264
- CACS - Urban traffic control system featuring computer controlToru Mikami. 1265-1272
- A distributed processing system and its application to industrial controlY. Matsumoto, O. Sasaki, T. Sumi. 1273
- A description scheme to aid the design of collections of concurrent processesWilliam E. Riddle, John H. Sayler, Alan R. Segal, Allan M. Stavely, Jack C. Wileden. 549554