( en | de | ru )

 

Disambiguierung von "Ho, Pei-Hsin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking.

, , , , , , , und . FMCAD, Volume 1166 von Lecture Notes in Computer Science, Seite 19-33. Springer, (1996)

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.

Hsin-Ho Sung

Felicia Pei-Hsin Cheng

Wenjung Hsing

Chi-Wu Hsing

Ed Huai hsin Chi

 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic Symbolic Verification of Embedded Systems., , und . IEEE Trans. Software Eng., 22 (3): 181-201 (1996)Algorithmic analysis of nonlinear hybrid systems., , und . IEEE Trans. Autom. Control., 43 (4): 540-554 (1998)Algorithmic Analysis of Nonlinear Hybrid Systems., und . CAV, Volume 939 von Lecture Notes in Computer Science, Seite 225-238. Springer, (1995)A User Guide to HyTech., , und . TACAS, Volume 1019 von Lecture Notes in Computer Science, Seite 41-71. Springer, (1995)Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking., , , , , , , und . FMCAD, Volume 1166 von Lecture Notes in Computer Science, Seite 19-33. Springer, (1996)Routability Optimization for Industrial Designs at Sub-14nm Process Nodes Using Machine Learning., , , und . ISPD, Seite 15-21. ACM, (2017)HYTECH: The Cornell HYbrid TECHnology Tool., und . Hybrid Systems, Volume 999 von Lecture Notes in Computer Science, Seite 265-293. Springer, (1994)Abstraction Refinement.. ATVA, Volume 3299 von Lecture Notes in Computer Science, Seite 7. Springer, (2004)Supporting sequential assumptions in hybrid verification., , , , und . ASP-DAC, Seite 1035-1038. ACM Press, (2005)Industrial clock design.. ISPD, Seite 139-140. ACM, (2009)