Large Scale Information Systems. Volume I.
Abstract
This report describes and references work conducted by Syracuse University in four broad areas: parallel processing, programming languages, modeling, and performance evaluation of generalized data management systems. A number of applications were evaluated for processing by an associative processor architecture including air traffic control, carryless arithmetic and simulation of high-speed random logic. An extension of the typed lambda calculus has been developed which permits the binding and application of types. User-defined types and procedural data structures are shown to be complementary tools for data abstraction. Direct and continuation semantics of the domain of flow diagrams are formulated and the properties explored. The use of transition diagrams as a tool for structured programming has been investigated. A variety of concepts and notations have been devised to facilitate reasoning about arrays. Work relation to various simulation tasks are reported on. A tutorial on the current statisical methods of analyzing simulation output data is provided. A number of tasks relating to file systems are discussed and a framework is advanced for describing various file organizations and operations on files. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 01, 1978
- Accession Number
- ADA054942
Entities
Organizations
- Syracuse University