Oct 29: W.Kuechlin: Paralleles Rechnen


Subject: Oct 29: W.Kuechlin: Paralleles Rechnen
From: Helmut Veith (kgs-owner@dbai.tuwien.ac.at)
Date: Mon Oct 27 1997 - 14:15:57 MET


Lecture Announcement
--------------------

Wolfgang Kuechlin
=================================================
Universitaet Tuebingen

Paralleles Symbolisches Rechnen
------------------------------------------

Wednesday, October 29, 17:15

Paralleles Rechnen stellt eine der grossen Herausforderungen
fuer die heutige Informatik dar. Auf herkoemmlichen Mikroprozessoren
basierende parallele Workstations dringen bereits zum Arbeitsplatz vor.
Software, die diese Architekturen effektiv nutzen kann, wird im alltaeglichen
Einsatz signifikant schneller sein und groessere Anwendungsprobleme loesen
koennen als sequentielle Programme.

Der Vortrag gibt einen Ueberblick, wie Vervollstaendigungsverfahren,
zu denen insbesondere Termersetzungsbeweiser gehoeren, parallelisiert
werden koennen. In einem algorithmischen Teil behandeln wir praktisch
effiziente Parallelisierungen der Knuth-Bendix Vervollstaendigung
sowie der Spielarten AC-completion und unfailing completio}n.
Als Korollar behandeln wir ausserdem die Parallelisierung von Buchberger's
Algorithmus zum Berechnen von Groebner-Basen.
In einem Systemteil stellen wir unsere Software-Kerne (VS-Threads, DTS) vor,
die uns das Erstellen komplexer paralleler symbolischer Software in Logik und
Algebra ermoeglichen.
Sie bilden eine effiziente Systemumgebung fuer das parallele und verteilte
Rechnen auf Netzen paralleler Workstations.

Ein kurzer Ausblick skizziert die Anwendung von Termersetzungssystemen
bei der formalen Verifikation von VLSI Schaltungsentw"urfen.

PLACE:

Seminarraum SEM 181A, Institut fuer Informationssysteme,
Paniglgasse 16, 1. Stock, 1040 Wien.

------------------------
Kurt-Goedel-Gesellschaft
Technische Universitaet Wien
Institut fuer Computersprachen E185.2
Resselgasse 3/1, A-1040 Wien

Tel: (+43 1) 588 01/4088
Fax: (+43 1) 504 15 89
email: mailto:kgs@logic.tuwien.ac.at
http://logic.tuwien.ac.at:80/kgs/home.html
listserver: mailto:listproc@dbai.tuwien.ac.at

Mit Unterstuetzung des
Bundesministeriums fuer Wissenschaft und Forschung



This archive was generated by hypermail 2b25 : Thu Apr 06 2000 - 16:19:18 MET DST