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.
295Düsseldorf: VDI-Verl., 1999. VIII, 128 S,
Düsseldorf, VDI-Verl, TU Darmstadt, [Ph.D. Thesis]

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

Höreth, Stefan and 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 Tue Aug 11 02:22:28 2020 CEST.