skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Evaluating hardware architectures for real-time parallel algorithms using temporal specifications

Abstract

This thesis presents techniques for expressing real-time parallel algorithms as Interval Temporal Logic (ITL) specifications. The language Tempura is used as a representation medium to permit specifications to be directly executed. Tempura is used to model the dependency relations within parallel algorithms. Models are presented for basic synchronization mechanisms including indivisible store operations, semaphores, message-passing primitives, and monitors. The operation of a simple multi-tasking executive is also described. ITL specifications are presented in the form of Tempura programs for a variety of hardware components. Methods are presented for modeling both combinational and sequential circuits. Composition and abstraction techniques are used to illustrate the development of architectural specifications. The formalism known as temporal projection is examined in conjunction with formal transformations as a method for mapping algorithm behavior to that of a target machine. To demonstrate the applicability of the proposed simulation method, a set of alternative hardware architectures are evaluated for real-time track correlation. Each machine employs a highly pipelined memory system based on high-speed VLSI building-block components.

Authors:
Publication Date:
Research Org.:
California Univ., Los Angeles, CA (USA)
OSTI Identifier:
5213399
Alternate Identifier(s):
OSTI ID: 5213399
Resource Type:
Thesis/Dissertation
Resource Relation:
Other Information: Thesis (Ph. D.)
Country of Publication:
United States
Language:
English
Subject:
99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE; COMPUTER ARCHITECTURE; SPECIFICATIONS; PARALLEL PROCESSING; ALGORITHMS; INTEGRATED CIRCUITS; MEMORY MANAGEMENT; PROGRAMMING LANGUAGES; REAL TIME SYSTEMS; ELECTRONIC CIRCUITS; MATHEMATICAL LOGIC; MICROELECTRONIC CIRCUITS; PROGRAMMING 990200* -- Mathematics & Computers

Citation Formats

Lichota, R.W. Evaluating hardware architectures for real-time parallel algorithms using temporal specifications. United States: N. p., 1988. Web.
Lichota, R.W. Evaluating hardware architectures for real-time parallel algorithms using temporal specifications. United States.
Lichota, R.W. Fri . "Evaluating hardware architectures for real-time parallel algorithms using temporal specifications". United States.
@article{osti_5213399,
title = {Evaluating hardware architectures for real-time parallel algorithms using temporal specifications},
author = {Lichota, R.W.},
abstractNote = {This thesis presents techniques for expressing real-time parallel algorithms as Interval Temporal Logic (ITL) specifications. The language Tempura is used as a representation medium to permit specifications to be directly executed. Tempura is used to model the dependency relations within parallel algorithms. Models are presented for basic synchronization mechanisms including indivisible store operations, semaphores, message-passing primitives, and monitors. The operation of a simple multi-tasking executive is also described. ITL specifications are presented in the form of Tempura programs for a variety of hardware components. Methods are presented for modeling both combinational and sequential circuits. Composition and abstraction techniques are used to illustrate the development of architectural specifications. The formalism known as temporal projection is examined in conjunction with formal transformations as a method for mapping algorithm behavior to that of a target machine. To demonstrate the applicability of the proposed simulation method, a set of alternative hardware architectures are evaluated for real-time track correlation. Each machine employs a highly pipelined memory system based on high-speed VLSI building-block components.},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = {1988},
month = {1}
}

Thesis/Dissertation:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this thesis or dissertation.

Save / Share: