Fault-Tolerant and Real-Time Distributed Computing.

Abstract

Progress was made on a number of problems in the areas of fault-tolerant and real-time computing. Programming logics were investigated for reasoning about distributed programs that must satisfy real-time constraints, must interact with a continuous physical environment, and whose correctness depends on properties of schedulers and degree of resource Contention. A new approach to fault tolerance, based on a virtual machine monitor was developed. It provides fault-tolerance without requiring modifications to hardware or software. Finally, software to support mobile network agents was developed and released. Algorithms to implement agent fault-tolerance were developed

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 23, 1993
Accession Number
ADA332106

Entities

People

  • Fred B. Schneider

Organizations

  • Cornell University

Tags

Communities of Interest

  • Air Platforms

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Application Software
  • Cellular Networks
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Environment
  • Fault Tolerance
  • Mathematics
  • Mobile Phones
  • Networks
  • New York
  • Operating Systems
  • Reasoning
  • Virtual Machines

Fields of Study

  • Computer science
  • Engineering

Readers

  • Parallel and Distributed Computing.