Accession Number : ADA317470

Title :   Applications 0f the Theory of Distributed and Real Time Systems to the Development of Large Scale Timing Based Systems.

Descriptive Note : Quarterly rept. 1 Jul-30 Sep 96,

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE

Personal Author(s) : Lynch, Nancy A.

PDF Url : ADA317470

Report Date : 30 SEP 1996

Pagination or Media Count : 8

Abstract : Members of MIT's Theory of Distributed Systems group continued their work on modelling, designing, verifying and analyzing distributed and real time systems. The focus is on the study of "building blocks" for the construction of reliable and efficient systems. These works fall into three general categories: modelling and verification tools, algorithms and impossibility results, and applications.

Descriptors :   *DISTRIBUTED DATA PROCESSING, *REAL TIME, *MODEL THEORY, ALGORITHMS, SYSTEMS ENGINEERING, VERIFICATION, TOOLS, EFFICIENCY, SCALE, SYSTEMS ANALYSIS, TIMING DEVICES.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE