Synthesizing Synchronous Systems by Static Scheduling in Space-Time

Synthesizing Synchronous Systems by Static Scheduling in Space-Time
Author :
Publisher : Springer Science & Business Media
Total Pages : 276
Release :
ISBN-10 : 3540511563
ISBN-13 : 9783540511564
Rating : 4/5 (564 Downloads)

Book Synopsis Synthesizing Synchronous Systems by Static Scheduling in Space-Time by : Björn Lisper

Download or read book Synthesizing Synchronous Systems by Static Scheduling in Space-Time written by Björn Lisper and published by Springer Science & Business Media. This book was released on 1989-05-10 with total page 276 pages. Available in PDF, EPUB and Kindle. Book excerpt: The subject of this book is the synthesis of synchronous hardware. The purpose is to provide a firm mathematical foundation for the so-called space-time mapping methods for hardware synthesis that have been proposed during the last few years. Thus the treatment is fairly mathematical. In a space-time mapping method, an algorithm is described as a set of atomic events, with possible data dependencies between them. The task is to find a mapping, assigning a space-time coordinate to each event, so that causality is not violated and the solution is "good". Previous work in the area, if it provided any formalism at all, has relied mainly on uniform recurrence equations, extensions thereof, or on purely graph-theoretic formulations. In this project algebra is used instead and the close connection with single-assignment languages is stressed. Thus it is possible to generalize previous work and to give simple characterizations of the type of algorithms that can be implemented with space-time mappings. The results presented can be applied to hardware construction and compiler techniques for parallel computers.


Synthesizing Synchronous Systems by Static Scheduling in Space-Time Related Books

Synthesizing Synchronous Systems by Static Scheduling in Space-Time
Language: en
Pages: 276
Authors: Björn Lisper
Categories: Computers
Type: BOOK - Published: 1989-05-10 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The subject of this book is the synthesis of synchronous hardware. The purpose is to provide a firm mathematical foundation for the so-called space-time mapping
Specification and Verification of Concurrent Systems
Language: en
Pages: 620
Authors: Charles Rattray
Categories: Computers
Type: BOOK - Published: 2013-11-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University
Automatic Verification Methods for Finite State Systems
Language: en
Pages: 392
Authors: Joseph Sifakis
Categories: Computers
Type: BOOK - Published: 1990-01-10 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite sta
Efficient Query Processing in Geographic Information Systems
Language: en
Pages: 220
Authors: Beng Chin Ooi
Categories: Computers
Type: BOOK - Published: 1990-11-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Very Good,No Highlights or Markup,all pages are intact.
Logic Programming '88
Language: en
Pages: 268
Authors: Koichi Furukawa
Categories: Computers
Type: BOOK - Published: 1989-09-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successo