Table of Contents

• Implementing MAP - An OSI Subnetwork - Within General MotorsGary C. Workman, Ronald Floyd. 2
• ISO-OSI Networks in a UNIX EnvironmentRichard Swee. 3
• The Boeing Network Architecture and Open Systems InterconnectSheldon R. Blauman. 4-8
• The Crisis in Higher Education: SolutionsMichael C. Mulder. 10
• Will the Last Faculty Member Leaving for Industry Please Turn Off the ComputerTaylor L. Booth. 11-12
• Industry s Role in Solving the Faculty Shortage in Computer Science and EngineeringPatrick E. Mantey. 13
• University Responsibilities and Corporate Suggestions for Cultivating Teaching FacultyJohn F. Wakerly. 14
• The Crisis in Higher Education: SolutionsLouis Robinson. 15-16
• The Advanced Flexible Processors (AFP)Wayne A. Ray. 18-20
• The Massively Parallel Processor (MPP)Kenneth E. Batcher. 21-24
• A Parallel Supercomputer for Computational ChemistryEnrico Clementi. 25-28
• Optical Storage Technologies: Requirements for Revenue Realization (R :::3:::)Linda W. Helgerson. 30-31
• Prospects for Magneto-Optic RecordingDan S. Bloomberg, G. A. Neville Connell. 32-38
• A 600 MBYTE Compact Disc Read-Only Memory. A Potential Break-Through in Low-Cost Mass Data DistributionBert Gall. 39-42
• Distributed Data Bases for WorkstationsErich J. Neuhold. 44-49
• Multi-Copy Workstation DatabasesFred J. Maryanski. 50-53
• Design of a Memory Resident DBMSArthur C. Ammann, Maria Hanrahan, Ravi Krishnamurthy. 54-58
• MIDAS - An Adaptive Multiprocessor SystemCreve Maples. 60-65
• The Systolic BLAS: An Experiment in Parallel Algorithm DesignDennis Gannon, Stephan V. Bechtolsheim, Alejandro A. Kapauan, Jairo Panetta, Ko-Yang Wang. 66-70
• Status and Performance of the Zmob Parallel Processing SystemMark Weiser, Steve Kogge, Michelle C. McElvany, Roger Pierson, Rehmi Post, Ashok K. Thareja. 71-74
• Technology for Optical Data Disk ManufactureRoger D. Hilde. 76-77
• Input and Output for Optical Document Management SystemsGerry Walter. 78-82
• Reliability and Performance of Magnetooptic Recording MediaHenryk Birecki, Steven Louis Naberhuis, T. C. Anthony. 83-85
• Optical PublishingAndrew Lippman. 86-90
• Coordinating Independent Atomic ActionsDavid K. Gifford, James E. Donahue. 92-95
• One Thousand Transactions per SecondJim Gray, Pete Homan, Harald Sammer, Bob Good, Dieter Gawlick. 96-101
• The Amoeba ProjectKurt A. Shoens, Inderpal Narang, Ron Obermarck, John Palmer, Stu Silen, Irving L. Traiger, Kent Treiber. 102-106
• The Next 700 Expert System LanguagesKamran Parsaye. 108-112
• Structures, Metastructures, and Expert System LanguagesHenry Sowizral. 113-114
• Expert System Design: Lessons From Applications to EducationWilliam J. Clancey. 115-116
• The Architecture of the DragonLouis Monier, Pradeep S. Sindhu. 118-121
• The Convex C-1 64-bit SupercomputerSteve Wallach. 122-126
• The AT&T WE 32100 Microsystem Product LineG. T. Cheney, E. B. Kozemchak. 127-130
• Re-Implementing the MicroVAX I on the GenesilWalter Curtis. 132-136
• How Silicon Compilation Will Affect EngineersJohn Zarrella. 137-140
• Cell Compilers for Computer Chip DesignJim Lipman. 141-142
• Network Disk and File ServersBruce Eisenhard. 144-147
• Micro-Mainframe LAN ConnectionCharles Feltman. 148-150
• PCs on BroadbandDavid Stevens. 151-156
• Metalevel Reasoning for the Development of Signal Processing SystemsJohn L. Cuadrado. 158-160
• An Object-Based Approach to Knowledge RepresentationRajendra S. Wall. 161-163
• Examples of the Role of Expert Systems in Decision SupportGerald Gary Sullivan, Kenneth Fordyce. 164-168
• The VAX 8600: Functions, Features, Process and PerformanceCarl Gibson, Bob Glorioso, Paul Guglielmi. 170-174
• The Microarchitecture of the VAX 8600Fernando C. Colón Osorio, Tryggve Fossum, William Hilliard, William Brucket, Paul Guglielmo, John Bloem. 175
• Floating Point Processor for the VAX 8600Tryggve Fossum, William J. Grundmann, Virginia Blaha. 176-180
• Using System Kits and Design Frames to Enhance VLSI PrototypingAlan Bell. 182-183
• Chips and Boards Through MOSISYehuda Afek, Ronald F. Ayres, David Booth, Danny Cohen, Kathie Fry, Rick Gillespie, Joel Goldberg, Joe Green, David Hollenberg, George Lewicki, Terri Lewis, Lee Richardson, Barden Smith, Victoria Svoboda, Vance Tyree, Jasmin Witthoft. 184-186
• A Voice/Data/Packet Switching ArchitectureJohn F. Wakerly. 194-199
• Concept for Voise on Broadband Coaxial Cable SystemsRon W. Pulleyblank. 200-204
• Alternate Graph Expressions for Restricted AND-ParallelismDoug DeGroot. 206-210
• Prolog in CMOS Circuit DesignDwight D. Hill, Shaibal Roy. 211-217
• AND-Parallelism of Logic Programs Based on a Static Data Dependency AnalysisJung-Herng Chang, Alvin M. Despain, Doug DeGroot. 218-226
• Direction of Integrated Workstation Tools for IC DevelopmentDavid W. Smith. 228-232
• Procedural Interfaces to Databases in the Logician Design EnvironmentChi-Ngong Pow. 233-238
• A Manufacturer s Perspective on the Workstation EnvironmentJames R. Tobias. 239-242
• Aspects of a High-Volume Production Online Banking SystemMichael Burman. 244-248
• Processing Hot Spots in High Performance SystemsDieter Gawlick. 249-251
• The Anatomy of a Database Computer SystemPhilip M. Neches. 252-254
• On Computer System Dependability: Faults, Errors, and FailuresJean-Claude Laprie. 256-259
• Hardware Fault-ToleranceEdward J. McCluskey. 260-263
• Perspectives in Fault-Tolerant SoftwareJack Goldberg. 264-270
• System Requirements for Graphicw SiliconJames R. Peterson. 272-275
• New Silicon to Solve Fundamental Graphics ProblemsKarl M. Guttag, Jerry R. Van Aken. 276-279
• Qualitative Changes in the Future of Interactive GraphicsHenry Fuchs. 280
• Optical Computing: An Historical PerspectiveJoseph W. Goodman. 282-284
• Optical Pattern RecognitionSing H. Lee. 285-289
• Optical Digital Computers?Alan Huang. 290-292
• Dependable Real-Time ComputingJohn H. Wensley. 294-298
• Some Research Directions Towards Reliable Distributed SystemsYechiam Yemini. 299
• Problems in Fault Tolerant Distributed SystemsRay Stong. 300-306
• Quality Metrics in Software DevelopmentThomas R. Bowen. 308-312
• Measurement Technology for Software Life Cycle SupportJ. McCall, Patricia Pierce, Richard Hartley, R. Thornerfelt. 313-320
• Query on the Operational Definitions of Quality from the User s Point of ViewDaniel E. Hocking. 321-324
• Are Simulation Accelerators Solving the Design Simulation Problem?Chuck Robertson. 326-327
• The Zycad Logic Evaluator Applied to a Typical Design ProjectNicholas P. Van Brunt. 328-329
• Are Simulation Accelerators Solving the Design Simulation Problem?Thomas M. McWilliams. 330-332
• Optical Interconnections: A Role for Optics in Computing of the FutureJoseph W. Goodman. 334-335
• Architectural Characteristics of Optical Logic SystemsB. Keith Jenkins. 336-341
• Optical Adaptive Associative Computer ArchitecturesA. D. Fisher, C. Lee Giles. 342-344
• The Software Engineering Institute at Carnegie-Mellon UniversityA. Nico Habermann. 346-349
• Lessons Learned in Building the TRW Software Productivity SystemE. Don Stuckle. 350-357
• Experiences Building and Using a Software Development Environment for Avionics SoftwareJock A. Rader. 358-364
• Evaluation of the Dedicated Hardware in FACOM AlphaHaruo Akimoto, Shinichi Shimizu, Akio Shinagawa, Akira Hattori, Hiromu Hayashi. 366-369
• The FAIM-1 Symbolic Multiprocessing SystemAlan L. Davis, Shane V. Robison. 370-375
• Aquarius - A High Performance Computing System for Symbolic/Numeric ApplicationsAlvin M. Despain, Yale N. Patt. 376-382
• An Experimental Study Comparing 74LS181 Test SetsJoseph L. A. Hughes, Samiha Mourad, Edward J. McCluskey. 384-387
• Non Stuck Fault Testing of CMOS VLSIJohn J. Zasio. 388-391
• VLSI Testing: A Decade of ExperienceEarl E. Swartzlander Jr., John A. Eldon, De D. Hsu. 392-396
• Comparing the Performance of Parallel ComputersTimothy S. Axelrod. 398-401
• Measuring LISP PerformanceLarry Masinter, William van Melle. 402-404
• Bottleneckology: Evaluating SupercomputersJack Worlton. 405-406
• The Evolution of Knowledge-Based SystemsTim Sherrod. 408
• Applying Expert System Techniques to the Operation of Fusion Energy ExperimentsRowland R. Johnson, Tom Canales, Darrel Lager. 409-410
• What Are Current Expert System Tools Missing?Andrew S. Cromarty. 411-418
• Hardware and Software Enhancement of the Manchester Dataflow MachineA. P. Wim Böhm, John R. Gurd, John Sargeant. 420-423
• Making Parallel Computations Simple: The FFP MachineGyula A. Magó. 424-428
• The PASM Parallel System PrototypeDavid G. Meyer, Howard Jay Siegel, Thomas Schwederski, Nathaniel J. Davis IV, James T. Kuehn. 429