Dr. Dietmar Kreye 
Diplom-Informatiker

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





äöüß

Technical Report

[-] An APL Machine
P. S. Abrams (Technical Report, 1970)
[+] The Beauty and the BeastDownload Link (RelatedExternal Link)
Peter Achten; Rinus Plasmeijer (Technical Report, 1993)
[-] VAL --- A Value-Oriented Algorithmic Language: Preliminary Reference Manual
W. B. Ackerman; J. B. Dennis (Technical Report, 1979)
[-] ANSI Fortran X3.9--1978
American National Standards Institute (Technical Report, 1978)
[+] Compilation of Id-: A Subset of IdDownload Link
Z. M. Ariola; Arvind (Technical Report, 1990)
[-] Fast --- Eine Prozessor-Architektur mit einem neuartigen Stacksystem
Claus Aßmann (Technical Report, 1992) 		[own]
[-] Minimizing Reference Count Updating with Deferred and Anchored Pointers for Functional Data Structures
H. G. Baker (Technical Report, 1993)
[-] A Symmetric Complement to the Lambda Calculus
Klaus Berkling (Technical Report, 1976)
[+] An Overview of the APEX CompilerDownload Link
Robert Bernecky (Technical Report, 1997)
[+] Implementation of a Portable Nested Data-Parallel LanguageDownload Link (RelatedExternal Link)
Guy E. Blelloch; S. Chatterjee; Jonathan C. Hardwick; Jay Sipelstein; Marco Zagha (Technical Report, 1993)
[-] Organisatorische Maßnahmen zur effizienten Unterstützung höherer Sprachkonstrukte in einem interaktiven Reduktionssystem
Harald Blödorn (Technical Report, 1992) 		[own]
[+] Synchronization Minimization in a SPMD Execution ModelDownload Link
F. Bodin; L. Kervella; M. O'Boyle (Technical Report, 1994)
[-] Sisal Reference Manual Language Version 2.0 (RelatedExternal Link)
A. P. Wim Böhm; D. C. Cann; R. R. Oldehoeft; John T. Feo (Technical Report, 1991)
[-] User's Guide to the p4 Parallel Programming System
R. Butler; E. Lusk (Technical Report, 1992)
[-] Compilation Techniques for High Performance Applicative Computation (RelatedExternal Link)
D. C. Cann (Technical Report, 1989)
[-] Covariance and Contravariance: Conflict without a Cause
G. Castagna (Technical Report, 1994)
[+] A Region-Based Approach for Sparse Parallel ComputingDownload Link (RelatedExternal Link)
Bradford L. Chamberlain; E Christopher Lewis; Lawrence Snyder (Technical Report, 1998) 		[own]
[+] Parallel Programming in Split-CDownload Link
D. E. Culler; A. Dusseau; S. C. Goldstein; A. Krishnamurthy; S. Lumetta; T. von Eicken; K. Yelick (Technical Report, 1993)
[+] On Eliminating Redundant Computation from High-Level Array StatementsDownload Link (RelatedExternal Link)
Steven J. Deitz (Technical Report, 2000) 		[own]
[-] Memory Allocation Costs in Large C and C++ Programs
D. Detlefs; A. Dosser; B. Zorn (Technical Report, 1993)
[+] Specification of the PROMOTER Compilation System Version 1.0Download Link
P. Enskonatus; M. Kessler; J. Nolte (Technical Report, 1994)
[-] Zur Beurteilung dynamischer Lastausgleichsverfahren
A. Erzmann (Technical Report, 1994)
[+] SisalDownload Link (RelatedExternal Link)
John T. Feo (Technical Report, 1992)
[-] Parallel Programming with PCN
I. Foster; S. Taylor (Technical Report, 1991)
[-] A Compiler Approach to Scalable Concurrent Program Design
I. Foster; S. Taylor (Technical Report, 1992)
[-] π-RED*: Ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten Lambda-Kalküls
Dietmar Gärtner (Technical Report, 1991) 		[own]
[-] PVM 3: Users Guide and Reference Manual (RelatedExternal Link)
Al Geist; Adam Beguelin; Jack Dongarra; ... (Technical Report, 1993)
[+] PROMOTER --- First Application Study: Navier-Stokes EquationsDownload Link
J. Gerlach (Technical Report, 1994)
[-] Sisal: Streams and Iteration in a Single Assignment Language (Reference Manual Version 1.2) (RelatedExternal Link)
J. R. McGraw; S. K. Skedzielewski; S. J. Allan; R. R. Oldehoeft; ... (Technical Report, 1985)
[+] Type Classes in HaskellDownload Link (RelatedExternal Link)
C. Hall; Kevin Hammond; Peyton Jones, Simon L.; Philip Wadler (Technical Report, 1992)
[+] The SA-C Language (Version 1.0)Download Link (RelatedExternal Link)
J. P. Hammes; A. P. Wim Böhm (Technical Report, 1999)
[+] The SA-C Compiler (Version 1.0.11)Download Link (RelatedExternal Link)
J. P. Hammes; A. P. Wim Böhm (Technical Report, 1999)
[-] Parallel Random Number Generation on KSR-1
M. Hennecke (Technical Report, 1994)
[+] Practical Barrier SynchronisationDownload Link
J. M. D. Hill; D. B. Skillicorn (Technical Report, 1996)
[+] On the Expressiveness of Purely Functional I/O SystemsDownload Link
P. Hudak; R. S. Sundaresh (Technical Report, 1989)
[-] Mutable Abstract Datatypes --- or --- How to Have Your State and Munge It Too
P. Hudak (Technical Report, 1992)
[-] International Standard for Programming Language APL
International Standards Organization (Technical Report, 1984)
[-] Programming Language APL, Extended
International Standards Organization (Technical Report, 1993)
[+] Composing MonadsDownload Link
Mark P. Jones; L. Duponcheel (Technical Report, 1993)
[-] An Outline of Some Results of Staples on Optimal Reduction Orders in Replacement Systems
J. R. Kennaway (Technical Report, 1984)
[+] Integrating Synchronous and Asynchronous Paradigms: The Fork95 Parallel Programming LanguageDownload Link
C. W. Kessler; H. Seidl (Technical Report, 1995)
[+] A User's Guide for the Reduction System π-REDDownload Link
Werner E. Kluge (Technical Report, 1994) 		[own]
[-] KSR-1 Technical Summary
Kendall Square Research (Technical Report, 1992)
[+] Load Balancing vs. Locality Management in Shared-Memory MultiprocessorsDownload Link
T. J. LeBlanc; E. P. Markatos (Technical Report, 1991)
[+] ZPL Language Reference ManualDownload Link (RelatedExternal Link)
Calvin Lin (Technical Report, 1996)
[+] ZPL vs. HPF: A Comparison of Performance and Programming StyleDownload Link (RelatedExternal Link)
Calvin Lin; Lawrence Snyder; Ruth Anderson; Bradford L. Chamberlain; Sung-Eun Choi; G. Foreman; E Christopher Lewis; W. Derrick Weathersby (Technical Report, 1995)
[-] Threads Case Study #2
R. Marejka (Technical Report, 1994)
[+] MPI: A Message-Passing Interface StandardDownload Link (RelatedExternal Link)
Message Passing Interface Forum (Technical Report, 1995)
[+] MPI-2: Extensions to the Message-Passing InterfaceDownload Link (RelatedExternal Link)
Message Passing Interface Forum (Technical Report, 1997)
[-] Formal Methods for Partitioning, Scheduling, Routing, and Communication Protocol
Lenore M. Restifo Mullin; D. Dooling; E. Sandberg; S. Thibault (Technical Report, 1995)
[-] A Reduction Semantics for Array Expressions: The Psi Compiler
Lenore M. Restifo Mullin; Scott Thibault (Technical Report, 1994) 		[own]
[+] Cid Language Reference ManualDownload Link
Rishiyur S. Nikhil (Technical Report, 1995)
[-] ID Version 88.1, Reference Manual
Rishiyur S. Nikhil (Technical Report, 1988)
[-] Automatic Compiler for a Parallel Functional Language on a Distributed Memory Machine (RelatedExternal Link)
S. S. Pande; D. P. Agrawal; J. Mauney (Technical Report, 1993)
[+] The Programming Language OpalDownload Link
P. Pepper (Technical Report, 1991)
[-] Functional Programming in ML
D. MacQueen; R. Harper; R. Milner; ... (Technical Report, 1987)
[+] Functions, Frames, and Interactions: Completing a λ-Calculus-Based Purely Functional Language with Respect to Programming-in-the-Large and Interactions with Runtime EnvironmentsDownload Link
Claus Reinke (Technical Report, 1998) 		[own]
[-] Loop Fusion in High Performance Fortran
G. Roth; K. Kennedy (Technical Report, 1998)
[+] Reasoning About Explicit and Implicit Representations of StateDownload Link
A. Sabry; J. Field (Technical Report, 1993)
[-] An Automatically Partitioning Compiler for Sisal (RelatedExternal Link)
V. Sarkar; S. Skedzielewski; P. Miller (Technical Report, 1988)
[-] Die Reduktionssprache OREL/2
H. Schlütter; E. Pless (Technical Report, 1990)
[+] An OO Encapsulation of Lightweight OS Concurrency Mechanisms in the ACE ToolkitDownload Link (RelatedExternal Link)
Douglas C. Schmidt (Technical Report, 1995)
[+] Concepts and Formal Description of the PROMOTER Language Version 1.0Download Link
A. Schramm (Technical Report, 1994)
[-] The KSR-1 in a Computer Center Environment
R. Schumacher (Technical Report, 1994)
[+] 1+1=1: An Optimizing Caml CompilerDownload Link (RelatedExternal Link)
M. Serrano; P. Weis (Technical Report, 1994)
[-] A Simple Method to Remove Reference Counting in Applicative Languages (RelatedExternal Link)
S. Skedzielewski; R. J. Simpson (Technical Report, 1988)
[-] Guaranteeing Safe Destructive Updates through a Type System with Uniqueness Information for Graphs (RelatedExternal Link)
Sjaak Smetsers; Erik Barendsen; Marco van Eeklen; Rinus Plasmeijer (Technical Report, 1993)
[-] CM-5 Technical Summary
Thinking Machines Corporation (Technical Report, 1991)
[+] Efficient Machine-Independent Programming of High-Performance MultiprocessorsDownload Link
C.-W. Tseng (Technical Report, 1995)
[+] Data Layout Optimizations for High-Performance ArchitecturesDownload Link
C.-W. Tseng (Technical Report, 1997)
[+] Compiler Optimizations for Eliminating Cache Conflict MissesDownload Link
G. Rivera; C.-W. Tseng (Technical Report, 1997)
[+] The NAS Parallel BenchmarksDownload Link
D. Bailey; E. Barszcz; J. Barton; ... (Technical Report, 1994)
[-] Die Modellierung mesoskaliger quasigeostrophischer Instabilität
A. Beckmann (Technical Report, 1987)
[-] Multigrid Methods: 1984 Guide
A. Brandt (Technical Report, 1984)
[-] Image Compression Based on a Fractal Theory
C. Frigaard; J. Gade; T. Hemmingsen; T. Sand (Technical Report, 1994)
[+] Beiträge zur Optimierung der in der Prozeß- und Bauelementesimulation verwendeten Lösungsverfahren für große schwach besetzte lineare GleichungssystemeDownload Link
A. Gratz (Technical Report, 1996)
[-] Heuristische Analyse und Vorhersage von Proteinstrukturen
F. Kaden; I. Koch; J. Selbig (Technical Report, 1992)
[-] Breaking the Time Complexity of Fractal Image Compression
Dietmar Saupe (Technical Report, 1994)
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