151. 1985 Annual Technical Report: A Research Program in Computer Technology. July 1984--June 1985.
- Author
-
University of Southern California, Marina del Rey. Information Sciences Inst.
- Abstract
Summaries of research performed by the Information Sciences Institute at the University of Southern California for the U.S. Department of Defense Advanced Research Projects Agency in 17 areas are provided in this report: (1) Common LISP framework, an exportable version of the Formalized Software Development (FSD) testbed; (2) Explainable Expert Systems, a framework for building expert systems; (3) Formalized Software Development, a new automated software development paradigm; (4) Mappings, transformations for converting specifications of programs into implementations; (5) Command Graphics, a device-independent graphics system; (6) Internet Concepts Research, protocols for interconnection of computer communication networks; (7) Strategic Computing Information System, an automatic and efficient system for information exchange; (8) Wideband Communication, technology to support satellite-based wideband computer communication; (9) KITSERV, cost-effective test devices; (10) VLSI, a low-cost, fast turnaround LSI/VLSI device fabrication service; (11) Advanced VLSI; (12) Text Generation for Strategic Computing, methods for autonomous creation of text by machine; (13) Computer Research Support, operation and support of computing facilities and equipment; (14) Exportable Workstation Systems, remote testbed environment of advanced workstations and servers; (15) New Computing Environment, the next generation of computers and facilities; (16) Strategic Computing-Development Systems; and (17) Strategic Command, Control, and Communication Experiment Support. References are listed throughout. (Author/MES)
- Published
- 1986