AFIPS NCC 1981: Chicago, Illinois, USA

Computer hardware and architecture

• Richard F. Hobson:
  Software sympathetic chip set design. 3-10
  
• W. A. Dees, K. M. Parmar, A. Goyal, R. Y. Tsui, B. D. Rathi, Robert J. Smith II:
  A computer-aided VLSI layout system. 11-18
  
• William T. Overman, Stephen D. Crocker, Vittal Kini:
  A multiprocessor description language. 19-25
  
• Algirdas Avizienis:
  Fault tolerance by means of external monitoring of computer systems. 27-40
  
• L. E. Gallaher, Wing N. Toy:
  The fault-tolerant 3B-20 processor. 41-48
  
• Wolfgang K. Giloi, Reinhold Güth, Bruce D. Shriver:
  Firmware engineering: methods and tools for firmware specification and design. 49-55
  
• Harold W. Lawson Jr.:
  New directions for micro- and system architectures in the 1980s. 57-62
  
• Alice C. Parker, Wayne T. Wilner:
  Microprogramming: the challenges of VLSI. 63-68
  
• Andrew Heller, Andries van Dam:
  Vertical and outboard migration: a progress report. 69-74
  
• Helmut K. Berg:
  Firmware testing and test data selection. 75-80
  
• Scott Davidson, Bruce D. Shriver:
  Specifying target resources in a machine independent higher level language. 81-85
  
• Perng-Yi Ma:
  The design of a firmware engineering tool: the microcode compiler. 87-93
  
• Joseph A. Fisher, David Landskov, Bruce D. Shriver:
  Microcode compaction: looking backward and looking forward. 95-102
  
• David A. Patterson, Ross Goodell, Michael D. Poe, Simon C. Steely Jr.:
  V-Compiler: a next-generation tool for microprogramming. 103-109
  
• Svetlana P. Kartashev, Steven I. Kartashev:
  Adaptable pipeline system with dynamic architecture. 111-124
  
• Bernhard Quatember:
  Modular crossbar switch for large-scale multiprocessor systems: structure and implementation. 125-135
  
• Joseph Hellerstein, Wesley W. Chu:
  Some potential deadlocks in layered communications architectures. 137-140
  
• A. C. D. De Figueiredo:
  General-purpose integrated indexing circuits: a proposal. 141-143
  
• James D. Mooney:
  The VALI (Variable Language Interpreter). 145-148
  
• Benjamin W. Wah, Y. W. Eva Ma:
  The architecture of MANIP: a parallel computer system for solving NP-complete problems. 149-161
  
• Leon E. Winslow, Yuan-Chieh Chow:
  Parallel sorting machines: their speed and efficiency. 163-165
  

Network technology

• Danny Cohen:
  Packet communication of online speech. 169-176
  
• J. D. Markel:
  Highlights of a group effort in algorithmic development for packet-switched voice networks. 177-181
  
• G. C. O'Leary, P. E. Blankenship, J. Tierney, J. A. Feldman:
  A modular approach to packet voice terminal hardware design. 183-189
  
• Kai Hwang, Benjamin W. Wah, Faye A. Briggs:
  Engineering computer network (ECN): a hardwired network of UNIX computer systems. 191-201
  
• S. Leventis, George D. Papadopoulos, Stavros A. Koubias, J. Constantinides:
  A protocol for a new double-loop computer network and its implementation. 203-208
  
• W. Y. Cheng, S. Ray, R. Kolstad, J. Luhukay, R. Campbell, J. W.-S. Liu:
  ILLINET: a 32 Mbits/sec. local-area network. 209-214
  

Software

• T. N. Turba, S. H. Costello:
  A survey of currently implemented Pascal extensions. 217-224
  
• Michael E. Meyer:
  A standard tool for information resource management. 225-230
  
• R. H. Campbell, P. G. Richards:
  SAGA: a system to automate the management of software production. 231-234
  
• David W. Johnson:
  The development facility approach to improved software development. 235-239
  
• E. Levinson, L. S. Levy, J. B. Salisbury:
  CARL: experience of an application using clusters. 241-248
  
• Edgar H. Sibley, P. Gerard Scallan, Eric K. Clemons:
  The software configuration management database. 249-255
  
• David B. Wortman, Richard C. Holt, James R. Cordy, David R. Crowe, Ian H. Griggs:
  Euclid: a language for compiling quality software. 257-263
  
• Charles Crowley:
  The design and implementation of a new UNIX kernel. 265-271
  
• Charles R. Young:
  A security policy for a profile-oriented operating system. 273-282
  
• André M. Van Tilborg, Larry D. Wittie:
  Distributed task force scheduling in multi-microcomputer networks. 283-289
  
• Camille C. Price:
  The assignment of computational tasks among processors in a distributed system. 291-296
  
• Bharat Bhargava:
  Software reliability in real-time systems. 297-309
  
• J. George Shanthikumar:
  A state- and time-dependent error occurrence-rate software reliability model with imperfect debugging. 311-315
  
• G. Michael Schneider, Robert L. Sedlmeyer, Joe Kearney:
  On the complexity of measuring software complexity. 317-322
  
• John W. Center:
  Quantitative measures of MIS quality assurance during hardware conversion. 323-327
  
• Jean Cochrane Zolnowski, Dick B. Simmons:
  Taking the measure of program complexity. 329-336
  
• Michael J. Lyons:
  Salvaging your software asset: (tools based maintenance). 337-341
  
• John Reutter III:
  Maintenance is a management problem and a programmer's opportunity. 343-347
  
• Ned Chapin:
  Productivity in software maintenance. 349-352
  
• M. A. Holthouse, C. W. Lybrook:
  Improving software testing in large data processing organizations. 353-359
  
• George N. Baird, L. Arnold Johnson:
  Compiler validation: an assessment. 361-366
  
• Mark K. Smith, Leonard L. Tripp, Leon J. Osterweil, Richard N. Taylor, William E. Howden:
  An approach to transfer verification and validation technology. 367-373
  
• Ronald L. Danielson:
  Easy interactive access to batch image analysis software. 375-382
  
• Nathan Relles, Norman K. Sondheimer, Giorgio P. Ingargiola:
  A unified approach to online assistance. 383-388
  
• William L. Batchelor, Lucian J. Endicott Jr.:
  An experimental system to support a very high level user interface. 389-392
  
• Robert Balzer, Neil M. Goldman:
  Principles of good software specification and their implications for specification languages. 393-400
  
• Roy E. Anderson:
  Modular documentation: a software development tool. 401-405
  
• Ken Hirose, Kiyoshi Segawa, Nobuo Saito, Norihisa Doi, Masahiro Hirata, Toshiharu Yamasaki, Masayuki Takata:
  Specification technique for parallel processing: process-data representation. 407-413
  
• Robert C. Gammill:
  A tiny portable language-independent macroprocessor and some applications. 415-420
  

Capacity and performance analysis

• Dimitris A. Protopapas:
  Finite queueing approximation techniques for analysis of computer systems. 423-429
  
• J. R. Rao, W. L. Hanna:
  Throughput-response measurements in a distributed CAD/CAM processing network. 431-439
  

Database systems

• Vangalur S. Alagar, Bernard Blanchard, David Glaser:
  Effective inference control mechanisms for securing statistical databases. 443-452
  
• Ruven Brooks, Meera Blattner, Zdzislaw Pawlak, Eamon Barrett:
  Using partitioned databases for statistical data analysis. 453-457
  
• Michael W. Vannier, E. Othmer, S. Othmer, P. Fishman:
  Development of an automatic sleep EEG analysis and staging system. 459-462
  
• Darrell L. Ward:
  Embedding an information system within a generalized network environment. 463-467
  
• Ruven Brooks:
  The design of the clinical and research information system for psychiatry. 469-471
  
• Paul Decitre:
  A concurrency control algorithm in a distributed environment. 473-479
  
• Richard J. Greene:
  An alternative approach to distributed database updating. 481-485
  
• John Miles Smith, Philip A. Bernstein, Umeshwar Dayal, Nathan Goodman, Terry A. Landers, Ken W. T. Lin, Eugene Wong:
  Multibase: integrating heterogeneous distributed database systems. 487-499
  
• James R. Swager:
  Architecture of a distributed database information resource. 501-505
  
• Sadayuki Hikita, Haruaki Yamazaki, Kiyoshi Hasegawa, Yutaka Matsushita:
  Optimization of the file access method in content-addressable database access machine (CADAM). 507-513
  
• Mamoru Maekawa:
  Parallel sort and join for high speed database machine operations. 515-520
  
• Sakti Pramanik:
  Highly parallel associative search and its application to cellular database machine design. 521-528
  
• Georges S. Nicolas:
  A generalized database access path model. 529-535
  
• Burt M. Leavenworth:
  Database programming with data abstractions. 537-542
  
• Bharat K. Bhargava, Leszek Lilien:
  Feature analysis of selected database recovery techniques. 543-554
  
• Yahiko Kambayashi, Narao Nakatsu, Shuzo Yajima:
  Data compression procedures utilizing the similarity of data. 555-562
  

Information processing management

• V. Kevin M. Whitney, Jane G. Morse:
  Choosing application development tools and techniques. 565-570
  
• Isao Miyamoto, Raymond T. Yeh:
  A software requirements analysis and definition methodology for business data processing. 571-580
  
• Colette Rolland:
  A methodology for information system design. 583-589
  

Education and societal issues

• Dennis M. Oliver, Robert A. Rouse, Robert J. Benson:
  CSDP: a model for continuing education in data processing. 593-595
  
• Edwin F. Kerr:
  People teaching people: a cooperative education venture. 597-599
  
• Frederick L. Goodman:
  Computers and the future of literacy. 601-603
  

Computers at work

• Helen J. Schwartz:
  Keeping CAI humane in the humanities. 605-608
  
• Richard W. Boss:
  The effects of computers on library staff and users: how can the administrator cope? 609-611
  
• Robin Crickman:
  Libraries as local database producers. 613-615
  
• Richard C. Roistacher:
  Data files as library materials: policies, procedures, and politics. 617-621
  
• L. Papayanopoulos:
  Computerized weighted voting reapportionment. 623-629
  
• David J. Mishelevich:
  Hospital information systems tutorial: a guide for computer scientists and practitioners. 631-639
  

Visuals, natural language processing, and artificial intelligence

• James A. Hendler, Thomas P. Kehler, Paul Roller Michaelis, Brian Phillips, Kenneth M. Ross, Harry R. Tennant:
  Issues in the development of natural language front-ends. 643-648
  
• Lance A. Miller, George E. Heidorn, Karen Jensen:
  Text-critiquing with the EPISTLE system: an author's aid to better syntax. 649-655
  
• Bozena Henisz Thompson, Frederick B. Thompson:
  Shifting to a higher gear in a natural language system. 657-662
  
• Jay Hewitt:
  Computer speech for people with cerebral palsy. 663-664
  
• Nola Donato:
  GRASS3, a language for interactive graphics. 665-669
  
• Robert Rocchetti:
  VISION II: a dynamic raster-scan display. 671-676
  
• Nancy N. Sheheen, Patrick J. Hodson:
  The development of the reactor safety film. 677-679
  
• W. R. Winfrey, S. R. Ricketts:
  The MODEL/IMAGES2 system: an application of computer graphics and three-dimensional geometric modeling to the jet impingement problem. 681-687
  
• Sandra Cook, Caroled Hafner, L. Thorne McCarty, Jeffrey A. Meldman, Mark Peterson, James A. Sprowl, N. S. Sridharan, Donald A. Waterman:
  The applications of artificial intelligence to law: a survey of six current projects. 689-696
  
• Larry Wos, S. K. Winker, Ewing L. Lusk:
  An automated reasoning system. 697-702