Dr. Dietmar Kreye
Diplom-Informatiker


	Research
	Teaching
	Publications
	Bookshelf
		Topics
		*Document Types*
	Internal Section
	Lost and Found
	Contact

In Collection

Coordinating Functional Processes Using Petri Nets
Claus Aßmann [Werner E. Kluge (Ed.)] (In Collection, 1997)

Term Graph Reduction
Hendrik Pieter Barendregt; Marco van Eekelen; John Glauert; ... [J. W. de Bakker; A. J. Nijman; Philip C. Treleaven (Eds.)] (In Collection, 1990)

Uniqueness Type Inference (Related)
Erik Barendsen; Sjaak Smetsers [M. Hermenegildo; S. D. Swierstra (Eds.)] (In Collection, 1995)

M-Structures: Extending a Parallel, Non-Strict Functional Language with State
P. S. Barth; Rishiyur S. Nikhil; Arvind [J. Hughes (Ed.)] (In Collection, 1991)

A Practical Comparison of N-Body Algorithms (Related)
Guy E. Blelloch; Girija Narlikar [Sandeep N. Bhatt (Ed.)] (In Collection, 1997)

Clean: A Language for Functional Graph Rewriting (Related)
T. H. Brus; M. C. van Eekelen; M. O. van Leer; M. J. Plasmeijer [G. Kahn (Ed.)] (In Collection, 1987)

Strictness Analysis: A Practical Approach
Chris Clack; Peyton Jones, Simon L. [Philip Wadler (Ed.)] (In Collection, 1985)

TIM: A Simple Abstract Machine to Execute Supercombinators
J. Fairbairn; S. C. Wray [G. Kahn (Ed.)] (In Collection, 1987)

Alfalfa: Distributed Graph Reduction on a Hypercube Multiprocessor
B. Goldberg; P. Hudak [J. H. Fasel; R. M. Keller (Eds.)] (In Collection, 1986)

Shared Memory Multiprocessor Support for SAC (Related)
Clemens Grelck [Chris Clack; Tony Davie; Kevin Hammond (Eds.)] (In Collection, 1999)

Improving Cache Effectiveness through Array Data Layout in SAC (Related)
Clemens Grelck [Markus Mohnen; Pieter Koopman (Eds.)] (In Collection, 2001)

Optimizations on Array Skeletons in a Shared Memory Environment (Related)
Clemens Grelck [Thomas Arts; Markus Mohnen (Eds.)] (In Collection, 2002)

On Code Generation for Multi-Generator WITH-Loops in SAC (Related)
Clemens Grelck; Dietmar Kreye; Sven-Bodo Scholz [Pieter Koopman; Chris Clack (Eds.)] (In Collection, 2000)

Axis Control in SAC (Related)
Clemens Grelck; Sven-Bodo Scholz [Ricardo Pe\~na; Thomas Arts (Eds.)] (In Collection, 2003)

The Implementation and Efficiency of Arrays in Clean 1.1 (Related)
John van Groningen [Werner E. Kluge (Ed.)] (In Collection, 1997)

Task Management, Virtual Shared Memory, and Multithreading in a Distributed Memory Implementation of Sisal (Related)
Matthew Haines; A. P. Wim Böhm [A. Bode; ... (Eds.)] (In Collection, 1993)

The Parallel Graph Reduction Machine Alice
P. G. Harrison; M. J. Reeve [J. H. Fasel; R. M. Keller (Eds.)] (In Collection, 1986)

The Functional Imperative: Shape! (Related)
C. Barry Jay; Paul A. Steckler [Chris Hankin (Ed.)] (In Collection, 1998)

On the Distributed Implementation of Aggregate Data Structures by Program Transformation (Related)
Gabriele Keller; Manuel M. T. Chakravarty [J. Rolim; ... (Eds.)] (In Collection, 1999)

Using π-RED as a Teaching Tool for Functional Programming and Program Execution
Werner E. Kluge; Carsten Rathsack; Sven-Bodo Scholz [P. H. Hartel; M. J. Plasmeijer (Eds.)] (In Collection, 1996)

A Reversible SE(M)CD Machine
Werner E. Kluge [Pieter Koopman; Chris Clack (Eds.)] (In Collection, 2000)

A Compilation Scheme for a Hierarchy of Array Types (Related)
Dietmar Kreye [Thomas Arts; Markus Mohnen (Eds.)] (In Collection, 2002)

Optimizing Array Distributions in Data-Parallel Programs
K. Kunchithapadam; B. P. Miller [K. Pingali; U. Banerjee; D. Gelernter; A. Nicolau; D. Padua (Eds.)] (In Collection, 1995)

Notes on the Diagrams, Logic and Operations of Array Theory
T. More [O. Bjorke; O. Franksen (Eds.)] (In Collection, 1981)

Gadgets: Lazy Functional Components for Graphical User Interfaces
R. Noble; C. Runciman [M. Hermenegildo; S. D. Swierstra (Eds.)] (In Collection, 1995)

Sisal: Initial MIMD Performance Results (Related)
R. R. Oldehoeft; D. C. Cann; S. J. Allan [W. Händler; ... (Eds.)] (In Collection, 1986)

GRIP: A High Performance Architecture for Parallel Graph Reduction
Peyton Jones, Simon L.; Chris Clack; J. Salkid; M. Hardie [G. Kahn (Ed.)] (In Collection, 1987)

Modula-2* and Its Compilation
Michael Philippsen; Walter F. Tichy [H. P. Zima (Ed.)] (In Collection, 1992)

Data and Process Alignment in Modula-2*
Michael Philippsen; Markus U. Mock (In Collection, 1994)

Invariance Properties in Distributed Systems
J. Schepers [L. Bougé (Eds.)] (In Collection, 1992)

On Programming Scientific Applications in SAC --- A Functional Language Extended by a Subsystem for High-Level Array Operations (Related)
Sven-Bodo Scholz [Werner E. Kluge (Ed.)] (In Collection, 1997)

WITH-Loop-Folding in SAC --- Condensing Consecutive Array Operations (Related)
Sven-Bodo Scholz [Chris Clack; Tony Davie; Kevin Hammond (Eds.)] (In Collection, 1998)

A Case Study: Effects of WITH-Loop-Folding on the NAS Benchmark MG in SAC (Related)
Sven-Bodo Scholz [Chris Clack; Tony Davie; Kevin Hammond (Eds.)] (In Collection, 1998)

Implementing the Conjugate Gradient Algorithm in a Functional Language (Related)
Pascal R. Serrarens [Werner E. Kluge (Ed.)] (In Collection, 1997)

An Empirical Investigation of the Effectiveness and Limitations of Automatic Parallelization
J. P. Singh; John L. Hennessy [N. Suzuki (Ed.)] (In Collection, 1992)

Data Flow Graph Optimization in IF1 (Related)
S. Skedzielewski; M. L. Welcome [Philip Wadler (Ed.)] (In Collection, 1985)

Miranda: A Non-Strict Functional Language with Polymorphic Types
D. A. Turner [Philip Wadler (Ed.)] (In Collection, 1985)

An Analysis of Shared-Memory Synchronization Mechanisms
P. J. Woest; J. R. Goodman [N. Suzuki (Ed.)] (In Collection, 1992)

Fractal Modelling of Real World Images
Michael F. Barnsley [Heinz-Otto Peitgen; Dietmar Saupe (Eds.)] (In Collection, 1988)

A Discussion of Fractal Image Compression
Yuval Fisher [Heinz-Otto Peitgen; Hartmut Jürgens; Dietmar Saupe (Eds.)] (In Collection, 1992)

Fractal Image Compression Using Iterated Transforms
Yuval Fisher; E. W. Jacobs; R. D. Boss [J. A. Storer (Ed.)] (In Collection, 1992)

Responsible for the content of this site: Dietmar Kreye (My public PGP keys)
Last modified: Nov 10, 2004