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

Abstract

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

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1998
Accession Number
ADA343281

Entities

People

  • Nancy Lynch

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Engineered Resilient Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Automata
  • Case Studies
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Consensus Algorithms
  • Distributed Computing
  • Electrical Engineering
  • Engineering
  • Fault Tolerance
  • Hybrid Systems
  • Language
  • Mathematics
  • Simulators
  • Students

Fields of Study

  • Computer science

Readers

  • Software Engineering.
  • Theoretical Analysis.