Synthesizing Synchronous Systems by Static Scheduling in Space-time - Lecture Notes in Computer Science - Bjorn Lisper - 图书 - Springer-Verlag Berlin and Heidelberg Gm - 9783540511564 - 1989年5月10日
如封面与标题不符，以标题为准

Bjorn Lisper
Synthesizing Synchronous Systems by Static Scheduling in Space-time - Lecture Notes in Computer Science 1989 edition

价格
元 373
不含税

远程仓调货

预计送达时间 年7月23日 - 年8月4日

顾客评价：

根据欧洲消费者保护法享受14天退换货政策
Trustpilot平台高分认证
添加至iMusic心愿单

Not rated yet

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.

266 pages, biography

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 1989年5月10日
ISBN13 9783540511564
出版商 Springer-Verlag Berlin and Heidelberg Gm
页数 266
商品尺寸 156 × 234 × 14 mm   ·   390 g
语言 英语  

Mere med samme udgiver

查看Bjorn Lisper的全部作品 ( 例如 Paperback Book )