Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Geerling, A. Max"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Program transformations and skeletons: Formal derivation of parallel programs
A. Max Geerling
Proceedings of the 1st Aizu International Symposium on Parallel Algorithms/Architecture Synthesis, pAs'95 (Aizu-Wakamatsu, Fukushima, Japan, March 15-17, 1995)
, 1995, pp. 250-256
Formal derivation of SIMD parallelism from non-linear recursive specifications
A. Max Geerling
Lecture Notes in Computer Science
854
, 1994, pp. 136-147