Dr. Dietmar Kreye 
Diplom-Informatiker


[-] Research
[-] Teaching
[-] Publications
[-] Bookshelf
 [-] Topics
 [=] Document Types
[-] Internal Section
[-] Lost and Found
[-] Contact





äöüß

Article


[-] Berechenbarkeit des Denkens?
Lars Mäurer; Ben Schlingelhof (Article, 2000)
[own]
[+] The Ins and Outs of Clean I/ODownload Link (RelatedExternal Link)
Peter Achten; Rinus Plasmeijer (Article, 1995)
[-] 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)
[+] Compiler Transformations for High-Performance ComputingDownload Link
D. F. Bacon; S. L. Graham; O. J. Sharp (Article, 1994)
[own]
[-] Automatic Data Structure Selection and Transformation for Sparse Matrix Computations
A. J. C. Bik; H. A. G. Wijshoff (Article, 1996)
[+] Programming Parallel AlgorithmsDownload Link (RelatedExternal Link)
Guy E. Blelloch (Article, 1996)
[own]
[+] Compiling Collection-Oriented Languages onto Massively Parallel ComputersDownload Link (RelatedExternal Link)
Guy E. Blelloch; Gary W. Sabot (Article, 1990)
[-] 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 (RelatedExternal Link)
D. C. Cann; P. Evripidou (Article, 1995)
[own]
[+] On Understanding Types, Data Abstraction, and PolymorphismDownload Link
Luca Cardelli; Peter Wegner (Article, 1985)
[own]
[+] A Calculus for Overloaded Functions with SubtypingDownload Link
G. Castagna; G. Ghelli; G. Longo (Article, 1995)
[+] Integrated Support for Task and Data ParallelismDownload Link
K. M. Chandy; I. Foster; K. Kennedy; C. Koelbel; C.-W. Tseng (Article, 1994)
[+] A Notation for Deterministic Cooperating ProcessesDownload Link
K. M. Chandy; I. Foster (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)
[+] The Cache Visualization ToolDownload Link (RelatedExternal Link)
Eric van der Deijl; O. Temam; E. Granston; Gerco Kanbier (Article, 1997)
[-] 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)
[+] π-RED+: An Interactive Compiling Graph Reduction System for an Applied λ-CalculusDownload Link
Dietmar Gärtner; Werner E. Kluge (Article, 1996)
[-] 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)
[+] Benchmarking Implementations of Functional Languages with "Pseudoknot", a Float-Intensive BenchmarkDownload Link
P. H. Hartel; ... (Article, 1996)
[-] Performance Studies of Id on the Monsoon Dataflow System
J. Hicks; D. Chiou; B. S. Ang; Arvind (Article, 1993)
[+] Implementing a Functional Spreadsheet in CleanDownload Link (RelatedExternal Link)
Walter de Hoon; Luc Rutten; Marco van Eekelen (Article, 1995)
[-] Conception, Evolution, and Application of Functional Programming Languages
P. Hudak (Article, 1989)
[-] Why Functional Programming Matters
J. Hughes (Article, 1989)
[-] Programming in FISh (RelatedExternal Link)
C. Barry Jay (Article, 1999)
[-] A Logical Basis for Nested Array Data Structures (RelatedExternal Link)
M. A. Jenkins; J. I. Glagow (Article, 1989)
[+] Improving Data Locality with Loop TransformationsDownload Link
K. McKinley; S. Carr; C.-W. Tseng (Article, 1996)
[-] Cooperating Reduction Machines
Werner E. Kluge (Article, 1983)
[+] The Kicking Horse Pass ProblemDownload Link
Werner E. Kluge (Article, 1998)
[own]
[-] The Mechanical Evaluation of Expressions
P. J. Landin (Article, 1964)
[+] Fusion of Loops for Parallelism and LocalityDownload Link
N. Manjikian; T. S. Abdelrahman (Article, 1997)
[own]
[-] 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)
[own]
[-] 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, ???)
[own]
[-] How to Give a Good Research Talk
Peyton Jones, Simon L.; John Hughes; John Launchbury (Article, ???)
[own]
[-] 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)
[+] Jade: A High-Level, Machine-Independent Language for Parallel ProgrammingDownload Link
M. C. Rinard; D. J. Scales; Monica S. Lam (Article, 1993)
[-] 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)
[+] Single Assignment C --- Efficient Support for High-Level Array Operations in a Functional SettingDownload Link (RelatedExternal Link)
Sven-Bodo Scholz (Article, 2003)
[own]
[-] An Image Algorithm for Computing the Hausdorff Distance Efficiently
R. Shonkwiler (Article, 1989)
[+] A Critique of the Programming Language C*Download Link
Walter F. Tichy; Michael Philippsen; Phil Hatcher (Article, 1992)
[own]
[-] 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)
[+] Deforestation: Transforming Programs to Eliminate TreesDownload Link (RelatedExternal Link)
Philip Wadler (Article, 1990)
[-] 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)
[own]
[-] 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)
[own]
[-] 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)
[+] An Introduction to Quantum Computing for Non-PhysicistsDownload Link
Eleanor Rieffel; Wolfgang Polak (Article, 2000)
[own]

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

Valid HTML 4.01!External Link    Valid CSS!External Link