Read Synthesizing Synchronous Systems by Static Scheduling in Space-Time (Lecture Notes in Computer Science, 362)

Synthesizing Synchronous Systems by Static Scheduling in Space-Time (Lecture Notes in Computer Science, 362)

Björn Lisper

4.9/5 (22024 ratings)

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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Synthesizing Synchronous Systems by Static Scheduling in Space-Time (Lecture Notes in Computer Science, 362). To get started finding Synthesizing Synchronous Systems by Static Scheduling in Space-Time (Lecture Notes in Computer Science, 362), you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: —

Format: PDF, EPUB & Kindle Edition

Publisher: —

Release: —

ISBN: 3540511563

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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Synthesizing Synchronous Systems by Static Scheduling in Space-Time (Lecture Notes in Computer Science, 362). To get started finding Synthesizing Synchronous Systems by Static Scheduling in Space-Time (Lecture Notes in Computer Science, 362), you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

Synthesizing Synchronous Systems by Static Scheduling in Space-Time (Lecture Notes in Computer Science, 362)

Synthesizing Synchronous Systems by Static Scheduling in Space-Time (Lecture Notes in Computer Science, 362)

More Books

Synthesizing synchronous systems by static scheduling in space-time (Technical report. Royal Institute of Technology)

Synthesizing synchronous systems by static scheduling in space-time (Technical report. Royal Institute of Technology)