Blättern nach Person
Ebene hoch |
1999
Höreth, Stefan (1999)
Effiziente Konstruktion und Manipulation von binären Entscheidungsgraphen.
Technische Universität Darmstadt
Dissertation, Bibliographie
1998
Höreth, Stefan ; Drechsler, (1998)
Dynamic minimization of word-level decision diagrams.
Konferenzveröffentlichung, Bibliographie
1997
Höreth, Stefan ; Drechsler, (1997)
Compilation of fast manipulation algorithms for K*BMDs.
Konferenzveröffentlichung, Bibliographie
Höreth, Stefan ; Drechsler, (1997)
Fast construction of Kronecker decision diagrams from library based circuits.
Konferenzveröffentlichung, Bibliographie
Höreth, Stefan (1997)
Graphbasierte Verifikation kombinatorischer Schaltnetze unter Verwendung von Bausteinbibliotheken.
Konferenzveröffentlichung, Bibliographie
Höreth, Stefan (1997)
Implementation of a multiple-domain decision diagram package.
Konferenzveröffentlichung, Bibliographie