An Algebra of Scans

An Algebra of Scans (2004)

Cached

Download Links

[www.informatik.uni-bonn.de]
[www.cs.bonn.edu]

Other Repositories/Bibliography

DBLP

by Ralf Hinze

Venue:	In Mathematics of Program Construction
Citations:	5 - 0 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	An Algebra of Scans	user correction - Legacy Corrections
AUTHOR NAME	Ralf Hinze	SVM HeaderParse 0.1
AUTHOR AFFIL	Institut für Informatik III, Universität Bonn	SVM HeaderParse 0.2
AUTHOR ADDR	Römerstraße 164, 53117 Bonn, Germany	SVM HeaderParse 0.1
ABSTRACT	A parallel prefix circuit takes n inputs x1 , x2 , . . . , xn and produces the n outputs x1 , x1 x2 , . . . , x1 x2 xn , where `#' is an arbitrary associative binary operation. Parallel prefix circuits and their counterparts in software, parallel prefix computations or scans, have numerous applications ranging from fast integer addition over parallel sorting to convex hull problems. A parallel prefix circuit can be implemented in a variety of ways taking into account constraints on size, depth, or fanout. Traditionally, implementations are either defined graphically or by enumerating the underlying graph. Both approaches have their pros and cons. A figure if well drawn conveys the possibly recursive structure of the scan but it is not amenable to formal manipulation. A description in form of a graph while rigorous obscures the structure of a scan and is equally hard to manipulate. In this paper we show that parallel prefix circuits enjoy a very pleasant algebra. Using only two basic building blocks and four combinators all standard designs can be described succinctly and rigorously. The rules of the algebra allow us to prove the circuits correct and to derive circuit designs in a systematic manner. lord darlington. . . . [Sees a fan lying on the table.] And what a wonderful fan! May I look at it? lady windermere. Do. Pretty, isn't it! It's got my name on it, and everything. I have only just seen it myself. It's my husband's birthday present to me. You know to-day is my birthday? --- Oscar Wilde, Lady Windermere's Fan 1	user correction - Legacy Corrections
YEAR	2004	INFERENCE
VENUE	In Mathematics of Program Construction	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	186--210	INFERENCE
VOLUME	3125	INFERENCE
CITATIONS	16 found	ParsCit 1.0