( en | de | ru )

 

Disambiguierung von "Jeong, Seh-Woong"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms.

, , , und . ICCAD, Seite 464-467. IEEE Computer Society, (1991)

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.

Su-Jeong Jeong

Wonrae Jeong

Hyung-Gon Jeong

Hang-Kyun Jeong

Chang-Kyo Jeong

 

Weitere Publikationen von Autoren mit dem selben Namen

Grouped zerotree wavelet image coding for very low bit rate., , , und . ICIP (3), Seite 261-264. IEEE, (2002)Results on the Interface between Formal Verification and ATPG., , , , , und . CAV (DIMACS/AMS volume), Volume 3 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 615-628. DIMACS/AMS, (1990)A Banked-Promotion TLB for High Performance and Low Power., , , und . ICCD, Seite 118-123. IEEE Computer Society, (2001)A Low-Power Cache Design for CalmRISCTM-Based Systems., , , und . ICCD, Seite 394-399. IEEE Computer Society, (2001)Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms., , , und . ICCAD, Seite 464-467. IEEE Computer Society, (1991)CalmRISCTM: A Low Power Microcontroller with Efficient Coprocessor Interface., , , , , , , , und . ICCD, Seite 299-302. IEEE Computer Society, (1999)In-network reorder buffer to improve overall NoC performance while resolving the in-order requirement problem., , , und . DATE, Seite 1058-1063. IEEE, (2009)A banked-promotion translation lookaside buffer system., , , und . J. Syst. Archit., 47 (14-15): 1065-1078 (2002)A new algorithm for the binate covering problem and its application to the minimization of Boolean relations., und . ICCAD, Seite 417-420. IEEE Computer Society / ACM, (1992)ATPG Aspects of FSM Verification., , , , , und . ICCAD, Seite 134-137. IEEE Computer Society, (1990)