Systolic Functional Programming (ResearchIndex)

See this document in CiteSeerX!

Systolic Functional Programming (1994) (Make Corrections)
Weichang Du

Rate this article:

(Enter summary)
Abstract: This paper presents specifications of systolic algorithms in a parallel functional language SysLucid. The language extends conventional functional languages by allowing meanings of program elements, such as variables or expressions, to vary in a context space consisting of temporal and spatial dimensions. In specifying systolic algorithms, the spatial dimensions represent the processor coordinations, and the temporal dimension represents the temporal points for synchronization and... (Update)

Active bibliography (related documents): More All
0.5: Automatic Verification of a Class of Systolic Circuits - Parosh Abdulla (1996) (Correct)
0.5: Decidable and Undecidable Problems in Systolic Circuit Verification - Abdulla (Correct)
0.2: Synthesis of a New Systolic Architecture for the.. - Benaini, Quinton, .. (1993) (Correct)

Similar documents based on text: More All
0.3: Optimal Systolic Arrays for Decimation Filters - Dunstan, Lenders (1995) (Correct)
0.2: A New Formulation of the Mapping Conditions for the Synthesis of.. - Xue (1993) (Correct)
0.2: A Systolizing Compiler - Barnett (1992) (Correct)

BibTeX entry: (Update)

@misc{ du-systolic,
  author = "Weichang Du",
  title = "Systolic Functional Programming",
  url = "citeseer.ist.psu.edu/du94systolic.html" }