( en | de | ru )

 

Disambiguierung von "Meinel, Ch."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Functional Extensions of OBDDs in Practice

, und . 4 th Workshop on Tools for System Design and Verification (FM-Tools), Seite pp. 195-196. (2000)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Kyo-Ch Ch ng

Till Meinel

Gernod Meinel

Norbert Meinel

Hermann Meinel

 

Weitere Publikationen von Autoren mit dem selben Namen

Retrieval Optimization of Pertinent Answers for NL Questions with the E-Librarian Service,in a more explicit version the paper also appears at Service Matchmaking and Resource Retrieval(, , und . in Proc. Workshop on Service Matchmaking and Resource Retrieval (SMR 2007) at the 6 th International Semantic Web Conference (ISWC + ASWC 2007), (November 2007)A Simple Heuristic for Mod 2-OBDD Minimization, und . of IEEE / ACM Int. Workshop of Logic and Synthesis (IWLS 2001), Seite pp. 304-309. (2001)Functional Extensions of OBDDs in Practice, und . 4 th Workshop on Tools for System Design and Verification (FM-Tools), Seite pp. 195-196. (2000)Overcoming Ordering Restrictions for Synthesizing Binary Decision Diagrams, , und . Proc of 17 th NORCHIP ' 99 Conference, Seite pp. 52-60. (1999)Mod 2 OBDDs-a BDD Structure for Probabilistic Verification, und . Proc. of the 1998 IEEE / ACM Int. Workshop on Logic Synthesis(IWLS 98), Seite pp. 19--24. (1998)Case Study: Manipulating Mod 2 OBDDs by Means of Signatures, und . Proc. of the 3 rd Int. Workshop on Applications of the Reed-Muller Expansion in Circuit Design(Reed-Muller ' 97), (1997)Research on the Lock-Keeper Technology: Architectures, Advancements and Applications,, und . International Journal of Computer and Information Science (IJCIS), 5 (3): 236--245 (2004)Representation of Multiple-Valued Functions with Mod-p-Decsion Diagrams, , und . Proc. of IEEE / ACM Int. Workshop of Logic Synthesis (IWLS 2000), Seite pp. 341-348. (2000)Algorithmic Considerations for Parity-OBDD Reordering, und . Proc. of 4 th Int. Workshop on Applications of the Reed-Muller Expansion in Circuit Design(Reed-Muller ' 99), Seite pp. 179-184. (1999)Metadatenerfassung -- Innovationsforum CineArchiv digital, Digitalisieren, Erschließen und Nutzen audiovisueller Daten, , , und . Hasso-Plattner-Institut für IT-System Engineering, Universität Potsdam, (2008)