Accession Number:

ADA343281

Title:

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

Descriptive Note:

Reseach and development status report 2 Jan-31 Mar 98.

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE

Personal Author(s):

• Lynch, Nancy

Report Date:

1998-03-01

Pagination or Media Count:

12.0

Abstract:

CONTENTS Funding issues Modelling and verification tools Applications Algorithms and impossibility results.

Descriptors:

• *DISTRIBUTED DATA PROCESSING
• *REAL TIME
• *COMPUTER APPLICATIONS
• ALGORITHMS
• VERIFICATION
• TOOLS
• THEORY
• TIMING DEVICES

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE