|
Dr. Dietmar Kreye
Diplom-Informatiker
|
|
|
|
|
|
|
|
In Proceedings
|
|
![[-]](/images/icons//tbook_empty.gif) |
Towards Distributed Interactive Programs in the Functional
Programming Language Clean (Related )
Peter Achten; Rinus Plasmeijer [John Glauert (Ed.)] (In Proceedings, 1994)
|
|
|
Comparing the Performance of KiR and C on a Multiple
Stack Architecture Fast
Claus Aßmann [John Glauert (Ed.)] (In Proceedings, 1994)
|
|
|
A Coordination Language for Systems of Cooperating Processes (Abstract)
Claus Aßmann [H. R. Arabnia (Ed.)] (In Proceedings, 1995)
|
![[own]](/images/icons//tbook_own.gif) |
|
Entwurf und Realisierung eines RISC-Prozessors
Claus Aßmann (In Proceedings, 1995)
|
|
|
On the Design of Systems of Cooporating Functional Processes
Claus Aßmann; Werner E. Kluge (In Proceedings, 1995)
|
|
|
A Language for Concurrent Processing Based on Petri Nets
Claus Aßmann [D. Tavangarian (Ed.)] (In Proceedings, 1997)
|
|
|
Implementation of a Coordination Language
Claus Aßmann [H. R. Arabnia (Ed.)] (In Proceedings, 1998)
|
|
|
Reduction Languages for Reduction Machines
Klaus Berkling (In Proceedings, 1975)
|
|
|
Does Functional Programming Matter?
Klaus Berkling [T. Johnsson (Ed.)] (In Proceedings, 1995)
|
|
|
Concurrent File Operations in a High Performance Fortran
P. Brezany; M. Gerndt; P. Mehrotra; H. P. Zima (In Proceedings, 1992)
|
|
|
Advanced Compiler Optimizations for Sparse Computations
A. J. C. Bik; H. A. G. Wijshoff (In Proceedings, 1993)
|
|
|
Optimizing Matrix Multiply using PHiPAC:
A Portable High-Performance ANSI C Coding Methodology
J. Bilmes; K. Asanovic; C.-W. Chin; J. Demmel [H. P. Zima (Ed.)] (In Proceedings, 1997)
|
|
|
V-Nested Parallelism in C
Manuel M. T. Chakravarty; Friedrich-Wilhelm Schröer; Martin Simons [W. K. Giloi; S. Jähnichen; B. Shriver (Eds.)] (In Proceedings, 1995)
|
|
|
π-RED+:
A Compiling Graph Reduction System for a Full Fledged
λ-Calculus
Dietmar Gärtner; A. Kimms; Werner E. Kluge [Herbert Kuchen; Rita Loogen (Eds.)] (In Proceedings, 1992)
|
|
|
Benchmarking Implementations of Lazy Functional Languages
P. H. Hartel; K. G. Langendoen (In Proceedings, 1993)
|
|
|
The Aggregate Update Problem in Functional Programming Systems
P. Hudak; A. Bloss (In Proceedings, 1985)
|
|
|
PolyP:
A Polytipic Programming Language Extension
P. Jansson; J. Jeuring (In Proceedings, 1997)
|
|
|
Partial Evaluation of Shaped Programs:
Experience with FISh (Related)
C. Barry Jay [O. Danvey (Ed.)] (In Proceedings, 1999)
|
|
|
HPC++:
An Experiment with the Parallel Standard Template Library
E. Johnson; P. Beckman; D. Gannon [H. P. Zima (Ed.)] (In Proceedings, 1997)
|
|
|
A System of Constructor Classes:
Overloading and Implicit Higher-Order Polymorphism
Mark P. Jones (In Proceedings, 1993)
|
|
![[+]](/images/icons//tbook_read.gif) |
Flattening Trees (Related)
Gabriele Keller; Manuel M. T. Chakravarty [David Pritchard; Jeff Reeve (Eds.)] (In Proceedings, 1998)
|
|
|
Combining Monads
D. J. King; Philip Wadler (In Proceedings, 1992)
|
|
|
A Lazy Variant of the Reduction System π-RED
Werner E. Kluge [Werner E. Kluge (Ed.)] (In Proceedings, 1996)
|
|
|
On Pattern Matching with Wild Cards of Variable Arities
Werner E. Kluge [Chris Clack; Tony Davie; Kevin Hammond (Eds.)] (In Proceedings, 1997)
|
|
|
Automating Parallel Runtime Optimizations Using Post-Mortem
Analysis
S. Krishnan; L. V. Kale (In Proceedings, 1996)
|
|
|
Towards Practical Implementation of a Dataflow-Based
Functional Language on Stock Machines
S. Kusakabe; T. Morimoto; K. Inenaga; M. Amamiya [Werner E. Kluge (Ed.)] (In Proceedings, 1996)
|
|
|
Loop Parallelization in the Polytope Model
C. Lengauer [E. Best (Ed.)] (In Proceedings, 1993)
|
|
|
The Nested Rectangular Array as a Model of Data
T. More (In Proceedings, 1979)
|
|
|
The Psi-Function:
A Basis for FFP with Arrays
Lenore M. Restifo Mullin [Lenore M. Restifo Mullin (Ed.)] (In Proceedings, 1991)
|
|
|
A Comparison of Array Theory and a Mathematics of Arrays
Lenore M. Restifo Mullin; Michael A. Jenkins (In Proceedings, 1991)
|
|
|
Polymorphic Type Schemes and Recursive Definitions
A. Mycroft [M. Paul; B. Robinet (Eds.)] (In Proceedings, 1984)
|
|
|
Strictness Analysis Using Abstract Reduction
E. Nöcker (In Proceedings, 1993)
|
|
|
Implementing Arrays in Sisal 2.0 (Related)
R. R. Oldehoeft (In Proceedings, 1992)
|
|
|
Implementing Type Classes
John Peterson; Mark P. Jones (In Proceedings, 1993)
|
|
|
Green Card:
A Foreign-Language Interface for Haskell (Related)
Peyton Jones, Simon L.; Thomas Nordin; Alastair Reid [John Launchbury (Ed.)] (In Proceedings, 1997)
|
|
|
Imperative Functional Programming
Peyton Jones, Simon L.; Philip Wadler (In Proceedings, 1993)
|
|
|
Functions, Frames, and Interactions
Claus Reinke [T. Johnsson (Ed.)] (In Proceedings, 1995)
|
|
|
On Functional Programming, Language Design, and Persistence
Claus Reinke [Chris Clack; Tony Davie; Kevin Hammond (Eds.)] (In Proceedings, 1997)
|
|
|
Dependence Analysis of Fortran-90 Array Syntax
G. Roth; K. Kennedy (In Proceedings, 1996)
|
|
|
Compile-Time Minimisation of Load Imbalance in Loop Nests
R. Sakellariou; J. R. Gurd [H. P. Zima (Ed.)] (In Proceedings, 1997)
|
|
|
Order-of-Evaluation Analysis for Destructive Updates in
Strict Functional Languages with Flat Aggregates
A. V. S. Sastry; W. Clinger; Z. Ariola (In Proceedings, 1993)
|
|
|
A Datatype Architecture for Reduction Machines
Claudia Schmittgen (In Proceedings, 1986)
|
|
|
A System Supported Workload Balancing Scheme for Cooperating
Reduction Machines
Claudia Schmittgen; A. Gerdts; J. Haumann; Werner E. Kluge; M. Woitass (In Proceedings, 1986)
|
|
|
Structured Data Types in the Reduction System π-RED
Claudia Schmittgen; Harald Blödorn; Werner E. Kluge (In Proceedings, 1991)
|
|
|
Distributed Breadth-First Searches as Speculative
Evaluations
Raimund Schröder [Chris Clack; Tony Davie; Kevin Hammond (Eds.)] (In Proceedings, 1997)
|
|
|
Distributed Shared Memory Systems with Improved Barrier
Synchronization and Data Transfer
N. F. Tzeng; A. Kongmunvattana [H. P. Zima (Ed.)] (In Proceedings, 1997)
|
|
|
How to Make ad-hoc Polymorphism Less ad hoc
Philip Wadler; S. Blott (In Proceedings, 1989)
|
|
|
Linear Types Can Change the World!
Philip Wadler [M. Broy; C. B. Jones (Eds.)] (In Proceedings, 1990)
|
|
|
The Essence of Functional Programming
Philip Wadler (In Proceedings, 1992)
|
|
|
An Introduction to STSC's APL Compiler
J. Weigang (In Proceedings, 1989)
|
|
|
Iteration Space Tiling for Memory Hierarchies
M. J. Wolfe [Garry H. Rodrigue (Ed.)] (In Proceedings, 1989)
|
|
|
Fractal Image Compression without Searching
D. M. Monro; S. J. Woolley (In Proceedings, 1994)
|
|
|
Accelerating Fractal Image Compression by Multi-Dimensional
Nearest Neighbor Search
Dietmar Saupe [J. A. Storer; M. Cohn (Eds.)] (In Proceedings, 1995)
|
|
|
Complexity Reduction Methods for Fractal Image Compression
D. Saupe; R. Hamzaoui [J. M. Blackledge (Ed.)] (In Proceedings, 1994)
|
|
|
|
Responsible for the content of this site:
Dietmar Kreye (My public PGP keys)
Last modified:
Nov 10, 2004
|
|
![[-]](/images/icons/parrow_black.gif){kind=icon}
![[=]](/images/icons/parrow_red.gif){kind=icon}