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.With the rising use of highly parallel computers, it is important to identify those problems which can be efficiently solved in parallel. It is generally accepted that those problems in the class JVC (solvable in poly-log time using a polynomialanbsp;...

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

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.

Click button below to register and download Ebook
Privacy Policy | Contact | DMCA