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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 30, 1996
Accession Number
ADA317470

Entities

People

  • Nancy Lynch

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Classification
  • Computations
  • Computer Science
  • Fault Tolerance
  • Language
  • Mathematical Analysis
  • Mathematical Models
  • Models
  • Optical Scanning
  • Parallel Computing
  • Security
  • Simulations
  • Simulators
  • Specifications
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Modeling and Simulation
  • Theoretical Analysis.