Accession Number : ADA331549

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

Descriptive Note : Rept. for 1 Jan-30 Sep 97,

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE

Personal Author(s) : Lynch, Nancy

PDF Url : ADA331549

Report Date : OCT 1997

Pagination or Media Count : 14

Abstract : The R&D Status Report covers: (1) Modelling and verification tools; (2) Applications; and (3) Algorithms and impossibility results.

Descriptors :   *ALGORITHMS, *SYSTEMS ENGINEERING, *DISTRIBUTED DATA PROCESSING, *REAL TIME, DATA BASES, MATHEMATICAL MODELS, VERIFICATION, TOOLS, THEORY, VARIABLES, CODING, TIMING DEVICES.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE