TU Bergakademie Freiberg
|
Fakultät für Mathematik und Informatik
2. Workshop Boolsche Probleme
This page in English
Abstracts zum 2. WS Boolesche Probleme
Beiträge
Session 1
Bernd Stöhr
(Uni Karlsruhe), R. Preußmann (ISDATA GmbH)
Ein graphischer Editor zur Beschreibung von komplexen Steuerwerken
C. Files,
M. Perkowski
(Portland State University, USA), A. Reis, M. Robert, D. Auvergne (Laboratoire d'Informatique, de Robotique et de Microelectronique de Montpellier, Frankreich)
Minimization of Networks with Complex Gates
R. Richter
, H.-J. Brand,
D. Müller
(TU Chemnitz-Zwickau)
Hasarduntersuchung selbstsynchonisierender Grundelemente mit Hilfe des Booleschen Differentialkalküls
Session 2
Prof. Dr.-Ing. Bernd Steinbach
, K. Hesse (TU Bergakademie Freiberg)
Entwurf großer digitaler Schaltungen unter Nutzung von funktionellen und strukturellen Eigenschaften
Prof. Dr.-Ing. Bernd Steinbach
, Z. Zhang (TU Bergakademie Freiberg)
Synthese vollständig testbarer, großer, partitionierter, kombinatorischer Schaltungen
G. Kempe
(TU Bergakademie Freiberg)
Eignung eines Phasenlisten-Tupels als Datenmodell für eine Boolesche Funktion
14.45 - 16.30 Session 3
D. Bochmann (STZ Logische Systeme Chemnitz)
Über einige neue Operationen des Booleschen Differentialkalküls
R. Rohde, R. Barthel (TU Chemnitz-Zwickau)
Operationen des Booleschen Differentialkalküls auf BDDs
A. D. Zakrevskij
(Institute of Engineering Cybernetics, Minsk, Weißrußland)
Looking for shortest solutions of systems of linear logical equations: theory and applications in logic design
Session 4
R. Drechsler
(Uni Freiburg), S. Ruppertz (Uni Frankfurt), Albert-Ludwigs-Universität
Manipulation Algorithms for K*BMDs
Ch. Posthoff (The University of The West Indies, Saint Augustine, Trinidad & Tobago)
Prototyping of Learnd (Fuzzy) Logic Structures Using (Fuzzy) Logic Equations
K. Hesse (TU Bergakademie Freiberg)
Lastausgleich in unvollständigen Hypercubes
Session 5
C. Lang
(TU Bergakademie Freiberg)
Verifikation von Programmen unter Nutzung von Bibliotheken zur Lösung Boolescher Gleichungen
B. Stiefel
(Fachhochschule Schmalkalden)
Anwendung Boolescher Gleichungen in der Wissensverarbeitung
A. Bockmayr
, P. Barth, T. Kasper (Max-Planck-Institut für Informatik, Saarbrücken)
Methoden und Werkzeuge für Pseudo-Boolesche Probleme
Session 6
T. Schleinig
,
D. Müller
(TU Chemnitz-Zwickau)
Timing Verifikation unter Nutzung der Booleschen und zeitlichen Ableitung
S. N. Yanushkevich
(Technical University of Szczecin, Polen)
Analogues of Boolean Differences and Differentials in Arithmetical Logic
Inhalt:/ Content: Institut für Informatik
TU Bergakademie Freiberg
Gestaltung/ Layout:
Webmaster
19. Februar 1997