TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 6.

Höreth, Stefan (1999):
Effiziente Konstruktion und Manipulation von binären Entscheidungsgraphen.
295, Düsseldorf: VDI-Verl., 1999. VIII, 128 S, Düsseldorf, VDI-Verl, TU Darmstadt,
[Ph.D. Thesis]

Höreth, Stefan ; Drechsler, (1998):
Dynamic minimization of word-level decision diagrams.
In: DATE98: Design, Automation and Test in Europe Conference <1998, Paris>: Proceedings. S. 612-617, [Conference or Workshop Item]

Höreth, Stefan ; Drechsler, (1997):
Compilation of fast manipulation algorithms for K*BMDs.
In: International Workshop on Applications of the Reed-Muller-Expansion in Circuit Design <3, 1997, Oxford, UK>: Proceedings, 5/97, Karlsruhe 1997, Karlsruhe 1997, Karlsruhe 1997, [Conference or Workshop Item]

Höreth, Stefan ; Drechsler, (1997):
Fast construction of Kronecker decision diagrams from library based circuits.
In: Workshop on Synthesis and System Integration of Mixed Technologies <7, 1997, Osaka, Japan>: Proceedings, [Conference or Workshop Item]

Höreth, Stefan (1997):
Graphbasierte Verifikation kombinatorischer Schaltnetze unter Verwendung von Bausteinbibliotheken.
In: Methoden des Entwurfs und der Verifikation digitaler Systeme: 5. GI/ITG/GMM Workshop , 1997, Linz, Österreich. Hrsg.: R. Hagelauer. - Linz: Univ.-Verl., Trauner, 1997, Linz, Universitätsverl. Trauner, [Conference or Workshop Item]

Höreth, Stefan (1997):
Implementation of a multiple-domain decision diagram package.
In: CHARME'97 <1997, Montreal, Canada>: Proceedings. Hrsg.: E. Cerny (u.a.) - London (u.a.): Chapman & Hall,1997. S.185-202, London (u.a.): Chapman & Hall, 1997, London (u.a.), Chapman & Hall, [Conference or Workshop Item]

This list was generated on Sat Jul 2 03:50:51 2022 CEST.