Accession Number : ADA331503

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

Descriptive Note : Status rept. 1 Jan-31 Mar 97

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE

Personal Author(s) : Lynch, Nancy

PDF Url : ADA331503

Report Date : 15 APR 1997

Pagination or Media Count : 13

Abstract : This R&D status report covers (1) modeling and verification tools, (2) algorithms and impossibility results, and (3) applications.

Descriptors :   *DISTRIBUTED DATA PROCESSING, *AUTOMATA, ALGORITHMS, COMPUTER COMMUNICATIONS, REAL TIME, INPUT OUTPUT PROCESSING, CONCURRENT ENGINEERING, COMPUTER PROGRAM VERIFICATION, FAULT TOLERANCE.

Subject Categories : Computer Systems

Distribution Statement : APPROVED FOR PUBLIC RELEASE