direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

1999

Wolfgang Grieskamp (1999). The mZ Calculus and its Implementation. Proceedings of the International Workshop on Implementation of Declarative Languages (IDL'99)


Robert Büssow and Wolfgang Grieskamp (1999). A Modular Framework for the Integration of Heterogenous Notations and Tools. Proc. of the 1st Intl. Conference on Integrated Formal Methods – IFM'99. Springer-Verlag, London.



P. Hofstedt (1999). A Functional Logic Language as Hostlanguage for a System of Combined Constraint Solvers. Proceedings of the 8th International Workshop on Functional and Logic Programming. Laboratoire LEIBNIZ - Institut IMAG, Grenoble, France, 119-132.


1998

Robert Büssow and Wolfgang Grieskamp (1998). The Z of ZETA.


Robert Büssow and Wolfgang Grieskamp (1998). The ZETA System Developer's Guide.


Wolfgang Grieskamp (1998). ZAP User's Guide.


Thomas Nitsche and Wolfram Webers (1998). Functional Message Passing with OPAL-MPI. Proceedings of Recent Advances in Parallel Virtual Machine and Message Passing Interface, 5th European PVM/MPI Users' Group Meeting, Liverpool, UK, September 7-9, 1998 (EuroPVM/MPI'98). Springer Verlag, 281-288.


Thomas Nitsche (1998). Optimizing Dynamic Execution of Data Distribution Algebras. Proceedings of GI-Workshop Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware, Karlsruhe (PARS'98), 119-128.


Thomas Nitsche (1998). Transformation of Cover Specifications into Communication Functions for Parallel Systems. Proceedings of the 10th International Workshop on Implementation of Functional Languages, University College London, UK, September 9th-11th 1998 (IFL'98), 227-240.


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Leiter

Prof. Dr. Peter Pepper
Sprechstd.: keine mehr

Sekretariat

Christine Beyer
Raum EN 538
Tel: +49 30 314-22280

Öffnungszeiten

mail/tel. vereinbaren

Postadresse

Technische Universität Berlin
Fakultät IV - Elektrotechnik und Informatik - ÜBB
Sekr. EN 13
Raum EN 538
Einsteinufer 17
D-10587 Berlin