TU Bergakademie Freiberg | Fakultät für Mathematik und Informatik

1. Workshop Boolesche Probleme

Dipl.-Ing. Kay Hesse, TU Chemnitz-Zwickau, Fakultät für Elektrotechnik und Informationstechnik

Zusammenfassung
Der Beitrag beschreibt einige Aspekte der Entwicklungsarbeit für ein transputerbasiertes System zur Lösung hochdimensionaler Boolescher Probleme, die auf die Manipulation von Ternärvektorlisten (TVL) zurückgeführt werden. Im ersten Teil stehen die dafür verwendeten Algorithmen und Parallelisierungsstrategien im Vordergrund, während der zweite Teil ein spezielles Werkzeug zum Tuning und zur Performanceanalyse beschreibt, das den Programmentwickler unterstützt.