Description: Synthesizing Synchronous Systems by Static Scheduling in Space-Time by Björn Lisper 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. In a space-time mapping method, an algorithm is described as a set of atomic events, with possible data dependencies between them. FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description 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. Notes Springer Book Archives Table of Contents Preliminaries.- Output specification.- Formal expressions as schemes for evaluation.- Computational events and computation networks.- Compound events of computation.- A hardware model.- Schedules and performance criteria.- Index vectors and complexity.- Data dependent scheduling.- Applications.- Conclusions. Promotional Springer Book Archives Details ISBN3540511563 Short Title SYNTHESIZING SYNCHRONOUS SYSTE Series Lecture Notes in Computer Science Language English ISBN-10 3540511563 ISBN-13 9783540511564 Media Book Format Paperback Series Number 362 Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K Place of Publication Berlin Country of Publication Germany DEWEY 620 Pages 266 Illustrations X, 266 p. DOI 10.1007/b37772;10.1007/978-3-540-46172-2;10.1007/3-540-51156-3 Author Björn Lisper Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Edition Description 1989 ed. Year 1989 Edition 1989th Publication Date 1989-05-10 Audience Undergraduate We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:96277257;
Price: 116.58 AUD
Location: Melbourne
End Time: 2024-11-27T10:50:38.000Z
Shipping Cost: 15.58 AUD
Product Images
Item Specifics
Restocking fee: No
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 30 Days
ISBN-13: 9783540511564
Book Title: Synthesizing Synchronous Systems by Static Scheduling in Space-Ti
Number of Pages: 266 Pages
Language: English
Publication Name: Synthesizing Synchronous Systems by Static Scheduling in Space-Time
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Publication Year: 1989
Subject: Engineering & Technology, Computer Science
Item Height: 235 mm
Item Weight: 860 g
Type: Textbook
Author: Björn Lisper
Item Width: 155 mm
Format: Paperback
