Annual Scientific Report for Grant AFOSR-81-0205, 15 June 1981 - 14 June 1982,

Abstract

In the last year, work on the grant was carried out in three areas: (1) the development of distributed algorithms to detect termination of distributed computations, (2) methods for proving the correctness of distributed programs, with an emphasis on proving temporal properties and (3) the development of distributed algorithms to solve graph problems. Work in all three areas was fruitful, resulting in new ideas and referred papers in technical journals and conferences. The author has felt that the key issues in designing and proving distributed software are (1) proving that all the processes in the system cooperate in maintaining a system-wide invariant and (2) developing algorithms by which asynchronous processes can determine collectively that the system as a whole has entered certain states. Work in the last year was based on the above premise. The author's work on developing new distributed algorithms supports this premise. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1982
Accession Number
ADA120095

Entities

People

  • K. Mani Chandy

Organizations

  • University of Texas at Austin

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Algorithms
  • Classification
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Databases
  • Detection
  • Information Science
  • Language
  • Scientific Research
  • Security
  • Simulations
  • Specifications

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Systems Analysis and Design
  • Technical Research and Report Writing.