Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Service « Veranstaltungen

Taylor Expansion Diagrams - Application in Verification and Synthesis

Prof. Dr. Maciej Ciesielski


Datum: 2004-12-17
Uhrzeit: 13.00 Uhr s.t.
Ort: Bremen, Uni Bremen
Treffpunkt: Raum 7230, MZH


Taylor Expansion Diagrams (TEDs) sind eine graphenbasierte Funktionsdarstellung - ähnlich zu BDDs. TEDs repräsentieren neben Booleschen Funktionen z.B. auch Funktionen über ganzzahligen Variablen. Genauso wie BDDs sind sie eine kanonische Darstellung von Funktionen und erlauben die Anwendung von Verknüpfungsalgorithmen direkt auf der Graphenstruktur. TEDs können für die Verifikation und die Synthese eingestzt werden.



Link zu externer SeiteAnsprechpartner: Prof. Dr. Rolf Drechsler



zurück



English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt