Dr. Dietmar Kreye
Diplom-Informatiker
|
|
|
|
|
|
Article
|
|
|
Berechenbarkeit des Denkens?
Lars Mäurer; Ben Schlingelhof (Article, 2000)
|
|
|
A RISC Processor Architecture with a Versatile Stack
Mechanism
Claus Aßmann (Article, 1993)
|
|
|
Compilation and Performance of C on a Multiple Stack
Architecture
Claus Aßmann; A. Huth (Article, 1996)
|
|
|
Can Programming be Liberated from the von Neumann Style?
J. Backus (Article, 1978)
|
|
|
Automatic Data Structure Selection and Transformation for
Sparse Matrix Computations
A. J. C. Bik; H. A. G. Wijshoff (Article, 1996)
|
|
|
Inside the APL2 Workspace
J. Brown (Article, 1985)
|
|
|
Retire Fortran? A Debate Rekindled
D. C. Cann (Article, 1992)
|
|
|
Advanced Array Optimizations for High Performance Functional
Languages (Related)
D. C. Cann; P. Evripidou (Article, 1995)
|
|
|
Safe Fusion of Functional Expressions II:
Further Improvements
W.-N. Chin (Article, 1994)
|
|
|
Garbage Collection of Linked Data Structures
J. Cohen (Article, 1981)
|
|
|
Compiling APL:
The Yorktown APL Translator
G. C. Driscoll; D. L. Orth (Article, 1986)
|
|
|
A Compiler Approach to Scalable Concurrent Program Design
I. Foster; S. Taylor (Article, 1994)
|
|
|
Strategies for Cache and Local Memory Management
by Global Program Transformation
D. Gannon; W. Jalby; K. Gallivan (Article, 1988)
|
|
|
Coordination Languages and their Significance
D. Gelernter; N. Carriero (Article, 1992)
|
|
|
Sparse Matrices in Matlab:
Design and Implementation
John R. Gilbert; Cleve Moler; Robert Schreiber (Article, 1992)
|
|
|
A Partial Evaluator for the Untyped Lambda-Calculus
C. K. Gomard; N. D. Jones (Article, 1991)
|
|
|
A Debate: Retire Fortran?
J. R. McGraw; D. J. Kuck; M. Wolfe (Article, 1984)
|
|
|
The Manchester Prototype Dataflow Computer
J. R. Gurd; C. C. Kirkham; I. Watson (Article, 1985)
|
|
|
Performance Studies of Id on the Monsoon Dataflow System
J. Hicks; D. Chiou; B. S. Ang; Arvind (Article, 1993)
|
|
|
Conception, Evolution, and Application of Functional
Programming Languages
P. Hudak (Article, 1989)
|
|
|
Why Functional Programming Matters
J. Hughes (Article, 1989)
|
|
|
Programming in FISh (Related)
C. Barry Jay (Article, 1999)
|
|
|
A Logical Basis for Nested Array Data Structures (Related)
M. A. Jenkins; J. I. Glagow (Article, 1989)
|
|
|
Cooperating Reduction Machines
Werner E. Kluge (Article, 1983)
|
|
|
The Mechanical Evaluation of Expressions
P. J. Landin (Article, 1964)
|
|
|
The Paradyn Parallel Performance Measurement Tools
B. P. Miller; M. D. Callaghan; J. M. Cargille; J. K. Hollingsworth; R. B. Irvin; K. L. Karavanic; K. Kunchithapadam; T. Newhall (Article, 1995)
|
|
|
A Theory of Type Polymorphism in Programming
R. Milner (Article, 1987)
|
|
|
Axioms and Theorems for a Theory of Arrays
T. More (Article, 1973)
|
|
|
Effective Data Parallel Computation Using the Psi-Calculus
Lenore M. Restifo Mullin; Michael A. Jenkins (Article, 1996)
|
|
|
Advanced Compiler Optimizations for Supercomputers
D. A. Padua; M. J. Wolfe (Article, 1986)
|
|
|
Writing a Good Grant Proposal
Peyton Jones, Simon L.; Alan Bundy (Article, ???)
|
|
|
How to Give a Good Research Talk
Peyton Jones, Simon L.; John Hughes; John Launchbury (Article, ???)
|
|
|
Call by Name, Call by Value, and the Lambda Calculus
G. Plotkin (Article, 1974)
|
|
|
A Framework for Exploiting Task and Data Parallelism on
Distributed Memory Multicomputers
S. Ramaswamy; S. Sapatnekar; P. Banerjee (Article, 1997)
|
|
|
Highlights of the History of Lambda Calculus
J. B. Rosser (Article, 1984)
|
|
|
π-RED*:
A Graph Reducer for Full-Fledged λ-Calculus
Claudia Schmittgen; Harald Blödorn; Werner E. Kluge (Article, 1992)
|
|
|
An Image Algorithm for Computing the Hausdorff Distance
Efficiently
R. Shonkwiler (Article, 1989)
|
|
|
FAC:
A Functional APL Language
H.-C. Tu; A. J. Perlis (Article, 1986)
|
|
|
A New Implementation Technique for Applicative Languages
D. A. Turner (Article, 1979)
|
|
|
An Overview of Miranda
D. A. Turner (Article, 1986)
|
|
|
Vienna-Fortran/HPF Extensions for Sparse and Irregular
Problems and their Computation
M. Ujaldon; E. L. Zapata; B. M. Chapman; H. P. Zima (Article, 1997)
|
|
|
Comprehending Monads
Philip Wadler (Article, 1992)
|
|
|
Adaptively Scheduling Parallel Loops in Distributed
Shared-Memory Systems
Y. Yan; C. Jin; X. Zhang (Article, 1997)
|
|
|
SUPERB:
A Tool for Semi-Automatic SIMD/MIMD Parallelization
H. P. Zima; H. Bast; M. Gerndt (Article, 1988)
|
|
|
Vienna-Fortran/HPF Extensions for Sparse and Irregular
Problems and their Computation
M. Ujaldon; E. L. Zapata; B. M. Chapman; H. P. Zima (Article, 1997)
|
|
|
Fractal Image Compression
L. F. Anson (Article, 1993)
|
|
|
A Hierarchical O(N log N) Force-Calculation Algorithm
Josh Barnes; Piet Hut (Article, 1986)
|
|
|
A Better Way to Compress Images
Michael F. Barnsley; Alan D. Sloan (Article, 1988)
|
|
|
Fractal Image Coding Techniques and Contraction Operators
T. Bedford; F. M. Dekking; M. S. Keane (Article, 1992)
|
|
|
Form and Function:
Fractal-Based Image Compression
R. Dettmer (Article, 1992)
|
|
|
Schnelle Löser für Partielle
Differentialgleichungen
Werner Hackbusch (Article, 1985)
|
|
|
Über die stetige Abbildung einer Linie auf ein
Flächenstück
Daniel Hilbert (Article, 1891)
|
|
|
Contractivity of Fractal Transforms for Image Coding
B. Hürtgen (Article, 1993)
|
|
|
Image Coding Based on a Fractal Theory of Iterated Contractive
Image Transformations
A. E. Jacquin (Article, 1992)
|
|
|
Fractal Image Coding:
A Review
A. E. Jacquin (Article, 1993)
|
|
|
Fractal Block Coding of Digital Video
M. S. Lazar; L. T. Bruton (Article, 1994)
|
|
|
Image Compression Using Quadtree Partitioned Iterated
Function Systems
G. Lu; T.-L. Yew (Article, 1994)
|
|
|
Allgemeine Räume und charakteristische Räume.
Zweite Mitteilung:
Über umfassenste n-dimensionale Mengen
Karl Menger (Article, 1926)
|
|
|
Fast Image Domain Fractal Compression by DCT Domain Block
Matching
B. E. Wohlberg; G. de Jager (Article, 1995)
|
|
|
Fractals:
Not Just Another Pretty Picture
Glenn Zorpette (Article, 1988)
|
|
|
Slopes of a Receiver Operating Characteristic Curve and
Likelihood Ratios for a Diagnostic Test
B. C. Choi (Article, 1998)
|
|
|
|
Responsible for the content of this site:
Dietmar Kreye (My public PGP keys)
Last modified:
Nov 10, 2004
|
|