VLSI Algorithms and Architectures

VLSI Algorithms and Architectures

4.11 - 1251 ratings - Source

Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework.Efficient Parallel Evaluation of Straight-line Code and Arithmetic Circuits Gary L Miller1 Mathematical Sciences Research Institute and University of Southern California Computer Science Department Los Angeles, CA 90089-0782 Vijayaanbsp;...

Title:VLSI Algorithms and Architectures
Author:Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou, P. Spirakis
Publisher:Springer Science & Business Media - 1986-06-01


You Must CONTINUE and create a free account to access unlimited downloads & streaming