Finding Efficient Pipelining in Concurrent Structures

Abstract

The focus of our research is the production of concurrent systems from First Order Logic specifications. As we have seen in past years, first order logic is a natural means of specification, especially if we intend to synthesize concurrent computing systems from these specifications, because it describes the relationship between input and output precisely without making any commitment as to how a satisfying output is to be achieved given an input. In our conception of the synthesis process, the user is asked to specify only that information that allows a system satisfying the user's needs to be distinguished from one that does not by a formal specification of its behavior. From this information, a system that satisfies the specification may be generated using our synthesis techniques. Keywords: Concurrency; Pipelining; Multiprocessors; Multi-processor synthesis; Communication networks.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 18, 1988
Accession Number
ADA210346

Entities

People

  • Richard M. King

Organizations

  • Kestrel Institute

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Aircrafts
  • Algorithms
  • Classification
  • Computations
  • Computer Programming
  • Dynamic Programming
  • Military Aircraft
  • Networks
  • Sequences
  • Signal Processing
  • Switches
  • Switching
  • Time Intervals
  • Topology
  • United States Government

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Nanocomposite Materials Science
  • Parallel and Distributed Computing.